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

Results
	5081.	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)
	5082.	Logics in Artificial Intelligence [electronic resource] : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings / by Flesca, Sergio [editor.] Ianni, Giovambattista [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2424 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)
	5083.	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)
	5084.	Information and Communications Security [electronic resource] : First International Conference, ICIS'97, Beijing, China, November 11-14, 1997, Proceedings / by Han, Yongfei [editor.] Okamoto, Tatsuaki [editor.] Quing, Sihan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1334 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)
	5085.	Inductive Synthesis of Functional Programs [electronic resource] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / by Schmid, Ute [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2654 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)
	5086.	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)
	5087.	Advances in Web-Age Information Management [electronic resource] : Second International Conference, WAIM 2001, Xi'an, China, July 9-11, 2001. Proceedings / by Wang, X. Sean [editor.] Yu, Ge [editor.] Lu, Hongjun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2118 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)
	5088.	Machine Learning and Data Mining in Pattern Recognition [electronic resource] : Second International Workshop, MLDM 2001, Leipzig, Germany, July 25-27, 2001. Proceedings / by Perner, Petra [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2123 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)
	5089.	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)
	5090.	Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / by Basin, David [editor.] Wolff, Burkhart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2758 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)
	5091.	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)
	5092.	Programming Languages and Systems [electronic resource] : 7th European Symposium on Programming, ESOP'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 Hankin, Chris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1381 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)
	5093.	Static Analysis [electronic resource] : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings / by Cortesi, Agostino [editor.] File, Gilberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1694 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)
	5094.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : International Workshop, AGTIVE'99 Kerkrade, The Netherlands, September 1-3, 1999 Proceedings / by Nagl, Manfred [editor.] Schürr, Andreas [editor.] Münch, Manfred [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1779 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)
	5095.	Languages and Compilers for Parallel Computing [electronic resource] : 11th International Workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998, Proceedings / by Chatterjee, Siddharta [editor.] Prins, Jan F [editor.] Carter, Larry [editor.] Ferrante, Jeanne [editor.] Li, Zhiyuan L [editor.] Sehr, David [editor.] Yew, Pen-Chung [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1656 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)
	5096.	Advances in Case-Based Reasoning [electronic resource] : 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002 Proceedings / by Craw, Susan [editor.] Preece, Alun [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2416 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)
	5097.	Database Theory - ICDT 2001 [electronic resource] : 8th International Conference London, UK, January 4-6, 2001 Proceedings / by Van den Bussche, Jan [editor.] Vianu, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1973 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)
	5098.	Agent-Oriented Software Engineering III [electronic resource] : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions / by Giunchiglia, Fausto [editor.] Odell, James [editor.] Weiß, Gerhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2585 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)
	5099.	Advances in Databases and Information Systems [electronic resource] : Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings / by Eder, Johann [editor.] Rozman, Ivan [editor.] Welzer, Tatjana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1691 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)
	5100.	LATIN'98: Theoretical Informatics [electronic resource] : Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998, Proceedings / by Lucchesi, Claudio L [editor.] Moura, Arnaldo V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1380 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.