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

Results
	16061.	Information and Communications Security [electronic resource] : First International Conference, ICIS'97, Beijing, China, November 11-14, 1997, Proceedings / by Han, Yongfei [editor.] Okamoto, Tatsuaki [editor.] Quing, Sihan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1334 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)
	16062.	Inductive Synthesis of Functional Programs [electronic resource] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / by Schmid, Ute [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2654 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)
	16063.	Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings / by Bussler, Christoph [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3192 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)
	16064.	Interactive Multimedia on Next Generation Networks [electronic resource] : First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, Italy, November 18-21, 2003, Proceedings / by Ventre, Giorgio [editor.] Canonico, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2899 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)
	16065.	ZUM'97: The Z Formal Specification Notation [electronic resource] : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings / by Bowen, Jonathan P [editor.] Hinchey, Michael G [editor.] Till, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1212 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)
	16066.	Advances in Web-Age Information Management [electronic resource] : Second International Conference, WAIM 2001, Xi'an, China, July 9-11, 2001. Proceedings / by Wang, X. Sean [editor.] Yu, Ge [editor.] Lu, Hongjun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2118 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)
	16067.	Machine Learning and Data Mining in Pattern Recognition [electronic resource] : Second International Workshop, MLDM 2001, Leipzig, Germany, July 25-27, 2001. Proceedings / by Perner, Petra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2123 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)
	16068.	Coordination Models and Languages [electronic resource] : 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings / by Arbab, Farhad [editor.] Talcott, Carolyn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2315 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)
	16069.	Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / by Basin, David [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2758 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)
	16070.	Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshops SSPR 2002 and SPR 2002, Windsor, Ontario, Canada, August 6-9, 2002. Proceedings / by Caelli, Terry [editor.] Amin, Adnan [editor.] Duin, Robert P.W [editor.] Kamel, Mohamed [editor.] Ridder, Dick de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2396 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)
	16071.	Next Generation Networks. Networks and Services for the Information Society [electronic resource] : 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000 Proceedings / by Rao, Sathya [editor.] Sletta, Kaare I [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1938 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)
	16072.	Peer-to-Peer Systems II [electronic resource] : Second International Workshop, IPTPS 2003, Berkeley, CA, USA, February 21-22,2003, Revised Papers / by Kaashoek, Frans [editor.] Stoica, Ion [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2735 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)
	16073.	Fast Software Encryption [electronic resource] : 4th International Workshop, FSE'97, Haifa, Israel, January 20-22, 1997, Proceedings / by Biham, Eli [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1267 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)
	16074.	Innovative Internet Community Systems [electronic resource] : Third International Workshop, IICS 2003, Leipzig, Germany, June 19-21, 2003, Revised Papers / by Böhme, Thomas [editor.] Heyer, Gerhard [editor.] Unger, Herwig [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2877 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)
	16075.	Programming Languages and Systems [electronic resource] : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / by Hankin, Chris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1381 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)
	16076.	Static Analysis [electronic resource] : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings / by Cortesi, Agostino [editor.] File, Gilberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1694 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)
	16077.	SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings / by Havelund, Klaus [editor.] Penix, John [editor.] Visser, Willem [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1885 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)
	16078.	Aspects of Molecular Computing [electronic resource] : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday / by Jonoska, Natasha [editor.] Păun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2950 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)
	16079.	Advances in Cryptology — ASIACRYPT 2001 [electronic resource] : 7th International Conference on the Theory and Application of Cryptology and Information Security Gold Coast, Australia, December 9–13, 2001. Proceedings / by Boyd, Colin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2248 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)
	16080.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings / by Nagl, Manfred [editor.] Schürr, Andreas [editor.] Münch, Manfred [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1779 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 17571 results.