Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Theory of Computation and su-to:Mathematics and su-to:Machine theory' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	81.	Algebra and Coalgebra in Computer Science [electronic resource] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings / by Mossakowski, Till [editor.] Montanari, Ugo [editor.] Haveraaen, Magne [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4624 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)
	82.	Rough Sets and Knowledge Technology [electronic resource] : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings / by Wen, Peng [editor.] Li, Yuefeng [editor.] Polkowski, Lech [editor.] Yao, Yiyu Y [editor.] Tsumoto, Shusaku [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5589 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)
	83.	Descriptional Complexity of Formal Systems [electronic resource] : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / by Shallit, Jeffrey [editor.] Okhotin, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9118 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)
	84.	Computers and Games [electronic resource] : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers / by van den Herik, H. Jaap [editor.] Iida, Hiroyuki [editor.] Plaat, Aske [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6515 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)
	85.	Theory and Applications of Satisfiability Testing - SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings / by Jarvisalo, Matti [editor.] Van Gelder, Allen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7962 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)
	86.	STACS 2006 [electronic resource] : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings / by Durand, Bruno [editor.] Thomas, Wolfgang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3884 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)
	87.	Computational Logic in Multi-Agent Systems [electronic resource] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / by Fisher, Michael [editor.] Sadri, Fariba [editor.] Thielscher, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5405 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)
	88.	Formal Theories of Information [electronic resource] : From Shannon to Semantic Information Theory and General Concepts of Information / by Sommaruga, Giovanni [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5363 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)
	89.	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)
	90.	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)
	91.	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)
	92.	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)
	93.	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)
	94.	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)
	95.	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)
	96.	The Mathematics of Language [electronic resource] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings / by Kanazawa, Makoto [editor.] Kracht, Marcus [editor.] Seki, Hiroyuki [editor.] Kornai, András [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6878 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)
	97.	Evolving Computability [electronic resource] : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / by Beckmann, Arnold [editor.] Mitrana, Victor [editor.] Soskova, Mariya [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9136 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)
	98.	Mathematical Foundations of Computer Science 2009 [electronic resource] : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings / by Královic, Rastislav [editor.] Niwinski, Damian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5734 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)
	99.	Computation, Cooperation, and Life [electronic resource] : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday / by Kelemen, Jozef [editor.] Kelemenová, Alica [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6610 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)
	100.	Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / by Governatori, Guido [editor.] Sartor, Giovanni [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6181 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 132 results.