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
	1541.	Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [electronic resource] : Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers / by Tuyls, Karl [editor.] Nowe, Ann [editor.] Guessoum, Zahia [editor.] Kudenko, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4865 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)
	1542.	Euro-Par 2008 Parallel Processing [electronic resource] : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings / by Luque, Emilio [editor.] Margalef, Tomas [editor.] Benítez, Domingo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5168 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)
	1543.	Perspectives of System Informatics [electronic resource] : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers / by Mazzara, Manuel [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9609 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)
	1544.	CONCUR 2011 -- Concurrency Theory [electronic resource] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings / by Katoen, Joost-Pieter [editor.] König, Barbara [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6901 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)
	1545.	Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings / by Cha, Sungdeok [editor.] Choi, Jin-Young [editor.] Kim, Moonzoo [editor.] Viswanathan, Mahesh [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5311 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)
	1546.	Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings / by Veanes, Margus [editor.] Tretmans, Jan [editor.] Grieskamp, Wolfgang [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4581 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)
	1547.	Trust, Privacy and Security in Digital Business [electronic resource] : 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings / by Lopez, Javier [editor.] Fischer-Hübner, Simone [editor.] Lambrinoudakis, Costas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 10442 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)
	1548.	Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / by Beckert, Bernhard [editor.] Damiani, Ferruccio [editor.] de Boer, Frank S [editor.] Bonsangue, Marcello M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7542 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1549.	High Performance Computing for Computational Science -- VECPAR 2010 [electronic resource] : 9th International Conference, Berkeley, CA, USA, June 22-25, 2010, Revised, Selected Papers / by Palma, José M. Laginha M [editor.] Daydé, Michel [editor.] Marques, Osni [editor.] Lopes, Joao Correia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6449 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)
	1550.	Model Driven Architecture - Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings / by Schieferdecker, Ina [editor.] Hartman, Alan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5095 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)
	1551.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / by De Nivelle, Hans [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9323 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)
	1552.	Database and XML Technologies [electronic resource] : 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007, Proceedings / by Barbosa, Denilson [editor.] Bonifati, Angela [editor.] Bellahsène, Zohra [editor.] Hunt, Ela [editor.] Unland, Rainer [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4704 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)
	1553.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings / by Grünbacher, Paul [editor.] Perini, Anna [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10153 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)
	1554.	Reliable Software Technologies – Ada-Europe 2017 [electronic resource] : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings / by Blieberger, Johann [editor.] Bader, Markus [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10300 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)
	1555.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / by Cabalar, Pedro [editor.] Son, Tran Cao [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 8148 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1556.	Agent-Oriented Software Engineering XIII [electronic resource] : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / by Müller, Jörg [editor.] Cossentino, Massimo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7852 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1557.	Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / by Wittevrongel, Sabine [editor.] Phung-Duc, Tuan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9845 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)
	1558.	Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / by Alpuente, María [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6564 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)
	1559.	Balancing Agility and Formalism in Software Engineering [electronic resource] : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / by Meyer, Bertrand [editor.] Nawrocki, J.R [editor.] Walter, Bartosz [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5082 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)
	1560.	Deductive Software Verification – The KeY Book [electronic resource] : From Theory to Practice / by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Hähnle, Reiner [editor.] Schmitt, Peter H [editor.] Ulbrich, Mattias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10001 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2443 results.