Results of search for 'ccl=su:{Theory of Computation.}' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	2301.	Mathematical Foundations of Computer Science 2001 [electronic resource] : 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 Proceedings / by Sgall, Jiri [editor.] Pultr, Ales [editor.] Kolman, Petr [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2136 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)
	2302.	Automata Implementation [electronic resource] : Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers / by Wood, Derick [editor.] Yu, Sheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1436 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)
	2303.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction [electronic resource] : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures / by Backhouse, Roland [editor.] Crole, Roy [editor.] Gibbons, Jeremy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2297 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)
	2304.	Research and Advanced Technology for Digital Libraries [electronic resource] : 6th European Conference, ECDL 2002, Rome, Italy, September 16-18, 2002, Proceedings / by Thanos, Costantino [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2458 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)
	2305.	LATIN 2000: Theoretical Informatics [electronic resource] : 4th Latin American Symposium, Punta del Este, Uruguay, April 10-14, 2000 Proceedings / by Gonnet, Gaston H [editor.] Panario, Daniel [editor.] Viola, Alfredo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1776 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)
	2306.	STACS 2001 [electronic resource] : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001. Proceedings / by Ferreira, Afonso [editor.] Reichel, Horst [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2010 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)
	2307.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 24th International Workshop, WG'98, Smolenice Castle, Slovak Republic, June 18-20, Proceedings / by Hromkovič, Juraj [editor.] Sykora, Ondrej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1517 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)
	2308.	Discrete Mathematics and Theoretical Computer Science [electronic resource] : 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings / by Calude, Cristian S [editor.] Dinneen, Michael J [editor.] Vajnovszki, Vincent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2731 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)
	2309.	Algorithms - ESA'99 [electronic resource] : 7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999 Proceedings / by Nesetril, Jaroslav [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1643 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)
	2310.	Mathematics of Program Construction [electronic resource] : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings / by Boiten, Eerke A [editor.] Möller, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2386 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)
	2311.	Unconventional Models of Computation [electronic resource] : Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings / by Calude, Cristian [editor.] Dinneen, Michael J [editor.] Peper, F [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2509 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)
	2312.	Distributed Computing [electronic resource] : 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001. Proceedings / by Welch, Jennifer L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2180 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)
	2313.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 23rd International Workshop, WG'97, Berlin, Germany, June 18-20, 1997. Proceedings / by Möhring, Rolf H [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1335 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)
	2314.	Parallel Computing Technologies [electronic resource] : 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999 Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1662 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)
	2315.	DNA Computing [electronic resource] : 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers / by Jonoska, Natasa [editor.] Seeman, Nadriaan C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2340 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)
	2316.	Interactive Systems. Design, Specification, and Verification [electronic resource] : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers / by Palanque, Philippe [editor.] Paterno, Fabio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1946 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)
	2317.	Verification: Theory and Practice [electronic resource] : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday / by Dershowitz, Nachum [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2772 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)
	2318.	Virtual Storytelling. Using Virtual Reality Technologies for Storytelling [electronic resource] : International Conference ICVS 2001 Avignon, France, September 27-28, 2001 Proceedings / by Balet, Olivier [editor.] Subsol, Gerard [editor.] Torguet, Patrice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2197 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)
	2319.	Euro-Par 2003 Parallel Processing [electronic resource] : 9th International Euro-Par Conference, Klagenfurt, Austria, August 26–29, 2003 Proceedings / by Kosch, Harald [editor.] Böszörményi, László [editor.] Hellwagner, Hermann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2790 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)
	2320.	Metainformatics [electronic resource] : International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers / by Nürnberg, Peter J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2641 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

Topics

Your search returned 2608 results.