Search Results for Theoretical Languages. - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTheoretical$002bLanguages.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list 2026-03-24T20:06:45Z Theory of Computation Automata, Formal Languages, Computation and Complexity ent://SD_ILS/0/SD_ILS:607704 2026-03-24T20:06:45Z 2026-03-24T20:06:45Z Author&#160;Chowdhary, K.R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-6234-7">https://doi.org/10.1007/978-981-97-6234-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages of Cooperation and Communication Essays Dedicated to Erzs&eacute;bet Csuhaj-Varj&uacute; to Celebrate Her Scientific Career ent://SD_ILS/0/SD_ILS:609218 2026-03-24T20:06:45Z 2026-03-24T20:06:45Z Author&#160;Jim&eacute;nez L&oacute;pez, M. Dolores. editor. (orcid)0000-0001-5544-3210&#160;Vaszil, Gy&ouml;rgy. editor. (orcid)0000-0003-1213-8616&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97274-4">https://doi.org/10.1007/978-3-031-97274-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606152 2026-03-24T20:06:45Z 2026-03-24T20:06:45Z Author&#160;Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X&#160;Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-77019-7">https://doi.org/10.1007/978-3-031-77019-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602788 2026-03-24T20:06:45Z 2026-03-24T20:06:45Z Author&#160;Soto, Jos&eacute; A. editor.&#160;Wiese, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-55598-5">https://doi.org/10.1007/978-3-031-55598-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602789 2026-03-24T20:06:45Z 2026-03-24T20:06:45Z Author&#160;Soto, Jos&eacute; A. editor.&#160;Wiese, Andreas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-55601-2">https://doi.org/10.1007/978-3-031-55601-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605161 2026-03-24T20:06:45Z 2026-03-24T20:06:45Z Author&#160;Kirrane, Sabrina. editor. (orcid)0000-0002-6955-7718&#160;&Scaron;imkus, Mantas. editor. (orcid)0000-0003-0632-0294&#160;Soylu, Ahmet. editor. (orcid)0000-0001-6034-4137&#160;Roman, Dumitru. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72407-7">https://doi.org/10.1007/978-3-031-72407-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Algebras for Petri Nets The Alphabetization of Distributed Systems ent://SD_ILS/0/SD_ILS:615659 2026-03-24T20:06:45Z 2026-03-24T20:06:45Z Author&#160;Gorrieri, Roberto. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modern Language Models and Computation Theory with Applications ent://SD_ILS/0/SD_ILS:612953 2026-03-24T20:06:45Z 2026-03-24T20:06:45Z Author&#160;Meduna, Alexander. author.&#160;Soukup, Ond&#345;ej. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63100-4">https://doi.org/10.1007/978-3-319-63100-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612288 2026-03-24T20:06:45Z 2026-03-24T20:06:45Z Author&#160;Thiemann, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Topics in Grammatical Inference ent://SD_ILS/0/SD_ILS:615236 2026-03-24T20:06:45Z 2026-03-24T20:06:45Z Author&#160;Heinz, Jeffrey. editor.&#160;Sempere, Jos&eacute; M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-48395-4">https://doi.org/10.1007/978-3-662-48395-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613374 2026-03-24T20:06:45Z 2026-03-24T20:06:45Z Author&#160;Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428&#160;Navarro, Gonzalo. editor.&#160;Ch&aacute;vez, Edgar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49529-2">https://doi.org/10.1007/978-3-662-49529-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>