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

Results
	461.	Computational Science — ICCS 2002 [electronic resource] : International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part II / by Sloot, Peter M.A [editor.] Tan, C.J. Kenneth [editor.] Dongarra, Jack J [editor.] Hoekstra, Alfons G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2330 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)
	462.	Component Deployment [electronic resource] : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings / by Bishop, Judith [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2370 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)
	463.	Computer Safety, Reliability and Security [electronic resource] : 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings / by Voges, Udo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2187 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)
	464.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [electronic resource] : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / by Backhouse, Roland [editor.] Crole, Roy [editor.] Gibbons, Jeremy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2297 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)
	465.	Principles and Practice of Constraint Programming - CP97 [electronic resource] : Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 / by Smolka, Gert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1330 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)
	466.	Quality for All [electronic resource] : 4th COST 263 International Workshop on Quality of Future Internet Services, QoFIS 2003, Stockholm, Sweden, October 1-2, 2003, Proceedings / by Karlsson, Gunnar [editor.] Smirnov, Michael I [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2811 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)
	467.	Modular Specification and Verification of Object-Oriented Programs [electronic resource] / by Müller, Peter [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2262 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)
	468.	Security and Privacy in Digital Rights Management [electronic resource] : ACM CCS-8 Workshop DRM 2001, Philadelphia, PA, USA, November 5, 2001. Revised Papers / by Sander, Tomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2320 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)
	469.	Integrated Spatial Databases: Digital Images and GIS [electronic resource] : International Workshop ISD'99 Portland, ME, USA, June 14-16, 1999 Selected Papers / by Agouris, Peggy [editor.] Stefanidis, Anthony [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1737 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)
	470.	Mathematics of Program Construction [electronic resource] : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings / by Boiten, Eerke A [editor.] Möller, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2386 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)
	471.	Model Checking Software [electronic resource] : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings / by Bosnacki, Dragan [editor.] Leue, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2318 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)
	472.	Formal Techniques for Networked and Distributed Systems - FORTE 2003 [electronic resource] : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 / by König, Hartmut [editor.] Heiner, Monika [editor.] Wolisz, Adam [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2767 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)
	473.	Compiler Construction [electronic resource] : 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings / by Horspool, R. Niegel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2304 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)
	474.	Formal Methods in Computer-Aided Design [electronic resource] : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings / by Aagaard, Mark D [editor.] O'Leary, John W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2517 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)
	475.	Parallel Computing Technologies [electronic resource] : 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999 Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1662 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)
	476.	Interactive Systems. Design, Specification, and Verification [electronic resource] : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers / by Palanque, Philippe [editor.] Paterno, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1946 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)
	477.	Conceptual Modeling - ER 2001 [electronic resource] : 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings / by Kunii, Hideko S [editor.] Jajodia, Sushil [editor.] Soelvberg, Arne [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2224 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)
	478.	Verification: Theory and Practice [electronic resource] : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / by Dershowitz, Nachum [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2772 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)
	479.	Computer Safety, Reliability and Security [electronic resource] : 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings / by Felici, Massimo [editor.] Kanoun, Karama [editor.] Pasquini, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1698 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)
	480.	Euro-Par 2003 Parallel Processing [electronic resource] : 9th International Euro-Par Conference, Klagenfurt, Austria, August 26–29, 2003 Proceedings / by Kosch, Harald [editor.] Böszörményi, László [editor.] Hellwagner, Hermann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2790 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 721 results.