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

Results
	5361.	Algebraic Methodology and Software Technology [electronic resource] : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / by Rattray, Charles [editor.] Maharaj, Savitri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3116 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)
	5362.	Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 18th Conference, Chennai, India, December 17-19, 1998, Proceedings / by Arvind, V [editor.] Ramanujam, R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1530 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)
	5363.	Principles and Practice of Constraint Programming - CP 2003 [electronic resource] : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings / by Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2833 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)
	5364.	Computer and Information Sciences -- ISCIS 2003 [electronic resource] : 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings / by Yazici, Adnan [editor.] Sener, Cevat [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2869 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)
	5365.	Algorithms and Data Structures [electronic resource] : 6th International Workshop, WADS'99 Vancouver, Canada, August 11-14, 1999 Proceedings / by Dehne, Frank [editor.] Gupta, Arvind [editor.] Sack, Jörg-Rüdiger [editor.] Tamassia, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1663 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)
	5366.	Advances in Intelligent Data Analysis [electronic resource] : 4th International Conference, IDA 2001, Cascais, Portugal, September 13-15, 2001. Proceedings / by Hoffmann, Frank [editor.] Hand, David J [editor.] Adams, Niall M [editor.] Fisher, Douglas [editor.] Guimaraes, Gabriela [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2189 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)
	5367.	Vector and Parallel Processing - VECPAR'96 [electronic resource] : Second International Conference on Vector and Parallel Processing - Systems and Applications, Porto, Portugal, September 25 - 27, 1996, Selected Papers / by Palma, Jose M.L.M [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1215 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)
	5368.	Perspectives of Systems Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers / by Broy, Manfred [editor.] Zamulin, Alexandre V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2890 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)
	5369.	Application and Theory of Petri Nets 2000 [electronic resource] : 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings / by Nielsen, Mogens [editor.] Simpson, Dan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1825 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)
	5370.	Automata, Languages and Programming [electronic resource] : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings / by Montanari, Ugo [editor.] Rolim, Jose D.P [editor.] Welzl, Emo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1853 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)
	5371.	Conceptual Modeling [electronic resource] : Current Issues and Future Directions / by Chen, Peter P [editor.] Akoka, Jacky [editor.] Kangassalu, Hannu [editor.] Thalheim, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1565 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)
	5372.	Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers / by Bjørner, Dines [editor.] Broy, Manfred [editor.] Zamulin, Alexandre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2244 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)
	5373.	Semantics in Databases [electronic resource] / by Thalheim, Bernhard [editor.] Libkin, Leonid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1358 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)
	5374.	The Computational Complexity of Equivalence and Isomorphism Problems [electronic resource] / by Thierauf, Thomas [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1852 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)
	5375.	Developments in Language Theory [electronic resource] : 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers / by Ito, Masami [editor.] Toyama, Masafumi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2450 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)
	5376.	Graph-Theoretic Concepts in Computer Science [electronic resource] : 27th International Workshop, WG 2001 Boltenhagen, Germany, June 14-16, 2001 Proceedings / by Brandstädt, Andreas [editor.] Le, Van Bang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2204 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)
	5377.	Algorithms - ESA '98 [electronic resource] : 6th Annual European Symposium, Venice, Italy, August 24-26, 1998, Proceedings / by Bilardi, Gianfranco [editor.] Italiano, Giuseppe F [editor.] Pietracaprina, Andrea [editor.] Pucci, Geppino [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1461 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)
	5378.	Computational Intelligence: Theory and Applications [electronic resource] : International Conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999, Proceedings / by Reusch, Bernd [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1625 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)
	5379.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers / by Pfaltz, John L [editor.] Nagl, Manfred [editor.] Böhlen, Boris [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3062 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)
	5380.	Topics in Cryptology - CT-RSA 2002 [electronic resource] : The Cryptographer's Track at the RSA Conference 2002, San Jose, CA, USA, February 18-22, 2002, Proceedings / by Preneel, Bart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2271 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.