Arama Sonuçları Theoretical Languages. - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTheoretical$002bLanguages.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300?dt=list2026-03-24T12:54:06ZTheoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6061522026-03-24T12:54:06Z2026-03-24T12:54:06ZYazar Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Careerent://SD_ILS/0/SD_ILS:6092182026-03-24T12:54:06Z2026-03-24T12:54:06ZYazar Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory of Computation Automata, Formal Languages, Computation and Complexityent://SD_ILS/0/SD_ILS:6077042026-03-24T12:54:06Z2026-03-24T12:54:06ZYazar Chowdhary, K.R. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6027882026-03-24T12:54:06Z2026-03-24T12:54:06ZYazar Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6027892026-03-24T12:54:06Z2026-03-24T12:54:06ZYazar Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6051612026-03-24T12:54:06Z2026-03-24T12:54:06ZYazar Kirrane, Sabrina. editor. (orcid)0000-0002-6955-7718 Šimkus, Mantas. editor. (orcid)0000-0003-0632-0294 Soylu, Ahmet. editor. (orcid)0000-0001-6034-4137 Roman, Dumitru. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Process Algebras for Petri Nets The Alphabetization of Distributed Systemsent://SD_ILS/0/SD_ILS:6156592026-03-24T12:54:06Z2026-03-24T12:54:06ZYazar Gorrieri, Roberto. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modern Language Models and Computation Theory with Applicationsent://SD_ILS/0/SD_ILS:6129532026-03-24T12:54:06Z2026-03-24T12:54:06ZYazar Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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, Proceedingsent://SD_ILS/0/SD_ILS:6122882026-03-24T12:54:06Z2026-03-24T12:54:06ZYazar Thiemann, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6133742026-03-24T12:54:06Z2026-03-24T12:54:06ZYazar Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Topics in Grammatical Inferenceent://SD_ILS/0/SD_ILS:6152362026-03-24T12:54:06Z2026-03-24T12:54:06ZYazar Heinz, Jeffrey. editor. Sempere, José M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>