Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Software Engineering and su-to:Artificial Intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	801.	On the Move to Meaningful Internet Systems, OTM 2010 [electronic resource] : Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Greece, October 25-29, 2010, Proceedings, Part I / by Dillon, Tharam [editor.] Herrero, Pilar [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6426 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)
	802.	Computer and Information Sciences - ISCIS 2005 [electronic resource] : 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings / by Yolum, Pinar [editor.] Güngör, Tunga [editor.] Gürgen, Fikret [editor.] Özturan, Can [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3733 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)
	803.	Modular Ontologies [electronic resource] : Concepts, Theories and Techniques for Knowledge Modularization / by Stuckenschmidt, Heiner [editor.] Parent, Christine [editor.] Spaccapietra, Stefano [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5445 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)
	804.	Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings / by Joshi, Rajeev [editor.] Müller, Peter [editor.] Podelski, Andreas [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7152 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)
	805.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings / by Giese, Martin [editor.] Waaler, Arild [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5607 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)
	806.	Coordination, Organizations, Institutions, and Norms in Agent Systems VI [electronic resource] : COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers / by De Vos, Marina [editor.] Fornara, Nicoletta [editor.] Pitt, Jeremy V [editor.] Vouros, George [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6541 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)
	807.	Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers / by Schreck, Pascal [editor.] Narboux, Julien [editor.] Richter-Gebert, Jürgen [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6877 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)
	808.	Model and Data Engineering [electronic resource] : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings / by Abelló, Alberto [editor.] Bellatreche, Ladjel [editor.] Benatallah, Boualem [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7602 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)
	809.	Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers / by Johnson, Michael [editor.] Pavlovic, Dusko [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6486 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)
	810.	Foundations of Computer Software [electronic resource] : Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers / by Calinescu, Radu [editor.] Jackson, Ethan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6662 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)
	811.	Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings / by Lea, Doug [editor.] Zavattaro, Gianluigi [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5052 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)
	812.	Agents and Data Mining Interaction [electronic resource] : 4th International Workshop on Agents and Data Mining Interaction, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers / by Cao, Longbing [editor.] Gorodetsky, A.E [editor.] Liu, Jiming [editor.] Weiß, Gerhard [editor.] Yu, Philip S [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5680 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)
	813.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / by Baral, Chitta [editor.] Greco, Gianluigi [editor.] Leone, Nicola [editor.] Terracina, Giorgio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3662 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)
	814.	Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings / by Schneider, Klaus [editor.] Brandt, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4732 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)
	815.	Agent Computing and Multi-Agent Systems [electronic resource] : 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers / by Ghose, Aditya [editor.] Governatori, Guido [editor.] Sadananda, Ramakoti [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5044 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)
	816.	Adaptive and Natural Computing Algorithms [electronic resource] : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / by Kolehmainen, Ville [editor.] Toivanen, Pekka [editor.] Beliczynski, Bartlomiej [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5495 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)
	817.	Principles of Distributed Systems [electronic resource] : 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings / by Aguilera, Marcos K [editor.] Querzoni, Leonardo [editor.] Shapiro, Marc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8878 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	818.	Algorithms and Architectures for Parallel Processing [electronic resource] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II / by Yeo, Sang-Soo [editor.] Park, Jong Hyuk [editor.] Yang, Laurence Tianruo [editor.] Hsu, Ching-Hsien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6082 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)
	819.	Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings / by Noda, Itsuki [editor.] Ando, Noriako [editor.] Brugali, Davide [editor.] Kuffner, James J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 7628 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)
	820.	Agent-Oriented Software Engineering VII [electronic resource] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / by Padgham, Lin [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4405 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1614 results.