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

Results
	6021.	Computer Aided Verification [electronic resource] : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings / by Berry, Gerard [editor.] Comon, Hubert [editor.] Finkel, Alain [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2102 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6022.	Computer Aided Systems Theory - EUROCAST'99 [electronic resource] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings / by Pichler, Franz [editor.] Moreno-Diaz, Roberto [editor.] Kopacek, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1798 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6023.	FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings / by Pandya, Paritosh K [editor.] Radhakrishnan, Jaikumar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2914 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6024.	Public Key Cryptography [electronic resource] : 5th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002, Paris, France, February 12–14, 2002 Proceedings / by Paillier, Pascal [editor.] Naccache, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2274 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6025.	Database and Expert Systems Applications [electronic resource] : 11th International Conference, DEXA 2000 London, UK, September 4-8, 2000 Proceedings / by Ibrahim, Mohamed [editor.] Küng, Josef [editor.] Revell, Norman [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1873 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6026.	Cooperative Information Agents [electronic resource] : First International Workshop, CIA'97, Kiel, Germany, February 26-28, 1997, Proceedings / by Kandzia, Peter [editor.] Klusch, Matthias [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1202 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6027.	Visual Form 2001 [electronic resource] : 4th International Workshop on Visual Form, IWVF-4 Capri, Italy, May 28-30, 2001 Proceedings / by Arcelli, Carlo [editor.] Cordella, Luigi P [editor.] Sanniti di Baja, Gabriella [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2059 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6028.	Information Processing in Medical Imaging [electronic resource] : 15th International Conference, IPMI'97, Poultney, Vermont, USA, June 9-13, 1997, Proceedings / by Duncan, James [editor.] Gindi, Gene [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1230 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6029.	Advances in Cryptology - ASIACRYPT 2003 [electronic resource] : 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 - December 4, 2003, Proceedings / by Laih, Chi Sung [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2894 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6030.	ZB 2002: Formal Specification and Development in Z and B [electronic resource] : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings / by Bert, Didier [editor.] Bowen, Jonathan P [editor.] Henson, Martin C [editor.] Robinson, Ken [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2272 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6031.	Advanced Conceptual Modeling Techniques [electronic resource] : ER 2002 Workshops - ECDM, MobIMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002, Proceedings / by Olivé, Antoni [editor.] Yoshikawa, Masatoshi [editor.] Yu, Eric S.K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2784 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6032.	Algebraic Frames for the Perception-Action Cycle [electronic resource] : Second International Workshop, AFPAC 2000, Kiel, Germany, September 10-11, 2000 Proceedings / by Sommer, Gerald [editor.] Zeevi, Yehoshua Y [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1888 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6033.	Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing [electronic resource] : 10th International Conference, FPL 2000 Villach, Austria, August 27-30, 2000 Proceedings / by Hartenstein, Reiner W [editor.] Grünbacher, Herbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1896 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6034.	Evolvable Systems: From Biology to Hardware [electronic resource] : Second International Conference, ICES 98 Lausanne, Switzerland, September 23–25, 1998 Proceedings / by Sipper, Moshe [editor.] Mange, Daniel [editor.] Perez-Uribe, Andres [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1478 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6035.	Algorithms and Complexity [electronic resource] : 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings / by Petreschi, Rosella [author.] Persiano, Giuseppe [author.] Silvestri, Riccardo [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2653 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6036.	Design and Applications of Intelligent Agents [electronic resource] : Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000 Melbourne, Australia, August 28-29, 2000 Proceedings / by Zhang, Chengqui [editor.] Soo, Von-Wun [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1881 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6037.	Information Security and Privacy [electronic resource] : 7th Australian Conference, ACISP 2002 Melbourne, Australia, July 3-5, 2002 Proceedings / by Batten, Lynn [editor.] Seberry, Jennifer [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2384 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6038.	Active Networks [electronic resource] : First International Working Conference, IWAN'99, Berlin, Germany, June 30 - July 2, 1999, Proceedings / by Covaci, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1653 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6039.	Object-Oriented Technology: ECOOP ’97 Workshop Reader [electronic resource] : ECOOP’97 Workshops Jyväskylä, Finland, June 9–13, 1997 Proceedings / by Bosch, Jan [editor.] Mitchell, Stuart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1357 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6040.	Advances in Agent Communication [electronic resource] : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003 / by Dignum, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2922 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 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.