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

Results
	441.	Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / by Berghofer, Stefan [editor.] Nipkow, Tobias [editor.] Urban, Christian [editor.] Wenzel, Makarius [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5674 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	442.	Developments in Language Theory [electronic resource] : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / by Brlek, Srečko [editor.] Reutenauer, Christophe [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9840 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	443.	Theory and Applications of Models of Computation [electronic resource] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings / by Ogihara, Mitsunori [editor.] Tarui, Jun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6648 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	444.	Learning and Intelligent Optimization [electronic resource] : 4th International Conference, LION 4, Venice, Italy, January 2010. Selected Papers / by Blum, Christian [editor.] Battiti, Roberto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6073 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)
	445.	Quantitative Evaluation of Systems [electronic resource] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / by Bertrand, Nathalie [editor.] Bortolussi, Luca [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10503 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	446.	Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected Papers / by Kawano, Yasuhito [editor.] Mosca, Michele [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5106 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)
	447.	Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / by Grossi, Davide [editor.] Roy, Olivier [editor.] Huang, Huaxin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8196 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)
	448.	Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers / by Angelini, Claudia [editor.] Rancoita, Paola MV [editor.] Rovetta, Stefano [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 9874 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)
	449.	Advances in Cryptology – ASIACRYPT 2015 [electronic resource] : 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part II / by Iwata, Tetsu [editor.] Cheon, Jung Hee [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9453 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	450.	Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / by Halldórsson, Magnús M [editor.] Iwama, Kazuo [editor.] Kobayashi, Naoki [editor.] Speckmann, Bettina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9135 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	451.	Algorithms and Complexity [electronic resource] : 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings / by Calamoneri, Tiziana [editor.] Finocchi, Irene [editor.] Italiano, Guiseppe F [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3998 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)
	452.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011, Proceedings / by Merz, Peter [editor.] Hao, Jin-Kao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6622 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	453.	Computation, Physics and Beyond [electronic resource] : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers / by Dinneen, Michael J [editor.] Khoussainov, Bakhadyr [editor.] Nies, Prof. Andre [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7160 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	454.	High Performance Computing for Computational Science -- VECPAR 2010 [electronic resource] : 9th International Conference, Berkeley, CA, USA, June 22-25, 2010, Revised, Selected Papers / by Palma, José M. Laginha M [editor.] Daydé, Michel [editor.] Marques, Osni [editor.] Lopes, Joao Correia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6449 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	455.	Evolutionary Computation in Combinatorial Optimization [electronic resource] : 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by Ochoa, Gabriela [editor.] Chicano, Francisco [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9026 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)
	456.	Parameterized and Exact Computation [electronic resource] : Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008, Proceedings / by Grohe, Martin [editor.] Niedermeier, Rolf [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5018 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)
	457.	Computing and Combinatorics [electronic resource] : 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings / by Chen, Danny Z [editor.] Lee, D.T [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4112 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)
	458.	Advances in Neural Networks – ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, ISNN 2012, Shenyang, China, July 11-14, 2012. Proceedings, Part II / by Wang, Jun [editor.] Yen, Gary G [editor.] Polycarpou, Marios M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7368 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	459.	Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings / by Harju, Tero [editor.] Karhumäki, Juhani [editor.] Lepistö, Arto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4588 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)
	460.	Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / by Martí-Oliet, Narciso [editor.] Palomino, Miguel [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7841 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 790 results.