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

Results
	5761.	Nonmonotonic Logics [electronic resource] : Basic Concepts, Results, and Techniques / by Schlechta, Karl [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1187 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)
	5762.	Advances in Artificial Intelligence - IBERAMIA 2002 [electronic resource] : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings / by Garijo, Francisco J [editor.] Riquelme, José C [editor.] Toro Bonilla, Miguel [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2527 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)
	5763.	FME 2003: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings / by Araki, Keijiro [editor.] Gnesi, Stefania [editor.] Mandrioli, Dion [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2805 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)
	5764.	Grading Knowledge [electronic resource] : Extracting Degree Information from Texts / by Staab, Steffen [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1744 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)
	5765.	Anticipatory Behavior in Adaptive Learning Systems [electronic resource] : Foundations, Theories, and Systems / by Butz, Martin V [editor.] Sigaud, Olivier [editor.] Gérard, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2684 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)
	5766.	Principles and Practice of Semantic Web Reasoning [electronic resource] : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings / by Bry, Francois [editor.] Henze, Nicola [editor.] Maluszynski, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2901 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)
	5767.	Research and Advanced Technology for Digital Libraries [electronic resource] : Third European Conference, ECDL'99, Paris, France, September 22-24, 1999, Proceedings / by Abiteboul, Serge [editor.] Vercoustre, Anne-Marie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1696 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)
	5768.	Computational Science and Its Applications - ICCSA 2003 [electronic resource] : International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II / by Kumar, Vipin [editor.] Gavrilova, Marina L [editor.] Tan, C.J. Kenneth [editor.] L'Ecuyer, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2668 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)
	5769.	Concurrency and Hardware Design [electronic resource] : Advances in Petri Nets / by Cortadella, Jordi [editor.] Yakovlev, Alex [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2549 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)
	5770.	AI*IA 2003: Advances in Artificial Intelligence [electronic resource] : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings / by Cappelli, Amedeo [editor.] Turini, Franco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2829 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)
	5771.	Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets / by Reisig, Wolfgang [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1491 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)
	5772.	Theory and Applications of Relational Structures as Knowledge Instruments [electronic resource] : COST Action 274, TARSKI, Revised Papers / by Swart, Harrie de [editor.] Orlowska, Ewa [editor.] Schmidt, Gunther [editor.] Roubens, Marc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2929 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)
	5773.	Types for Proofs and Programs [electronic resource] : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers / by Altenkirch, Thorsten [editor.] Naraschewski, Wolfgang [editor.] Reus, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1657 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)
	5774.	On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE [electronic resource] : Confederated International Conferences CoopIS, DOA, and ODBASE 2002 Proceedings / by Tari, Zahir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2519 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)
	5775.	Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 7th European PVM/MPI Users' Group Meeting Balatonfüred, Hungary, September 10-13, 2000 Proceedings / by Dongarra, Jack [editor.] Kacsuk, Peter [editor.] Podhorszki, Norbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1908 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)
	5776.	Numerical Analysis and Its Applications [electronic resource] : First International Workshop, WNAA'96, Rousse, Bulgaria, June 24-26, 1996 Proceedings / by Vulkov, Lubin [editor.] Wasniewski, Jerzy [editor.] Yalamov, Plamen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1196 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)
	5777.	Foundations of Information and Knowledge Systems [electronic resource] : First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings / by Schewe, Klaus-Dieter [editor.] Thalheim, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1762 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)
	5778.	Theoretical Aspects of Computer Software [electronic resource] : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings / by Abadi, Martin [editor.] Ito, Takayasu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1281 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)
	5779.	Combinatorial Pattern Matching [electronic resource] : 9th Annual Symposium, CPM'98, Piscataway, New Jersey, USA, July 20-22, 1998, Proceedings / by Farach-Colton, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1448 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)
	5780.	Artificial Evolution [electronic resource] : Third European Conference, AE '97, Nimes, France, October 22-24, 1997, Selected Papers / by Hao, Jin-Kao [editor.] Lutton, Evelyne [editor.] Ronald, Edmund [editor.] Schoenauer, Marc [editor.] Snyers, Dominique [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1363 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.