Results of search for 'ccl=su:{Computer Science.} and su-to:Computer science and se:Lecture notes in computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1621.	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)
	1622.	Algorithmic Foundations of Geographic Information Systems [electronic resource] / by Kreveld, Marc van [editor.] Nievergelt, Jürgen [editor.] Roos, Thomas [editor.] Widmayer, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1340 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)
	1623.	Cryptographic Hardware and Embedded Systems - CHES 2002 [electronic resource] : 4th International Workshop, Redwood Shores, CA, USA, August 13-15, 2002, Revised Papers / by Kaliski, Burton S. Jr [editor.] Koc, Cetin K [editor.] Paar, Christof [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2523 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)
	1624.	Intelligent Hypertext [electronic resource] : Advanced Techniques for the World Wide Web / by Nicholas, Charles [editor.] Mayfield, James [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1326 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)
	1625.	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)
	1626.	Mobile Agents and Security [electronic resource] / by Vigna, Giovanni [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1419 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)
	1627.	Symbolic and Numerical Scientific Computation [electronic resource] : Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers / by Winkler, Franz [editor.] Langer, Ulrich [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2630 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)
	1628.	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)
	1629.	Compiling Natural Semantics [electronic resource] / by Pettersson, Mikael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1549 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)
	1630.	Security Protocols [electronic resource] : 8th International Workshops Cambridge, UK, April 3-5, 2000 Revised Papers / by Christianson, Bruce [editor.] Crispo, Bruno [editor.] Malcolm, James A [editor.] Roe, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2133 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)
	1631.	Research and Advanced Technology for Digital Libraries [electronic resource] : Third European Conference, ECDL'99, Paris, France, September 22-24, 1999, Proceedings / by Abiteboul, Serge [editor.] Vercoustre, Anne-Marie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1696 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)
	1632.	SEMPER - Secure Electronic Marketplace for Europe [electronic resource] / by Lacoste, Gerard [editor.] Pfitzmann, Birgit [editor.] Steiner, Michael [editor.] Waidner, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1854 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)
	1633.	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)
	1634.	Lectures on Data Security [electronic resource] : Modern Cryptology in Theory and Practice / by Damgard, Ivan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1561 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)
	1635.	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)
	1636.	Formal Syntax and Semantics of Java [electronic resource] / by Alves-Foss, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1523 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)
	1637.	Research and Advanced Technology for Digital Libraries [electronic resource] : 5th European Conference, ECDL 2001, Darmstadt, Germany, September 4-9, 2001. Proceedings / by Constantopoulos, Panos [editor.] Solvberg, Ingeborg T [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2163 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)
	1638.	Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets / by Reisig, Wolfgang [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1491 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)
	1639.	Theory and Applications of Relational Structures as Knowledge Instruments [electronic resource] : COST Action 274, TARSKI, Revised Papers / by Swart, Harrie de [editor.] Orlowska, Ewa [editor.] Schmidt, Gunther [editor.] Roubens, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2929 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)
	1640.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers / by Altenkirch, Thorsten [editor.] Naraschewski, Wolfgang [editor.] Reus, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1657 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1705 results.