Arama Sonuçları Formal languages. - Daraltılmış: Algorithms.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFormal$002blanguages.$0026qf$003dSUBJECT$002509Konu$002509Algorithms.$002509Algorithms.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-03-20T23:01:17Z
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605500
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74234-7">https://doi.org/10.1007/978-3-031-74234-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608885
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-7956-0">https://doi.org/10.1007/978-981-96-7956-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608987
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-95908-0">https://doi.org/10.1007/978-3-031-95908-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:609122
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Gamard, Guilhem. editor. Leroy, Julien. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97548-6">https://doi.org/10.1007/978-3-031-97548-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605244
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-72621-7">https://doi.org/10.1007/978-3-031-72621-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604612
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Kohlhase, Andrea. editor. (orcid)0000-0001-5384-6702 Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66997-2">https://doi.org/10.1007/978-3-031-66997-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612557
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68034-7">https://doi.org/10.1007/978-3-319-68034-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:615930
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615937
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60252-3">https://doi.org/10.1007/978-3-319-60252-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616086
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Dixon, Clare. editor. Finger, Marcelo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66167-4">https://doi.org/10.1007/978-3-319-66167-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616315
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar de Moura, Leonardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63046-5">https://doi.org/10.1007/978-3-319-63046-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616320
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
ent://SD_ILS/0/SD_ILS:616321
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Zeume, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54314-6">https://doi.org/10.1007/978-3-662-54314-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Constraint Programming 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616778
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Beck, J. Christopher. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66158-2">https://doi.org/10.1007/978-3-319-66158-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617027
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611989
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-65000-5">https://doi.org/10.1007/978-3-319-65000-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613073
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613439
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-6893-5">https://doi.org/10.1007/978-981-10-6893-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:614261
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-57288-8">https://doi.org/10.1007/978-3-319-57288-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615980
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Weil, Pascal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58747-9">https://doi.org/10.1007/978-3-319-58747-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616010
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64119-5">https://doi.org/10.1007/978-3-319-64119-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616012
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55911-7">https://doi.org/10.1007/978-3-319-55911-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.
ent://SD_ILS/0/SD_ILS:616022
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67190-1">https://doi.org/10.1007/978-3-319-67190-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616154
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58631-1">https://doi.org/10.1007/978-3-319-58631-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616183
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:616201
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-50062-1">https://doi.org/10.1007/978-3-319-50062-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616215
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67089-8">https://doi.org/10.1007/978-3-319-67089-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616217
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54069-5">https://doi.org/10.1007/978-3-662-54069-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616234
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63139-4">https://doi.org/10.1007/978-3-319-63139-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616309
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58741-7">https://doi.org/10.1007/978-3-319-58741-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616611
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-65765-3">https://doi.org/10.1007/978-3-319-65765-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618150
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-62809-7">https://doi.org/10.1007/978-3-319-62809-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613742
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68953-1">https://doi.org/10.1007/978-3-319-68953-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617149
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Kennedy, Juliette. editor. de Queiroz, Ruy J.G.B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-55386-2">https://doi.org/10.1007/978-3-662-55386-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617716
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59294-7">https://doi.org/10.1007/978-3-319-59294-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617856
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity
ent://SD_ILS/0/SD_ILS:610688
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Skrzypczak, Michał. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-52947-8">https://doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615935
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39636-1">https://doi.org/10.1007/978-3-319-39636-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616889
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53132-7">https://doi.org/10.1007/978-3-662-53132-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618009
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Yung, Moti. editor. Zhang, Jianbiao. editor. Yang, Zhen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-31550-8">https://doi.org/10.1007/978-3-319-31550-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611718
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39519-7">https://doi.org/10.1007/978-3-319-39519-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612310
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-34171-2">https://doi.org/10.1007/978-3-319-34171-2</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, Proceedings
ent://SD_ILS/0/SD_ILS:613374
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar 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/>
Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615998
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42634-1">https://doi.org/10.1007/978-3-319-42634-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616135
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Rival, Xavier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53413-7">https://doi.org/10.1007/978-3-662-53413-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616174
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Rueher, Michel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44953-1">https://doi.org/10.1007/978-3-319-44953-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616218
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-43144-4">https://doi.org/10.1007/978-3-319-43144-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616246
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-52921-8">https://doi.org/10.1007/978-3-662-52921-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616292
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41114-9">https://doi.org/10.1007/978-3-319-41114-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610895
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Hajiaghayi, Mohammed Taghi. editor. Mousavi, Mohammad Reza. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28678-5">https://doi.org/10.1007/978-3-319-28678-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611702
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45994-3">https://doi.org/10.1007/978-3-319-45994-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611828
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Lipták, Zsuzsanna. editor. Smyth, William F. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29516-9">https://doi.org/10.1007/978-3-319-29516-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611901
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40596-4">https://doi.org/10.1007/978-3-319-40596-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611917
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612612
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40530-8">https://doi.org/10.1007/978-3-319-40530-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612741
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Amos, Martyn. editor. Condon, Anne. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41312-9">https://doi.org/10.1007/978-3-319-41312-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612842
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39300-1">https://doi.org/10.1007/978-3-319-39300-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612972
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Rovatsos, Michael. editor. Vouros, George. editor. Julian, Vicente. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33509-4">https://doi.org/10.1007/978-3-319-33509-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613633
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Mäkinen, Veli. editor. Puglisi, Simon J. editor. Salmela, Leena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44543-4">https://doi.org/10.1007/978-3-319-44543-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:613640
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616941
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Schockaert, Steven. editor. Senellart, Pierre. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45856-4">https://doi.org/10.1007/978-3-319-45856-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
ent://SD_ILS/0/SD_ILS:617743
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27810-0">https://doi.org/10.1007/978-3-319-27810-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618134
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40946-7">https://doi.org/10.1007/978-3-319-40946-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618382
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299 Lesot, Marie-Jeanne. editor. Kaymak, Uzay. editor. Vieira, Susana. editor. Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40581-0">https://doi.org/10.1007/978-3-319-40581-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616953
2026-03-20T23:01:17Z
2026-03-20T23:01:17Z
Yazar Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40189-8">https://doi.org/10.1007/978-3-319-40189-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>