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

Results
	501.	Agent Systems, Mobile Agents, and Applications [electronic resource] : Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents, ASA/MA 2000 Zurich, Switzerland, September 13-15, 2000 Proceedings / by Kotz, David [editor.] Mattern, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1882 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)
	502.	Testing of Communicating Systems [electronic resource] : 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings / by Hogrefe, Dieter [editor.] Wiles, Anthony [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2644 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)
	503.	Computer Vision Systems [electronic resource] : Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings / by Crowley, James [editor.] Piater, Justus [editor.] Vincze, Markus [editor.] Paletta, Lucas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2626 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)
	504.	Model Checking Software [electronic resource] : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings / by Dwyer, Matthew [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2057 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)
	505.	Semantics, Applications, and Implementation of Program Generation [electronic resource] : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings / by Taha, Walid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1924 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)
	506.	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)
	507.	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)
	508.	Applied Parallel Computing. New Paradigms for HPC in Industry and Academia [electronic resource] : 5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings / by Sorevik, Tor [editor.] Manne, Fredrik [editor.] Moe, Randi [editor.] Gebremedhin, Assefaw H [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1947 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)
	509.	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)
	510.	Advances in Web-Based Learning - ICWL 2004 [electronic resource] : Third International Conference, Beijing, China, August 8-11, 2004, Proceedings / by Liu, Wenyin [editor.] Shi, Yuanchun [editor.] Qing, Li [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3143 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)
	511.	Algorithms and Models for the Web-Graph [electronic resource] : Third International Workshop, WAW 2004, Rome, Italy, October 16, 2004. Proceedings / by Leonardi, Stefano [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3243 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)
	512.	Static Analysis [electronic resource] : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings / by Cousot, Radhia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2694 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)
	513.	Logic Programming [electronic resource] : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings / by Codognet, Philippe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2237 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)
	514.	Computer Aided Verification [electronic resource] : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings / by Hu, Alan J [editor.] Vardi, Moshe Y [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1427 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)
	515.	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)
	516.	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)
	517.	Applications and Theory of Petri Nets 2003 [electronic resource] : 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings / by Aalst, Wil van der [editor.] Best, Eike [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2679 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)
	518.	TAPSOFT'97: Theory and Practice of Software Development [electronic resource] : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings / by Bidoit, Michel [editor.] Dauchet, Max [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1214 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)
	519.	Foundations of Software Science and Computation Structures [electronic resource] : Second International Conference, FOSSACS'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 Thomas, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1578 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)
	520.	High Performance Computing [electronic resource] : Third International Symposium, ISHPC 2000 Tokyo, Japan, October 16-18, 2000 Proceedings / by Valero, Mateo [editor.] Joe, Kazuki [editor.] Kitsuregawa, Masaru [editor.] Tanaka, Hidehiko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1940 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

Item types

Series

Topics

Your search returned 892 results.