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

Results
	21.	Logic, Rationality, and Interaction [electronic resource] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings / by He, Xiangdong [editor.] Horty, John [editor.] Pacuit, Eric [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 5834 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)
	22.	Models of Computation in Context [electronic resource] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings / by Löwe, Benedikt [editor.] Normann, Dag [editor.] Soskov, Ivan [editor.] Soskova, Alexandra [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6735 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)
	23.	How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings / by Cooper, Barry S [editor.] Dawar, Anuj [editor.] Löwe, Benedikt [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7318 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)
	24.	Computer Science Logic [electronic resource] : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings / by Duparc, Jacques [editor.] Henzinger, Thomas A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4646 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)
	25.	Lectures on Concurrency and Petri Nets [electronic resource] : Advances in Petri Nets / by Desel, Jörg [editor.] Reisig, Wolfgang [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3098 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)
	26.	Transactions on Petri Nets and Other Models of Concurrency III [electronic resource]. by SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 5800 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)
	27.	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)
	28.	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)
	29.	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)
	30.	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings / by Artemov, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4514 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)
	31.	Recent Trends in Algebraic Development Techniques [electronic resource] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / by Codescu, Mihai [editor.] Diaconescu, Răzvan [editor.] Țuțu, Ionuț [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9463 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)
	32.	Languages: From Formal to Natural [electronic resource] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / by Grumberg, Orna [editor.] Kaminski, Michael [editor.] Katz, Shmuel [editor.] Wintner, Shuly [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5533 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)
	33.	Automata, Languages and Programming [electronic resource] : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by Caires, Luis [editor.] Italiano, Guiseppe F [editor.] Monteiro, Luis [editor.] Palamidessi, Catuscia [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3580 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)
	34.	Human and Artificial Rationalities [electronic resource] : Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings / by Baratgin, Jean [editor.] Jacquet, Baptiste [editor.] Yama, Hiroshi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14522 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	35.	Foundations of Software Science and Computation Structures [electronic resource] : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / by Kobayashi, Naoki [editor.] Worrell, James [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14574 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	36.	Foundations of Software Science and Computation Structures [electronic resource] : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / by Kobayashi, Naoki [editor.] Worrell, James [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14575 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	37.	Unifying Petri Nets [electronic resource] : Advances in Petri Nets / by Ehrig, Hartmut [editor.] Juhas, Gabriel [editor.] Padberg, Julia [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2128 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)
	38.	Applications and Theory of Petri Nets 2004 [electronic resource] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / by Cortadella, Jordi [editor.] Reisig, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3099 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)
	39.	Developments in Language Theory [electronic resource] : 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers / by Kuich, Werner [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2295 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)
	40.	New Directions in Rough Sets, Data Mining, and Granular-Soft Computing [electronic resource] : 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings / by Zhong, Ning [editor.] Ohsuga, Setsuo [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 1711 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 64 results.