Results of search for 'ccl=su:{Engineering} and su-to:Software Engineering and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1581.	Conflict Resolution in Decision Making [electronic resource] : Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers / by Aydoğan, Reyhan [editor.] Baarslag, Tim [editor.] Gerding, Enrico [editor.] Jonker, Catholijn M [editor.] Julian, Vicente [editor.] Sanchez-Anguix, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10238 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1582.	Distributed Computing [electronic resource] : 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings / by Gavoille, Cyril [editor.] Ilcinkas, David [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9888 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1583.	Membrane Computing [electronic resource] : 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers / by Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Sempere, José M [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9504 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1584.	Static Analysis [electronic resource] : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / by Blazy, Sandrine [editor.] Jensen, Thomas [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9291 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1585.	Diagrammatic Representation and Inference [electronic resource] : 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings / by Stapleton, Gem [editor.] Howse, John [editor.] Lee, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5223 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1586.	Advances in Smalltalk [electronic resource] : 14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers / by De Meuter, Wolfgang [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4406 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1587.	Principles and Practice of Constraint Programming - CP 2010 [electronic resource] : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings / by Cohen, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6308 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1588.	Formal Approaches to Agent-Based Systems [electronic resource] : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / by Hinchey, Michael G [editor.] Rash, James L [editor.] Truszkowski, Walter F [editor.] Rouff, Christopher A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3228 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1589.	Transactions on Computational Collective Intelligence I [electronic resource]. by SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 6220 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1590.	Theoretical Aspects of Computing - ICTAC 2009 [electronic resource] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings / by Leucker, Martin [editor.] Morgan, Charles Carroll [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5684 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1591.	Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / by Scholz, Sven-Bodo [editor.] Chitil, Olaf [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5836 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1592.	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings / by Al-Begain, Khalid [editor.] Fiems, Dieter [editor.] Knottenbelt, William [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6148 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1593.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings / by Daneva, Maya [editor.] Pastor, Oscar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9619 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1594.	Theoretical Aspects of Computing - ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings / by Roychoudhury, Abhik [editor.] D´Souza, Meenakshi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7521 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1595.	Graph Transformations [electronic resource] : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings / by Corradini, Andrea [editor.] Ehrig, Hartmut [editor.] Montanari, Ugo [editor.] Ribeiro, Leila [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4178 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1596.	Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers / by Varbanescu, Ana Lucia [editor.] Molnos, Anca [editor.] van Nieuwpoort, Rob [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6161 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1597.	FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings / by Misra, Jayadev [editor.] Nipkow, Tobias [editor.] Sekerinski, Emil [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4085 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1598.	Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures / by Bernardo, Marco [editor.] Hillston, Jane [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4486 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1599.	Practical Aspects of Declarative Languages [electronic resource] : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings / by Hermenegildo, Manuel [editor.] Cabeza, Daniel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3350 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1600.	Software Engineering and Formal Methods [electronic resource] : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / by Canal, Carlos [editor.] Idani, Akram [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8938 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2443 results.