Results of search for 'ccl=su:{ Computer science } and su-to:Computer Science and Engineering and itype:SPRINGER' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	3721.	Formal Methods at the Crossroads. From Panacea to Foundational Support [electronic resource] : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers / by Aichernig, Bernhard K [editor.] Maibaum, Tom [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2757 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)
	3722.	Self-Stabilizing Systems [electronic resource] : 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings / by Datta, Ajoy K [editor.] Herman, Ted [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2194 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)
	3723.	Approximation and Online Algorithms [electronic resource] : First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003, Revised Papers / by Jansen, Klaus [editor.] Solis-Oba, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2909 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)
	3724.	High Performance Computing for Computational Science - VECPAR 2002 [electronic resource] : 5th International Conference, Porto, Portugal, June 26-28, 2002. Selected Papers and Invited Talks / by Palma, José M.L.M [editor.] Dongarra, Jack [editor.] Hernández, Vicente [editor.] Sousa, A. Augusto [editor.] Waldén, Marina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2565 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)
	3725.	Parallel and Distributed Processing and Applications [electronic resource] : International Symposium, ISPA 2003, Aizu, Japan, July 2-4, 2003, Proceedings / by Guo, Minyi [editor.] Yang, Laurence Tianruo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2745 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)
	3726.	State of the Art in Applied Cryptography [electronic resource] : Course on Computer Security and Industrial Cryptography, Leuven, Belgium, June 3-6, 1997 Revised Lectures / by Preneel, Bart [editor.] Rijmen, Vincent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1528 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)
	3727.	Component Deployment [electronic resource] : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004, Proceedings / by Emmerich, Wolfgang [editor.] Wolf, Alexander L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3083 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)
	3728.	Applied Parallel Computing: Advanced Scientific Computing [electronic resource] : 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002. Proceedings / by Fagerholm, Juha [editor.] Haataja, Juha [editor.] Järvinen, Jari [editor.] Lyly, Mikko [editor.] Raback, Peter [editor.] Savolainen, Ville [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2367 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)
	3729.	Euro-Par 2001 Parallel Processing [electronic resource] : 7th International Euro-Par Conference Manchester, UK August 28-31, 2001 Proceedings / by Sakellariou, Rizos [editor.] Keane, John [editor.] Gurd, John [editor.] Freeman, Len [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2150 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)
	3730.	DNA Computing [electronic resource] : 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers / by Hagiya, Masami [editor.] Ohuchi, Azuma [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2568 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)
	3731.	Optimal Interprocedural Program Optimization [electronic resource] : A New Framework and Its Application / by Knoop, Jens [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1428 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)
	3732.	Next Generation Information Technologies and Systems [electronic resource] : 4th International Workshop, NGITS'99 Zikhron-Yaakov, Israel, July 5-7, 1999 Proceedings / by Pinter, Ron Y [editor.] Tsur, Shalom [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1649 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)
	3733.	The Essence of Computation [electronic resource] : Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones / by Mogensen, Torben [editor.] Schmidt, David [editor.] Sudborough, I. Hal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2566 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)
	3734.	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)
	3735.	Communication in Multiagent Systems [electronic resource] : Agent Communication Languages and Conversation Policies / by Huget, Marc-Phillipe [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2650 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)
	3736.	Agent-Based Hybrid Intelligent Systems [electronic resource] : An Agent-Based Framework for Complex Problem Solving / by Zhang, Zili [editor.] Zhang, Chengqi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2938 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)
	3737.	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)
	3738.	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)
	3739.	Anticipatory Behavior in Adaptive Learning Systems [electronic resource] : Foundations, Theories, and Systems / by Butz, Martin V [editor.] Sigaud, Olivier [editor.] Gérard, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2684 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)
	3740.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 3774 results.