Results of search for 'ccl=Provider:Springer, and su-ut:Computer science' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	6781.	Algorithms in Bioinformatics [electronic resource] : First International Workshop, WABI 2001, Aarhus, Denmark, August 28-31, 2001, Proceedings / by Gascuel, Olivier [editor.] Moret, Bernard M.E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2149 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)
	6782.	Network-Based Parallel Computing - Communication, Architecture, and Applications [electronic resource] : 4th International Workshop, CANPC 2000 Toulouse, France, January 8, 2000 Proceedings / by Falsafi, Babak [editor.] Lauria, Mario [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1797 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)
	6783.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / by Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1384 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)
	6784.	Database and Expert Systems Applications [electronic resource] : 9th International Conference, DEXA'98, Vienna, Austria, August 24-28, 1998, Proceedings / by Quirchmayr, Gerald [editor.] Schweighofer, Erich [editor.] Bench-Capon, Trevor J.M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1460 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)
	6785.	Fundamental Approaches to Software Engineering [electronic resource] : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings / by Hussmann, Heinrich [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2029 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)
	6786.	Lectures on Petri Nets II: Applications [electronic resource] : Advances in Petri Nets / by Reisig, Wolfgang [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1492 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)
	6787.	Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream [electronic resource] : Reconfigurable Computing Is Going Mainstream / by Glesner, Manfred [editor.] Zipf, Peter [editor.] Renovell, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2438 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)
	6788.	Computing and Combinatorics [electronic resource] : 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999, Proceedings / by Asano, Takao [editor.] Imai, Hiroshi [editor.] Lee, D.T [editor.] Nakano, Shin-ichi [editor.] Tokuyama, Takeshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1627 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)
	6789.	Combinatorial Pattern Matching [electronic resource] : 8th Annual Symposium, CPM 97, Aarhus, Denmark, June/July 1997. Proceedings / by Apostolico, Alberto [editor.] Hein, Jotun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1264 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)
	6790.	Computational Linguistics and Intelligent Text Processing [electronic resource] : Third International Conference, CICLing 2002, Mexico City, Mexico, February 17-23, 2002 Proceedings / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2276 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)
	6791.	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)
	6792.	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)
	6793.	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)
	6794.	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)
	6795.	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)
	6796.	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)
	6797.	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)
	6798.	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)
	6799.	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)
	6800.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 7935 results.