Results of search for 'ccl=Provider:Springer.,' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	16521.	Applications and Theory of Petri Nets 2001 [electronic resource] : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings / by Colom, Jose-Manuel [editor.] Koutny, Maciej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2075 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)
	16522.	Algorithms -- ESA 2004 [electronic resource] : 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004, Proceedings / by Albers, Susanne [editor.] Radzik, Tomasz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3221 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)
	16523.	Information Security and Privacy [electronic resource] : 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003, Proceedings / by Safavi-Naini, Rei [editor.] Seberry, Jennifer [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2727 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)
	16524.	Modular Compiler Verification [electronic resource] : A Refinement-Algebraic Approach Advocating Stepwise Abstraction / by Müller-Olm, Markus [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1283 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)
	16525.	Soft-Ware 2002: Computing in an Imperfect World [electronic resource] : First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings / by Bustard, David [editor.] Liu, Weiru [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2311 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)
	16526.	Compositionality: The Significant Difference [electronic resource] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures / by Roever, Willem-Paul de [editor.] Langmaack, Hans [editor.] Pnueli, Amir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1536 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)
	16527.	Parallel and Distributed Processing [electronic resource] : 10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings / by Rolim, Jose [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1388 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)
	16528.	Discrete Geometry for Computer Imagery [electronic resource] : 10th International Conference, DGCI 2002, Bordeaux, France, April 3-5, 2002. Proceedings / by Braquelaire, Achille [editor.] Lauchaud, Jacques-Olivier [editor.] Vialard, Anne [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2301 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)
	16529.	Combinatorial Pattern Matching [electronic resource] : 11th Annual Symposium. CPM 2000, Montreal, Canada, June 21-23, 2000, Proceedings / by Giancarlo, Raffaele [editor.] Sankoff, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1848 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)
	16530.	Computer Performance Evaluation Modelling Techniques and Tools [electronic resource] : 9th International Conference, St. Malo, France, June 3-6, 1997 Proceedings / by Marie, Raymond [editor.] Plateau, Brigitte [editor.] Calzarossa, Maria [editor.] Rubino, Gerardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1245 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)
	16531.	Logic Based Program Synthesis and Transformation [electronic resource] : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers / by Lau, Kung-Kiu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2042 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)
	16532.	Advanced Environments, Tools, and Applications for Cluster Computing [electronic resource] : NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers / by Grigoras, Dan [editor.] Nicolau, Alex [editor.] Toursel, Bernard [editor.] Folliot, Bertil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2326 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)
	16533.	Financial Cryptography [electronic resource] : Second International Conference, FC'98, Anguilla, British West Indies, February 23-25, 1998, Proceedings / by Hirschfeld, Rafael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1465 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)
	16534.	Information Security and Privacy [electronic resource] : 4th Australasian Conference, ACISP'99, Wollongong, NSW, Australia, April 7-9, 1999, Proceedings / by Pieprzyk, Josef [editor.] Safavi-Naini, Rei [editor.] Seberry, Jennifer [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1587 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)
	16535.	Implementation of Functional Languages [electronic resource] : 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers / by Pena, Ricardo [editor.] Arts, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2670 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)
	16536.	Implementation and Application of Automata [electronic resource] : 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers / by Watson, Bruce [editor.] Wood, Derick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2494 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)
	16537.	Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access [electronic resource] : 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003, Proceedings / by Sembok, Tengku Mohd. T [editor.] Zaman, Halimah Badioze [editor.] Chen, Hsinchun [editor.] Urs, Shalini [editor.] Myaeng, Sung Hyon [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2911 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)
	16538.	Infrastructure Security [electronic resource] : International Conference, InfraSec 2002 Bristol, UK, October 1-3, 2002 Proceedings / by Davida, George [editor.] Frankel, Yair [editor.] Rees, Owen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2437 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)
	16539.	Public Key Cryptography [electronic resource] : First International Workshop on Practice and Theory in Public Key Cryptography, PKC'98, Pacifico Yokohama, Japan, February 5-6, 1998, Proceedings / by Imai, Hideki [editor.] Zheng, Yuliang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1431 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)
	16540.	Software Quality - ECSQ 2002 [electronic resource] : Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings / by Kontio, Jyrki [editor.] Conradi, Reidar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2349 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

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 17575 results.