Results of search for 'ccl=pl:"Berlin :"' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	2261.	Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / by Barringer, Howard [editor.] Falcone, Ylies [editor.] Finkbeiner, Bernd [editor.] Havelund, Klaus [editor.] Lee, Insup [editor.] Pace, Gordon [editor.] Rosu, Grigore [editor.] Sokolsky, Oleg [editor.] Tillmann, Nikolai [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 6418 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)
	2262.	Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers / by Azevedo, Francisco [editor.] Barahona, Pedro [editor.] Fages, Francois [editor.] Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4651 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)
	2263.	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012, Proceedings / by Gupta, Anupam [editor.] Jansen, Klaus [editor.] Rolim, José D.P [editor.] SERVEDIO, ROCCO [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7408 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)
	2264.	Electronic Participation [electronic resource] : Fourth IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 3-5, 2012, Proceedings / by Tambouris, Efthimios [editor.] Macintosh, Ann [editor.] Sæbø, Øystein [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7444 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)
	2265.	Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 10th International Conference, KES 2006, Bournemouth, UK, October 9-11 2006, Proceedings, Part II / by Gabrys, Bogdan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4252 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)
	2266.	Ada 2005 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 / by Taft, S. Tucker [editor.] Duff, Robert A [editor.] Brukardt, Randall L [editor.] Ploedereder, Erhard [editor.] Leroy, Pascal [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4348 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)
	2267.	Advances in Neural Networks - ISNN 2009 [electronic resource] : 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part I / by Yu, Wen [editor.] He, Haibo [editor.] Zhang, Nian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5551 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)
	2268.	Pattern Recognition in Bioinformatics [electronic resource] : Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings / by Rajapakse, Jagath C.- [editor.] Schmidt, Bertil [editor.] Volkert, Gwenn [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 4774 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)
	2269.	Algorithms in Bioinformatics [electronic resource] : 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012. Proceedings / by Raphael, Ben [editor.] Tang, Jijun [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 7534 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)
	2270.	Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint [electronic resource] : 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected Papers / by Paletta, Lucas [editor.] Rome, Erich [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4840 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)
	2271.	Smart Card Research and Advanced Applications [electronic resource] : 10th IFIP WG 8.8/11.2 International Conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011, Revised Selected Papers / by Prouff, Emmanuel [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 7079 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)
	2272.	Argumentation in Multi-Agent Systems [electronic resource] : 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers / by Rahwan, Iyad [editor.] Parsons, Simon D [editor.] Reed, Chris [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 4946 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)
	2273.	Computer Performance Engineering [electronic resource] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings / by Balsamo, Maria Simonetta [editor.] Knottenbelt, William [editor.] Marin, Andrea [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8168 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)
	2274.	Quantum Interaction [electronic resource] : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers / by Song, Dawei [editor.] Melucci, Massimo [editor.] Frommholz, Ingo [editor.] Zhang, Peng [editor.] Wang, Lei [editor.] Arafat, Sachi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7052 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)
	2275.	Machines, Computations, and Universality [electronic resource] : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / by Margenstern, Maurice [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3354 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)
	2276.	Advanced Parallel Processing Technologies [electronic resource] : 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings / by Dou, Yong [editor.] Gruber, Ralf [editor.] Joller, Josef [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5737 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)
	2277.	Computer Network Security [electronic resource] : 6th International Conference on Mathematical Methods, Models and Architectures for Comüuter Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012, Proceedings / by Kotenko, Igor [editor.] Skormin, Victor [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 7531 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)
	2278.	The Beauty of Functional Code [electronic resource] : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / by Achten, Peter [editor.] Koopman, Pieter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8106 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)
	2279.	Dependable Computing - EDCC 2005 [electronic resource] : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings / by Dal Cin, Mario [editor.] Kaâniche, Mohamed [editor.] Pataricza, András [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3463 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)
	2280.	Document Analysis Systems VII [electronic resource] : 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006, Proceedings / by Bunke, Horst [editor.] Spitz, A. Lawrence [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 3872 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 7478 results.