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

Results
	521.	Logic-Based Program Synthesis and Transformation [electronic resource] : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / by Bossi, Annalisa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1817 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)
	522.	Middleware 2000 [electronic resource] : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings / by Sventek, Joseph [editor.] Coulson, Geoffrey [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1795 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)
	523.	Genetic Programming [electronic resource] : Second European Workshop, EuroGP'99, Göteborg, Sweden, May 26-27, 1999, Proceedings / by Poli, Riccardo [editor.] Nordin, Peter [editor.] Langdon, William B [editor.] Fogarty, Terence C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1598 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)
	524.	Recent Trends in Algebraic Development Techniques [electronic resource] : 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers / by Fiadeiro, Jose L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1589 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)
	525.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / by Graf, Susanne [editor.] Schwartzbach, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1785 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)
	526.	SOFSEM '97: Theory and Practice of Informatics [electronic resource] : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings / by Plasil, Frantisek [editor.] Jeffery, Keith G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1338 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)
	527.	Advanced Information Systems Engineering [electronic resource] : 12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings / by Wangler, Benkt [editor.] Bergman, Lars [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1789 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)
	528.	ZB 2003: Formal Specification and Development in Z and B [electronic resource] : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings / by Bert, Didier [editor.] Bowen, Jonathan P [editor.] King, Steve [editor.] Waldén, Marina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2651 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)
	529.	Foundations of Computer Science [electronic resource] : Potential-Theory-Cognition / by Freksa, Christian [editor.] Jantzen, Matthias [editor.] Valk, Rüdiger [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1337 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)
	530.	Theorem Proving in Higher Order Logics [electronic resource] : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings / by Carreno, Victor A [editor.] Munoz, Cesar A [editor.] Tahar, Sofiene [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2410 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)
	531.	Dependable Computing [electronic resource] : First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings / by Lemos, Rogério le [editor.] Silva Weber, Taisy [editor.] Camargo Jr., Joao Batista [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2847 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)
	532.	Languages, Compilers, and Tools for Embedded Systems [electronic resource] : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings / by Davidson, Jack [editor.] Min, Sang Lyul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1985 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)
	533.	Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets / by Ehrig, Hartmut [editor.] Reisig, Wolfgang [editor.] Rozenberg, Grzegorz [editor.] Weber, Herbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2472 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)
	534.	Automata, Languages and Programming [electronic resource] : 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings / by Baeten, Jos C.M [editor.] Lenstra, Jan Karel [editor.] Parrow, Joachim [editor.] Woeginger, Gerhard J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2719 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)
	535.	Large-Scale Scientific Computing [electronic resource] : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers / by Margenov, Svetozar D [editor.] Wasniewski, Jerzy [editor.] Yalamov, Plamen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2179 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)
	536.	Programming Languages and Systems [electronic resource] : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings / by Ohori, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2895 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)
	537.	B'98: Recent Advances in the Development and Use of the B Method [electronic resource] : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings / by Didier, Bert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1393 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)
	538.	Coordination Languages and Models [electronic resource] : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings / by Porto, Antonio [editor.] Roman, Gruia-Catalin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1906 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)
	539.	Information Processing in Sensor Networks [electronic resource] : Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings / by Zhao, Feng [editor.] Guibas, Leonidas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2634 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)
	540.	Advances in Informatics [electronic resource] : 8th Panhellenic Conference on Informatics, PCI 2001. Nicosia, Cyprus, November 8-10, 2001, Revised Selected Papers / by Manolopoulos, Yannis [editor.] Evripidou, Skevos [editor.] Kakas, Antonis C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2563 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.