Results of search for 'ccl=su:{Discrete Mathematics.} and su-to:Theory of Computation' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	401.	Lectures on Proof Verification and Approximation Algorithms [electronic resource] / by Mayr, Ernst W [editor.] Prömel, Hans Jürgen [editor.] Steger, Angelika [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1367 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)
	402.	Algorithm Theory - SWAT'98 [electronic resource] : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998, Proceedings / by Arnborg, Stefan [editor.] Ivansson, Lars [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1432 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)
	403.	Conceptual Structures: Standards and Practices [electronic resource] : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings / by Tepfenhart, William M [editor.] Cyre, Walling [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1640 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)
	404.	Recent Advances in AI Planning [electronic resource] : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / by Biundo, Susanne [editor.] Fox, Maria [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1809 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)
	405.	Conceptual Structures: Broadening the Base [electronic resource] : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings / by Delugach, Harry S [editor.] Stumme, Gerd [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2120 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)
	406.	Theory and Application of Diagrams [electronic resource] : First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings / by Anderson, Michael [editor.] Cheng, Peter [editor.] Haarslev, Volker [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1889 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)
	407.	Local Search for Planning and Scheduling [electronic resource] : ECAI 2000 Workshop, Berlin, Germany, August 21, 2000. Revised Papers / by Nareyek, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2148 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)
	408.	Conceptual Structures: Logical, Linguistic, and Computational Issues [electronic resource] : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings / by Ganter, Bernhard [editor.] Mineau, Guy W [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1867 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)
	409.	Algorithm Engineering [electronic resource] : 5th International Workshop, WAE 2001 Aarhus, Denmark, August 28-31, 2001 Proceedings / by Brodal, Gerd Stoelting [editor.] Frigioni, Daniele [editor.] Marchetti-Spaccamela, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2141 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)
	410.	STACS 98 [electronic resource] : 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings / by Morvan, Michel [editor.] Meinel, Christoph [editor.] Krob, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1373 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)
	411.	Fundamentals of Computation Theory [electronic resource] : 12th International Symposium, FCT'99 Iasi, Romania, August 30 - September 3, 1999 Proceedings / by Ciobanu, Gabriel [editor.] Paun, Gheorghe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1684 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)
	412.	Algorithm Engineering [electronic resource] : 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings / by Vitter, Jeffrey S [editor.] Zaroliagis, Christos D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1668 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)
	413.	Randomization and Approximation Techniques in Computer Science [electronic resource] : International Workshop RANDOM'97, Bologna, Italy, July 11-12, 1997 Proceedings / by Rolim, Jose [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1269 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)
	414.	Application and Theory of Petri Nets 2002 [electronic resource] : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings / by Esparza, Javier [editor.] Lakos, Charles [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2360 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)
	415.	Algorithms and Computation [electronic resource] : 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, Proceedings / by Ibaraki, Toshihide [editor.] Katoh, Naoki [editor.] Ono, Hirotaka [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2906 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)
	416.	Mathematical Foundations of Computer Science 1997 [electronic resource] : 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings / by Privara, Igor [editor.] Ruzicka, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1295 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)
	417.	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)
	418.	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)
	419.	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)
	420.	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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 434 results.