Results of search for 'ccl=Provider:Springer Berlin Heidelberg :' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1261.	Artificial Intelligence and Soft Computing, Part I [electronic resource] : 10th International Conference, ICAISC 2010, Zakopane, Poland, June13-17, 2010, Part I / by Rutkowski, Leszek [editor.] Scherer, Rafał [editor.] Tadeusiewicz, Ryszard [editor.] Zadeh, Lotfi A [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6113 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)
	1262.	Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers / by Liu, Zhiming [editor.] Araki, Keijiro [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3407 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)
	1263.	Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / by Beckert, Bernhard [editor.] Hähnle, Reiner [editor.] Schmitt, Peter H [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4334 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)
	1264.	Conceptual Modeling – ER 2010 [electronic resource] : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings / by Parsons, Jeffrey [editor.] Saeki, Motoshi [editor.] Shoval, Peretz [editor.] Woo, Carson [editor.] Wand, Yair [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6412 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)
	1265.	Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part II / by Liu, Honghai [editor.] Ding, Han [editor.] Xiong, Zhenhua [editor.] Zhu, Xiangyang [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6425 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)
	1266.	Digital Libraries: Implementing Strategies and Sharing Experiences [electronic resource] : 8th International Conference on Asian Digital Libraries, ICADL 2005, Bangkok, Thailand, December 12-15, 2005, Proceedings / by Fox, Edward A [editor.] Neuhold, Erich [editor.] Premsmit, Pimrumpai [editor.] Wuwongse, Vilas [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3815 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)
	1267.	Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings / by Butler, Michael [editor.] Hinchey, Michael G [editor.] Larrondo-Petrie, Maria M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4789 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)
	1268.	Intelligent Computing Theories [electronic resource] : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013, Proceedings / by Huang, De-Shuang [editor.] Bevilacqua, Vitoantonio [editor.] Figueroa, Juan Carlos [editor.] Premaratne, Prashan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7995 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)
	1269.	Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings / by Ait Mohamed, Otmane [editor.] Munoz, César [editor.] Tahar, Sofiène [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5170 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)
	1270.	Theory of Cryptography [electronic resource] : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II / by Hirt, Martin [editor.] Smith, Adam [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9986 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)
	1271.	Cryptographic Hardware and Embedded Systems -- CHES 2011 [electronic resource] : 13th International Workshop, Nara, Japan, September 28 -- October 1, 2011, Proceedings / by Preneel, Bart [editor.] Takagi, Tsuyoshi [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 6917 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)
	1272.	Measurement Methodology and Tools [electronic resource] : First European Workshop, FP7 FIRE/EULER Project, May 9, 2012, Aalborg, Denmark, Invited Papers / by Fàbrega, Lluís [editor.] Vilà, Pere [editor.] Careglio, Davide [editor.] Papadimitriou, Dimitri [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7586 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)
	1273.	Artificial Evolution [electronic resource] : 7th International Conference, Evolution Artificielle, EA 2005, Revised Selected Papers / by Talbi, El-ghazali [editor.] Liardet, Pierre [editor.] Collet, Pierre [editor.] Lutton, Evelyne [editor.] Schoenauer, Marc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3871 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)
	1274.	Global Perspectives on Design Science Research [electronic resource] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings / by Winter, Robert [editor.] Zhao, J. Leon [editor.] Aier, Stephan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6105 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)
	1275.	NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet [electronic resource] : 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008, Proceedings / by Das, Amitabha [editor.] Pung, Hung Keng [editor.] Bu Sung Lee, Francis [editor.] Wong Wai Choong, Lawrence [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 4982 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)
	1276.	Current Trends in Web Engineering [electronic resource] : Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers / by Harth, Andreas [editor.] Koch, Nora [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7059 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)
	1277.	Inconsistency Tolerance [electronic resource] / by Bertossi, Leopoldo [editor.] Hunter, Anthony [editor.] Schaub, Torsten [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3300 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)
	1278.	Large-Scale Scientific Computing [electronic resource] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Papers / by Lirkov, Ivan [editor.] Margenov, Svetozar D [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4818 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)
	1279.	Database and Expert Systems Applications [electronic resource] : 18th International Conference, DEXA 2007, Regensburg, Germany, September 3-7, 2007, Proceedings / by Wagner, Roland [editor.] Revell, Norman [editor.] Pernul, Günther [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4653 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)
	1280.	Sanskrit Computational Linguistics [electronic resource] : First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008, Revised Selected Papers / by Huet, Gérard [editor.] Kulkarni, Amba [editor.] Scharf, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5402 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7426 results.