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

Results
	5641.	Compiler Construction [electronic resource] : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Duesterwald, Evelyn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2985 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)
	5642.	Compiler Construction [electronic resource] : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings / by Wilhelm, Reinhard [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2027 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)
	5643.	Mobile Data Management [electronic resource] : Second International Conference, MDM 2001 Hong Kong, China, January 8-10, 2001 Proceedings / by Tan, Kian-Lee [editor.] Franklin, Michael J [editor.] Lui, John C.-S [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1987 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)
	5644.	Automated Deduction - CADE-19 [electronic resource] : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings / by Baader, Franz [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2741 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)
	5645.	Learning Language in Logic [electronic resource] / by Cussens, James [editor.] Dzeroski, Saso [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1925 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)
	5646.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 29th International Workshop, WG 2003, Elspeet, The Netherlands, June 19-21, 2003, Revised Papers / by Bodlaender, Hans L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2880 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)
	5647.	Advances in Artificial Intelligence [electronic resource] : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings / by Bittencourt, Guilherme [editor.] Ramalho, Geber L [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2507 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)
	5648.	Evolutionary Robotics. From Intelligent Robotics to Artificial Life [electronic resource] : International Symposium, ER 2001, Tokyo, Japan, October 18-19, 2001. Proceedings / by Gomi, Takashi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2217 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)
	5649.	Integer Programming and Combinatorial Optimization [electronic resource] : 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002. Proceedings / by Cook, William J [editor.] Schulz, Andreas S [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2337 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)
	5650.	Advances in Neural Networks - ISNN 2004 [electronic resource] : International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part I / by Yin, Fuliang [editor.] Wang, Jun [editor.] Guo, Chengan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3173 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)
	5651.	Objects and Databases [electronic resource] : International Symposium, Sophia Antipolis, France, June 13, 2000. Revised Papers / by Dittrich, Klaus R [editor.] Guerrini, Giovanna [editor.] Merlo, Isabella [editor.] Oliva, Marta [editor.] Rodriguez, M. Elena [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1944 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)
	5652.	SOFSEM '98: Theory and Practice of Informatics [electronic resource] : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 Proceedings / by Rovan, Branislav [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1521 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)
	5653.	Algorithms - ESA '97 [electronic resource] : 5th Annual European Symposium, Graz, Austria, September 15-17, 1997. Proceedings / by Burkard, Rainer [editor.] Woeginger, Gerhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1284 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)
	5654.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers / by Cortesi, Agostino [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2294 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)
	5655.	String Processing and Information Retrieval [electronic resource] : 10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings / by Nascimento, Mario A [editor.] Moura, Edleno S. de [editor.] Oliveira, Arlindo L [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2857 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)
	5656.	Logic Programming and Knowledge Representation [electronic resource] : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers / by Moniz Pereira, Luis [editor.] Przymusinski, Teodor C [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1471 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)
	5657.	OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings / by Eigenmann, Rudolf [editor.] Voss, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2104 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)
	5658.	Typed Lambda Calculi and Applications [electronic resource] : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings / by Groote, Philippe de [editor.] Hindley, J. Roger [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1210 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)
	5659.	Conceptual Modeling for E-Business and the Web [electronic resource] : ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and the World Wide Web and Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000 Proceedings / by Liddle, Stephen W [editor.] Mayr, Heinrich C [editor.] Thalheim, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1921 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)
	5660.	Approximation Algorithms for Combinatorial Optimization [electronic resource] : 5th International Workshop, APPROX 2002, Rome, Italy, September 17-21, 2002. Proceedings / by Jansen, Klaus [editor.] Leonardi, Stefano [editor.] Vazirani, Vijay [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2462 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 5827 results.