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

Results
	481.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. Proceedings / by Cotronis, Yiannis [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2131 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)
	482.	Next Generation Information Technologies and Systems [electronic resource] : 5th International Workshop, NGITS 2002, Caesarea, Israel, June 24-25, 2002. Proceedings / by Halevy, Alon [editor.] Gal, Avigdor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2382 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)
	483.	Medical Image Computing and Computer-Assisted Intervention - MICCAI 2003 [electronic resource] : 6th International Conference, Montréal, Canada, November 15-18, 2003, Proceedings, Part I / by Ellis, Randy E [editor.] Peters, Terry M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2878 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)
	484.	Algorithms and Computation [electronic resource] : 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001. Proceedings / by Eades, Peter [editor.] Takaoka, Tadao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2223 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)
	485.	Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / by Nipkow, Tobias [author.] Paulson, Lawrence C [author.] Wenzel, Markus [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2283 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)
	486.	Fundamentals of Computation Theory [electronic resource] : 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings / by Lingas, Andrzej [editor.] Nilsson, Bengt J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2751 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)
	487.	Algorithms and Computation [electronic resource] : 13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings / by Bose, Prosenjit K [editor.] Morin, Pat [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2518 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)
	488.	Automata Implementation [electronic resource] : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers / by Raymond, Darrell [editor.] Wood, Derick [editor.] Yu, Sheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1260 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)
	489.	FM'99 - Formal Methods [electronic resource] : World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I / by Wing, Jeannette M [editor.] Woodcook, Jim [editor.] Davies, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1708 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)
	490.	Embedded Software [electronic resource] : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings / by Henzinger, Thomas A [editor.] Kirsch, Christoph M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2211 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)
	491.	Vector and Parallel Processing - VECPAR'98 [electronic resource] : Third International Conference Porto, Portugal, June 21-23, 1998 Selected Papers and Invited Talks / by Palma, Jose M.L.M [editor.] Dongarra, Jack [editor.] Hernandez, Vicente [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1573 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)
	492.	Automata, Logics, and Infinite Games [electronic resource] : A Guide to Current Research / by Grädel, Erich [editor.] Thomas, Wolfgang [editor.] Wilke, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2500 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)
	493.	Algorithm Theory - SWAT 2000 [electronic resource] : 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings / by Halldorsson, Magnus M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1851 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)
	494.	Artificial Evolution [electronic resource] : 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers / by Liardet, Pierre [editor.] Collet, Pierre [editor.] Fonlupt, Cyril [editor.] Lutton, Evelyne [editor.] Schoenauer, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2936 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)
	495.	Algebraic Methodology and Software Technology [electronic resource] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings / by Rus, Teodor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1816 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)
	496.	STACS 97 [electronic resource] : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings / by Reischuk, Rüdiger [editor.] Morvan, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1200 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)
	497.	Practice and Theory of Automated Timetabling IV [electronic resource] : 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers / by Burke, Edmund [editor.] Causmaecker, Patrick De [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2740 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)
	498.	Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings / by Ramesh, S [editor.] Sivakumar, G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1346 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)
	499.	Stochastic Algorithms: Foundations and Applications [electronic resource] : International Symposium, SAGA 2001 Berlin, Germany, December 13-14, 2001 Proceedings / by Steinhöfel, Kathleen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2264 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)
	500.	High Performance Computing [electronic resource] : 4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002. Proceedings / by Zima, Hans P [editor.] Joe, Kazuki [editor.] Sato, Mitsuhisa [editor.] Seo, Yoshiki [editor.] Shimasaki, Masaaki [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2327 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

Item types

Series

Topics

Your search returned 668 results.