Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and su-to:Engineering and su-to:Computers. and su-to:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	101.	Advanced Parallel Processing Technologies [electronic resource] : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings / by Zhou, Xingming [editor.] Jähnichen, Stefan [editor.] Xu, Ming [editor.] Cao, Jiannong [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2834 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)
	102.	MMIXware [electronic resource] : A RISC Computer for the Third Millennium / by Knuth, Donald E [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1750 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)
	103.	Product Focused Software Process Improvement [electronic resource] : 4th International Conference, PROFES 2002 Rovaniemi, Finland, December 9-11, 2002, Proceedings / by Oivo, Markku [editor.] Komi-Sirviö, Seija [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2559 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)
	104.	Hybrid and Real-Time Systems [electronic resource] : International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings / by Maler, Oded [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1201 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)
	105.	Web Engineering and Peer-to-Peer Computing [electronic resource] : NETWORKING 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers / by Gregori, Enrico [editor.] Cherkasova, Ludmila [editor.] Cugola, Gianpaolo [editor.] Panzieri, Fabio [editor.] Picco, Gian P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2376 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)
	106.	Extreme Programming and Agile Methods - XP/Agile Universe 2003 [electronic resource] : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings / by Maurer, Frank [editor.] Wells, Don [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2753 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)
	107.	Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security [electronic resource] : International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21-23, 2001 Proceedings / by Gorodetski, Vladimir I [editor.] Skormin, Victor A [editor.] Popyack, Leonard J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2052 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)
	108.	Types in Compilation [electronic resource] : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings / by Leroy, Xavier [editor.] Ohori, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1473 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)
	109.	Formal Methods for Components and Objects [electronic resource] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / by Boer, Frank S.de [editor.] Bonsangue, Marcello [editor.] Graf, Susanne [editor.] de Roever, Willem-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2852 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)
	110.	Mobile Data Management [electronic resource] : 4th International Conference, MDM 2003, Melbourne, Australia, January 21-24, 2003, Proceedings / by Chen, Ming-Syan [editor.] Chrysanthis, Panos K [editor.] Sloman, Morris [editor.] Zaslavsky, Arkady [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2574 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)
	111.	Computer Aided Verification [electronic resource] : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings / by Grumberg, Orna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1254 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)
	112.	Algorithms for Memory Hierarchies [electronic resource] : Advanced Lectures / by Meyer, Ulrich [editor.] Sanders, Peter [editor.] Sibeyn, Jop [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2625 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)
	113.	Hybrid Systems: Computation and Control [electronic resource] : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings / by Tomlin, Claire J [editor.] Greenstreet, Mark R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2289 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)
	114.	Formal Methods for Real-Time and Probabilistic Systems [electronic resource] : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings / by Katoen, Jost-Pieter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1601 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)
	115.	Interactive Markov Chains [electronic resource] : The Quest for Quantified Quality / by Hermanns, Holger [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2428 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)
	116.	FM'99 - Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II / by Wing, Jeannette M [editor.] Woodcook, Jim [editor.] Davies, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1709 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)
	117.	Formal Methods in Computer-Aided Design [electronic resource] : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings / by Hunt, Warren A. Jr [editor.] Johnson, Steven D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1954 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)
	118.	Information Security and Privacy [electronic resource] : Second Australasian Conference, ACISP '97, Sydney, NSW, Australia, July 7-9, 1997 Proceedings / by Varadharajan, Vijav [editor.] Pieprzyk, Josef [editor.] Mu, Yi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1270 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)
	119.	Middleware 2001 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings / by Guerraoui, Rachid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2218 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)
	120.	Formal Techniques for Networked and Distributed Systems - FORTE 2002 [electronic resource] : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings / by Peled, Doron A [editor.] Vardi, Moshe Y [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2529 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 200 results.