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

Results
	321.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings / by Garavel, Hubert [editor.] Hatcliff, John [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2619 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)
	322.	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)
	323.	Recent Trends in Algebraic Development Techniques [electronic resource] : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers / by Parisi-Presicce, Francesco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1376 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)
	324.	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)
	325.	Fundamental Approaches to Software Engineering [electronic resource] : Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / by Maibaum, Tom [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1783 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)
	326.	Evolutionary Multi-Criterion Optimization [electronic resource] : First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001 Proceedings / by Zitzler, Eckart [editor.] Deb, Kalyanmoy [editor.] Thiele, Lothar [editor.] Coello Coello, Carlos [editor.] Corne, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1993 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)
	327.	Reflection and Software Engineering [electronic resource] / by Cazzola, Walter [editor.] Stroud, Robert J [editor.] Tisato, Francesco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1826 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)
	328.	Computational Science — ICCS 2001 [electronic resource] : International Conference San Francisco, CA, USA, May 28–30, 2001 Proceedings, Part I / by Alexandrov, Vassil N [editor.] Dongarra, Jack J [editor.] Juliano, Benjoe A [editor.] Renner, Rene S [editor.] Tan, C.J.Kenneth [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2073 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)
	329.	Hybrid Systems IV [electronic resource] / by Antsaklis, Panos [editor.] Kohn, Wolf [editor.] Nerode, Anil [editor.] Sastry, Shankar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1273 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)
	330.	Applied Computing [electronic resource] : Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings / by Manandhar, Suresh [editor.] Austin, Jim [editor.] Desai, Uday [editor.] Oyanagi, Yoshio [editor.] Talukder, Asoke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3285 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)
	331.	SDL 2003: System Design [electronic resource] : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings / by Reed, Rick [editor.] Reed, Jeanne [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2708 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)
	332.	Innovative Internet Computing Systems [electronic resource] : Second International Workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002, Proceedings / by Unger, Herwig [editor.] Boehme, Thomas [editor.] Mikler, Armin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2346 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)
	333.	Parallel and Distributed Processing [electronic resource] : 11th IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12–16, 1999 Proceedings / by Rolim, Jose [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1586 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)
	334.	Generic Programming [electronic resource] : Advanced Lectures / by Backhouse, Roland [editor.] Gibbons, Jeremy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2793 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)
	335.	Compiler Construction [electronic resource] : 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings / by Jähnichen, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1575 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)
	336.	High-Level Parallel Programming Models and Supportive Environments [electronic resource] : 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings / by Mueller, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2026 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)
	337.	SOFSEM 2000: Theory and Practice of Informatics [electronic resource] : 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 - December 2, 2000 Proceedings / by Hlavac, Vaclav [editor.] Jeffery, Keith G [editor.] Wiedermann, Jiri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1963 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)
	338.	Interactive Systems: Design, Specification, and Verification [electronic resource] : 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers / by Johnson, Chris J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2220 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)
	339.	Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation [electronic resource] : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings / by Saraswat, Vijay A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2896 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)
	340.	Hybrid Systems V [electronic resource] / by Antsaklis, Panos J [editor.] Kohn, Wolf [editor.] Lemmon, Michael [editor.] Nerode, Anil [editor.] Sastry, Shankar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1567 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 584 results.