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

Results
	5701.	Multimedia Databases and Image Communication [electronic resource] : Second International Workshop, MDIC 2001, Amalfi, Italy, September 17-18, 2001. Proceedings / by Tucci, Maurizio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2184 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)
	5702.	Algorithms and Computation [electronic resource] : 8th International Symposium, ISAAC'97, Singapore, December 17-19, 1997, Proceedings. / by Leong, Hon Wai [editor.] Imai, Hiroshi [editor.] Jain, Sanjay [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1350 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)
	5703.	Logic Based Program Synthesis and Transformation [electronic resource] : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers / by Leuschel, M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2664 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)
	5704.	Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings / by Mora, Teo [editor.] Mattson, Harold F [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1255 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)
	5705.	Learning Theory and Kernel Machines [electronic resource] : 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings / by Schölkopf, Bernhard [editor.] Warmuth, Manfred K [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2777 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)
	5706.	Incremental Speech Translation [electronic resource] / by Amtrup, Jan W [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1735 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)
	5707.	Advances in Databases and Information Systems [electronic resource] : 6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings / by Manolopoulos, Yannis [editor.] Navrat, Pavol [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2435 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)
	5708.	Grammatical Inference [electronic resource] : 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings / by Honavar, Vasant [editor.] Slutzki, Giora [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1433 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)
	5709.	Solving Irregularly Structured Problems in Parallel [electronic resource] : 5th International Symosium, IRREGULAR'98, Berkeley, California, USA, August 9-11, 1998. Proceedings / by Ferreira, Afonso [editor.] Rolim, Jose [editor.] Simon, Horst [editor.] Teng, Shang-Hua [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1457 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)
	5710.	Advances in Web-Age Information Management [electronic resource] : Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002. Proceedings / by Meng, Xiaofeng [editor.] Su, Jianwen [editor.] Wang, Yujun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2419 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)
	5711.	Artificial Intelligence and Symbolic Computation [electronic resource] : International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers / by Campbell, John A [editor.] Roanes-Lozano, Eugenio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1930 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)
	5712.	Typed Lambda Calculi and Applications [electronic resource] : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings / by Hofmann, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2701 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)
	5713.	Distributed Computing [electronic resource] : 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings / by Fich, Faith Ellen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2848 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)
	5714.	Conceptual Modeling - ER 2002 [electronic resource] : 21st International Conference on Conceptual Modeling Tampere, Finland, October 7-11, 2002 Proceedings / by Spaccapietra, Stefano [editor.] March, Salvatore [editor.] Kambayashi, Yahiko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2503 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)
	5715.	Formal and Natural Computing [electronic resource] : Essays Dedicated to Grzegorz Rozenberg / by Brauer, Wilfried [editor.] Ehrig, Hartmut [editor.] Karhumäki, Juhani [editor.] Salomaa, Arto K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2300 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)
	5716.	Programming Languages and Systems [electronic resource] : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings / by Ohori, Atsushi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2895 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)
	5717.	Analysis and Visualization Tools for Constraint Programming [electronic resource] : Constraint Debugging / by Deransart, Pierre [editor.] Hermenegildo, M.V [editor.] Maluszynski, J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1870 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)
	5718.	Rewriting Techniques and Applications [electronic resource] : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / by Comon, Hubert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1232 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)
	5719.	Computers and Games [electronic resource] : Second International Conference, CG 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers / by Marsland, Tony [editor.] Frank, Ian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2063 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)
	5720.	Advances in Cryptology - CRYPTO '99 [electronic resource] : 19th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 1999 Proceedings / by Wiener, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1666 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.