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
	241.	High Performance Computing [electronic resource] : International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings / by Polychronopoulos, Constantine [editor.] Joe, Kazuki [editor.] Araki, Keijiro [editor.] Amamiya, Makoto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1336 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)
	242.	FME 2002: Formal Methods - Getting IT Right [electronic resource] : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings / by Eriksson, Lars-Henrik [editor.] Lindsay, Peter A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2391 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)
	243.	Principles and Practice of Constraint Programming - CP98 [electronic resource] : 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings / by Maher, Michael [editor.] Puget, Jean-Francois [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1520 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)
	244.	Abstract Compositional Analysis of Iterated Relations [electronic resource] : A Structural Approach to Complex State Transition Systems / by Geurts, Frederic [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1426 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)
	245.	Algorithms - ESA 2003 [electronic resource] : 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings / by Di Battista, Giuseppe [editor.] Zwick, Uri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2832 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)
	246.	Object-Oriented Technology: ECOOP 2001 Workshop Reader [electronic resource] : ECOOP 2001 Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001. Proceedings / by Frohner, Akos [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2323 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)
	247.	Parallel Computing Technologies [electronic resource] : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2127 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)
	248.	Correct Hardware Design and Verification Methods [electronic resource] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / by Geist, Daniel [editor.] Tronci, Enrico [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2860 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)
	249.	Interactive Multimedia on Next Generation Networks [electronic resource] : First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Napoli, Italy, November 18-21, 2003, Proceedings / by Ventre, Giorgio [editor.] Canonico, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2899 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)
	250.	ZUM'97: The Z Formal Specification Notation [electronic resource] : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings / by Bowen, Jonathan P [editor.] Hinchey, Michael G [editor.] Till, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1212 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)
	251.	Coordination Models and Languages [electronic resource] : 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings / by Arbab, Farhad [editor.] Talcott, Carolyn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2315 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)
	252.	Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / by Basin, David [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2758 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)
	253.	Programming Languages and Systems [electronic resource] : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / by Hankin, Chris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1381 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)
	254.	Static Analysis [electronic resource] : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings / by Cortesi, Agostino [editor.] File, Gilberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1694 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)
	255.	SPIN Model Checking and Software Verification [electronic resource] : 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings / by Havelund, Klaus [editor.] Penix, John [editor.] Visser, Willem [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1885 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)
	256.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings / by Nagl, Manfred [editor.] Schürr, Andreas [editor.] Münch, Manfred [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1779 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)
	257.	Agent-Oriented Software Engineering III [electronic resource] : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions / by Giunchiglia, Fausto [editor.] Odell, James [editor.] Weiß, Gerhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2585 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)
	258.	ECOOP '98 - Object-Oriented Programming [electronic resource] : 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings / by Jul, Eric [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1445 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)
	259.	Integrated Formal Methods [electronic resource] : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. / by Butler, Michael [editor.] Petre, Luigia [editor.] Sere, Kaisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2335 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)
	260.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 584 results.