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

Results
	2161.	Algorithms in Bioinformatics [electronic resource] : 4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004, Proceedings / by Jonassen, Inge [editor.] Kim, Junhyong [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 3240 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)
	2162.	Communication and Architectural Support for Network-Based Parallel Computing [electronic resource] : First International Workshop, CANPC'97, San Antonio, Texas, USA, February 1-2, 1997 Proceedings / by Panda, Dhabaleswar K [editor.] Stunkel, Craig B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1199 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)
	2163.	Intelligent Tutoring Systems [electronic resource] : 5th International Conference, ITS 2000, Montreal, Canada, June 19-23, 2000 Proceedings / by Gauthier, Gilles [editor.] Frasson, Claude [editor.] VanLehn, Kurt [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1839 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)
	2164.	CONCUR 2001 - Concurrency Theory [electronic resource] : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings / by Larsen, Kim G [editor.] Nielsen, Mogens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2154 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)
	2165.	Artificial Evolution [electronic resource] : 4th European Conference, AE'99 Dunkerque, France, November 3-5, 1999 Selected Papers / by Fonlupt, Cyril [editor.] Hao, Jin-Kao [editor.] Lutton, Evelyne [editor.] Ronald, Edmund [editor.] Schoenauer, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1829 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)
	2166.	High Performance Computing [electronic resource] : International Symposium, ISHPC'97, Fukuoka, Japan, November 4-6, 1997, Proceedings / by Polychronopoulos, Constantine [editor.] Joe, Kazuki [editor.] Araki, Keijiro [editor.] Amamiya, Makoto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1336 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)
	2167.	FME 2002: Formal Methods - Getting IT Right [electronic resource] : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings / by Eriksson, Lars-Henrik [editor.] Lindsay, Peter A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2391 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)
	2168.	Abstract Compositional Analysis of Iterated Relations [electronic resource] : A Structural Approach to Complex State Transition Systems / by Geurts, Frederic [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1426 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)
	2169.	Graph Drawing [electronic resource] : 5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997. Proceedings / by DiBattista, Giuseppe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1353 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)
	2170.	Computing and Combinatorics [electronic resource] : 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 Proceedings / by Ibarra, Oscar H [editor.] Zhang, Louxin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2387 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)
	2171.	STACS 2003 [electronic resource] : 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings / by Alt, Helmut [editor.] Habib, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2607 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)
	2172.	Computational Biology [electronic resource] : First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000 Montpellier, France, May 3-5, 2000 Selected Papers / by Gascuel, Olivier [editor.] Sagot, Marie-France [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2066 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)
	2173.	Advances in Artificial Intelligence -- IBERAMIA 2004 [electronic resource] : 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings / by Lemaitre, Christian [editor.] Reyes, Carlos A [editor.] Gonzalez, Jesus A [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3315 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)
	2174.	Parallel Computing Technologies [electronic resource] : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 Proceedings / by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2127 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)
	2175.	Correct Hardware Design and Verification Methods [electronic resource] : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / by Geist, Daniel [editor.] Tronci, Enrico [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2860 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)
	2176.	Algorithms and Computation [electronic resource] : 11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000. Proceedings / by Lee, D.T [editor.] Teng, Shang-Hua [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1969 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)
	2177.	Approximation Algorithms for Combinatorial Optimization [electronic resource] : International Workshop APPROX'98, Aalborg, Denmark, July 18-19, 1998, Proceedings / by Jansen, Klaus [editor.] Rolim, Jose [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1444 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)
	2178.	Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings / by Bussler, Christoph [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3192 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)
	2179.	Coordination Models and Languages [electronic resource] : 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings / by Arbab, Farhad [editor.] Talcott, Carolyn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2315 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)
	2180.	Fast Software Encryption [electronic resource] : 4th International Workshop, FSE'97, Haifa, Israel, January 20-22, 1997, Proceedings / by Biham, Eli [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1267 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2608 results.