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

Results
	521.	Quantitative Evaluation of Systems [electronic resource] : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / by Jansen, Nils [editor.] Tribastone, Mirco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14287 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	522.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings / by Raidl, Günther R [editor.] Gottlieb, Jens [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3448 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	523.	Pursuit of the Universal [electronic resource] : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings / by Beckmann, Arnold [editor.] Bienvenu, Laurent [editor.] Jonoska, Nataša [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9709 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	524.	Advances in Neural Networks - ISNN 2007 [electronic resource] : 4th International Symposium on Neutral Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part II / by Liu, Derong [editor.] Fei, Shumin [editor.] Hou, Zeng-Guang [editor.] Zhang, Huaguang [editor.] Sun, Changyin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4492 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	525.	Computing and Combinatorics [electronic resource] : 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 Proceedings / by Thai, My T [editor.] Sahni, Sartaj [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6196 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	526.	Integer Programming and Combinatorial Optimization [electronic resource] : 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings / by Fischetti, Matteo [editor.] Williamson, David P [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4513 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	527.	Approximation and Online Algorithms [electronic resource] : 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers / by Sanità, Laura [editor.] Skutella, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9499 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	528.	Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I / by Bugliesi, Michele [editor.] Preneel, Bart [editor.] Sassone, Vladimiro [editor.] Wegener, Ingo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4051 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	529.	Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings / by Donatelli, Susanna [editor.] Thiagarajan, P.S [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4024 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	530.	Algorithms in Bioinformatics [electronic resource] : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings / by Darling, Aaron [editor.] Stoye, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 8126 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	531.	Advances in Neural Networks - ISNN 2005 [electronic resource] : Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I / by Wang, Jun [editor.] Liao, Xiaofeng [editor.] Yi, Zhang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3496 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	532.	Guide to Graph Colouring [electronic resource] : Algorithms and Applications / by Lewis, R. M. R [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 2nd ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	533.	Algebraic Graph Algorithms [electronic resource] : A Practical Guide Using Python / by Erciyes, K [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	534.	Implementation and Application of Automata [electronic resource] : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings / by Nagy, Benedek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14151 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	535.	The Algorithm Design Manual [electronic resource] / by Skiena, Steven S [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 3rd ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	536.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 4th European Conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings / by Gottlieb, Jens [editor.] Raidl, Günther R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3004 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)
	537.	Algorithms - ESA 2008 [electronic resource] : 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings / by Mehlhorn, Kurt [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5193 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	538.	Computational Science — ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6–9, 2004, Proceedings, Part III / by Bubak, Marian [editor.] Albada, Geert Dick van [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3038 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)
	539.	Primality Testing in Polynomial Time [electronic resource] : From Randomized Algorithms to "PRIMES Is in P" / by Dietzfelbinger, Martin [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3000 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)
	540.	Computer Vision [electronic resource] : Statistical Models for Marr's Paradigm / by Zhu, Song-Chun [author.] Wu, Ying Nian [author.] SpringerLink (Online service) Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 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 791 results.