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

Results
	541.	Practical Aspects of Declarative Languages [electronic resource] : Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings / by Ramakrishnan, I.V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1990 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)
	542.	Modeling and Verification of Parallel Processes [electronic resource] : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures / by Cassez, Franck [editor.] Jard, Claude [editor.] Rozoy, Brigitte [editor.] Ryan, Mark D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2067 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)
	543.	High-Performance Computing and Networking [electronic resource] : 7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12–14, 1999 Proceedings / by Sloot, Peter [editor.] Bubak, Marian [editor.] Hoekstra, Alfons [editor.] Hertzberger, Bob [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1593 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)
	544.	Informatics [electronic resource] : 10 Years Back. 10 Years Ahead / by Wilhelm, Reinhard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2000 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)
	545.	Computational Science — ICCS 2002 [electronic resource] : International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part III / 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 ; 2331 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)
	546.	Formal Methods at the Crossroads. From Panacea to Foundational Support [electronic resource] : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers / by Aichernig, Bernhard K [editor.] Maibaum, Tom [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2757 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)
	547.	Self-Stabilizing Systems [electronic resource] : 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings / by Datta, Ajoy K [editor.] Herman, Ted [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2194 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)
	548.	Approximation and Online Algorithms [electronic resource] : First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003, Revised Papers / by Jansen, Klaus [editor.] Solis-Oba, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2909 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)
	549.	High Performance Computing for Computational Science - VECPAR 2002 [electronic resource] : 5th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited Talks / by Palma, José M.L.M [editor.] Dongarra, Jack [editor.] Hernández, Vicente [editor.] Sousa, A. Augusto [editor.] Waldén, Marina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2565 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)
	550.	Parallel and Distributed Processing and Applications [electronic resource] : International Symposium, ISPA 2003, Aizu, Japan, July 2-4, 2003, Proceedings / by Guo, Minyi [editor.] Yang, Laurence Tianruo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2745 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)
	551.	Component Deployment [electronic resource] : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings / by Emmerich, Wolfgang [editor.] Wolf, Alexander L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3083 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)
	552.	Applied Parallel Computing: Advanced Scientific Computing [electronic resource] : 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002. Proceedings / by Fagerholm, Juha [editor.] Haataja, Juha [editor.] Järvinen, Jari [editor.] Lyly, Mikko [editor.] Raback, Peter [editor.] Savolainen, Ville [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2367 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)
	553.	Euro-Par 2001 Parallel Processing [electronic resource] : 7th International Euro-Par Conference Manchester, UK August 28-31, 2001 Proceedings / by Sakellariou, Rizos [editor.] Keane, John [editor.] Gurd, John [editor.] Freeman, Len [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2150 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)
	554.	Optimal Interprocedural Program Optimization [electronic resource] : A New Framework and Its Application / by Knoop, Jens [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1428 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)
	555.	The Essence of Computation [electronic resource] : Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones / by Mogensen, Torben [editor.] Schmidt, David [editor.] Sudborough, I. Hal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2566 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)
	556.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings / by Zuck, Lenore D [editor.] Attie, Paul D [editor.] Cortesi, Agostino [editor.] Mukhopadhyay, Supratik [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2575 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)
	557.	FME 2003: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / by Araki, Keijiro [editor.] Gnesi, Stefania [editor.] Mandrioli, Dion [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2805 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)
	558.	Principles and Practice of Semantic Web Reasoning [electronic resource] : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings / by Bry, Francois [editor.] Henze, Nicola [editor.] Maluszynski, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2901 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)
	559.	Computational Science and Its Applications - ICCSA 2003 [electronic resource] : International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II / by Kumar, Vipin [editor.] Gavrilova, Marina L [editor.] Tan, C.J. Kenneth [editor.] L'Ecuyer, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2668 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)
	560.	Concurrency and Hardware Design [electronic resource] : Advances in Petri Nets / by Cortadella, Jordi [editor.] Yakovlev, Alex [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2549 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 584 results.