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

Results
	15881.	Articulated Motion and Deformable Objects [electronic resource] : First International Workshop, AMDO 2000 Palma de Mallorca, Spain, September 7-9, 2000 Proceedings / by Nagel, Hans-Hellmut [editor.] Perales Lopez, Francisco J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1899 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)
	15882.	Theoretical and Practical Aspects of SPIN Model Checking [electronic resource] : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings / by Dams, Dennis [editor.] Gerth, Robert [editor.] Leue, Stefan [editor.] Massinek, Mieke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1680 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)
	15883.	Semantics, Applications, and Implementation of Program Generation [electronic resource] : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001. Proceedings / by Taha, Walid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2196 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)
	15884.	Parallel Problem Solving from Nature - PPSN V [electronic resource] : 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings / by Eiben, Agoston E [editor.] Bäck, Thomas [editor.] Schoenauer, Marc [editor.] Schwefel, Hans-Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1498 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)
	15885.	Advances in Intelligent Data Analysis V [electronic resource] : 5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003, Proceedings / by Berthold, Michael R [editor.] Lenz, Hans-Joachim [editor.] Bradley, Elizabeth [editor.] Kruse, Rudolf [editor.] Borgelt, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2810 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)
	15886.	Advances in Cryptology - ASIACRYPT'99 [electronic resource] : International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November 14-18, 1999 Proceedings / by Lam, Kwok Yan [editor.] Okamoto, Eiji [editor.] Xing, Chaoping [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1716 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)
	15887.	Software Engineering - ESEC-FSE '97 [electronic resource] : 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zürich, Switzerland, September 22-25, 1997. Proceedings / by Jazayeri, Mehdi [editor.] Schauer, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1301 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)
	15888.	Formal Methods for Software Architectures [electronic resource] : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures / by Bernardo, Marco [editor.] Inverardi, Paola [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2804 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)
	15889.	Languages and Compilers for Parallel Computing [electronic resource] : 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001, Revised Papers / by Dietz, Henry Gordon [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2624 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)
	15890.	Computational Logic and Proof Theory [electronic resource] : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings / by Gottlob, Georg [editor.] Leitsch, Alexander [editor.] Mundici, Daniele [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1289 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)
	15891.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers / by Callaghan, Paul [editor.] Luo, Zhaohui [editor.] McKinna, James [editor.] Pollack, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2277 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)
	15892.	Advanced Lectures on Networking [electronic resource] : NETWORKING 2002 / by Gregori, Enrico [editor.] Anastasi, Giuseppe [editor.] Basagni, Stefano [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2497 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)
	15893.	Advanced Functional Programming [electronic resource] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures / by Jeuring, Johan [editor.] Peyton Jones, Simon [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2638 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)
	15894.	Hybrid Systems: Computation and Control [electronic resource] : 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings / by Di Benedetto, Maria D [editor.] Sangiovanni-Vincentelli, Alberto L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2034 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)
	15895.	Advances in Databases [electronic resource] : 15th British National Conference on Databases, BNCOD 15 London, United Kingdom, July 7 - 9, 1997 / by Small, Carol [editor.] Douglas, Paul [editor.] Johnson, Roger [editor.] King, Peter [editor.] Martin, Nigel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1271 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)
	15896.	Compiler Optimizations for Scalable Parallel Systems [electronic resource] : Languages, Compilation Techniques, and Run Time Systems / by Pande, Santosh [editor.] Agrawal, Dharma P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1808 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)
	15897.	Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services [electronic resource] : 5th International Conference on Intelligence in Services and Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings / by Trigila, Sebastiano [editor.] Mullery, Al [editor.] Campolargo, Mario [editor.] Vanderstraeten, Hans [editor.] Mampaey, Marcel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1430 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)
	15898.	Advances in Computing Science - ASIAN 2000 [electronic resource] : 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings / by He, Jifeng [editor.] Sato, Masahiko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1961 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)
	15899.	Advanced Information Systems Engineering [electronic resource] : 14th International Conference, CAiSE 2002 Toronto, Canada, May 27-31, 2002 Proceedings / by Banks Pidduck, Anne [editor.] Mylopoulos, John [editor.] Woo, Carson C [editor.] Ozsu, M.T [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2348 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)
	15900.	Formal Methods in Computer-Aided Design [electronic resource] : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings / by Gopalakrishnan, Ganesh [editor.] Windley, Phillip [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1522 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 17571 results.