Arama Sonuçları Computer logic. - Daraltılmış: Machine theory.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Machine$002btheory.$002509Machine$002btheory.$0026ps$003d300?dt=list
2026-03-20T18:43:16Z
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
ent://SD_ILS/0/SD_ILS:617465
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605500
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:605717
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75387-9">https://doi.org/10.1007/978-3-031-75387-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608470
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-88930-1">https://doi.org/10.1007/978-3-031-88930-1</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605472
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:605783
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75380-0">https://doi.org/10.1007/978-3-031-75380-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605736
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:605738
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75390-9">https://doi.org/10.1007/978-3-031-75390-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606961
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74776-2">https://doi.org/10.1007/978-3-031-74776-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608635
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-89610-1">https://doi.org/10.1007/978-3-031-89610-1</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:602942
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55630-2">https://doi.org/10.1007/978-3-031-55630-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604145
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63498-7">https://doi.org/10.1007/978-3-031-63498-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604146
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63501-4">https://doi.org/10.1007/978-3-031-63501-4</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604553
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65941-6">https://doi.org/10.1007/978-3-031-65941-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
String Analysis for Software Verification and Security
ent://SD_ILS/0/SD_ILS:611157
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68670-7">https://doi.org/10.1007/978-3-319-68670-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611148
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68690-5">https://doi.org/10.1007/978-3-319-68690-5</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613058
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70169-1">https://doi.org/10.1007/978-3-319-70169-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615965
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60134-2">https://doi.org/10.1007/978-3-319-60134-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 I
ent://SD_ILS/0/SD_ILS:615930
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616078
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-55665-8">https://doi.org/10.1007/978-3-662-55665-8</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616091
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60225-7">https://doi.org/10.1007/978-3-319-60225-7</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616318
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Ranzato, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66706-5">https://doi.org/10.1007/978-3-319-66706-5</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616714
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-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 II
ent://SD_ILS/0/SD_ILS:617027
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618348
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61581-3">https://doi.org/10.1007/978-3-319-61581-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611599
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66107-0">https://doi.org/10.1007/978-3-319-66107-0</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612246
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612296
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Cussens, James. editor. Russo, Alessandra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63342-8">https://doi.org/10.1007/978-3-319-63342-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612356
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-69483-2">https://doi.org/10.1007/978-3-319-69483-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613240
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67729-3">https://doi.org/10.1007/978-3-319-67729-3</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-20T18:43:16Z
2026-03-20T18:43:16Z
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-20T18:43:16Z
2026-03-20T18:43:16Z
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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615993
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54494-5">https://doi.org/10.1007/978-3-662-54494-5</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-20T18:43:16Z
2026-03-20T18:43:16Z
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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616143
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-57418-9">https://doi.org/10.1007/978-3-319-57418-9</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-20T18:43:16Z
2026-03-20T18:43:16Z
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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616211
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66902-1">https://doi.org/10.1007/978-3-319-66902-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-20T18:43:16Z
2026-03-20T18:43:16Z
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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616233
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-62075-6">https://doi.org/10.1007/978-3-319-62075-6</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616289
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61660-5">https://doi.org/10.1007/978-3-319-61660-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616316
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-57861-3">https://doi.org/10.1007/978-3-319-57861-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:616372
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60074-1">https://doi.org/10.1007/978-3-319-60074-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Provably Correct Systems
ent://SD_ILS/0/SD_ILS:616382
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-48628-4">https://doi.org/10.1007/978-3-319-48628-4</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-20T18:43:16Z
2026-03-20T18:43:16Z
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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:610851
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51046-0">https://doi.org/10.1007/978-3-319-51046-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610911
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611600
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67113-0">https://doi.org/10.1007/978-3-319-67113-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611950
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67582-4">https://doi.org/10.1007/978-3-319-67582-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612253
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612404
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-52228-9">https://doi.org/10.1007/978-3-319-52228-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612796
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-52234-0">https://doi.org/10.1007/978-3-319-52234-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613145
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-69131-2">https://doi.org/10.1007/978-3-319-69131-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613619
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications
ent://SD_ILS/0/SD_ILS:617350
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-55947-5">https://doi.org/10.1007/978-3-662-55947-5</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
ent://SD_ILS/0/SD_ILS:617461
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611458
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Lecomte, Thierry. editor. Pinger, Ralf. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611564
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30246-1">https://doi.org/10.1007/978-3-319-30246-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611537
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-50230-4">https://doi.org/10.1007/978-3-319-50230-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616527
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45943-1">https://doi.org/10.1007/978-3-319-45943-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616579
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:616634
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29473-5">https://doi.org/10.1007/978-3-319-29473-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616647
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29604-3">https://doi.org/10.1007/978-3-319-29604-3</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616919
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41579-6">https://doi.org/10.1007/978-3-319-41579-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610792
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46520-3">https://doi.org/10.1007/978-3-319-46520-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:610933
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30936-1">https://doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 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:610942
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39570-8">https://doi.org/10.1007/978-3-319-39570-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611423
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40648-0">https://doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611436
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41135-4">https://doi.org/10.1007/978-3-319-41135-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611832
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49815-7">https://doi.org/10.1007/978-3-319-49815-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612298
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28934-2">https://doi.org/10.1007/978-3-319-28934-2</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613063
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613275
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613372
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-48758-8">https://doi.org/10.1007/978-3-319-48758-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 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:616008
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49674-9">https://doi.org/10.1007/978-3-662-49674-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deductive Software Verification - The KeY Book From Theory to Practice
ent://SD_ILS/0/SD_ILS:616009
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616026
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41540-6">https://doi.org/10.1007/978-3-319-41540-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616028
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42547-4">https://doi.org/10.1007/978-3-319-42547-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616055
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41528-4">https://doi.org/10.1007/978-3-319-41528-4</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616148
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53042-9">https://doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616153
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29919-8">https://doi.org/10.1007/978-3-319-29919-8</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616237
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Hasuo, Ichiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40370-0">https://doi.org/10.1007/978-3-319-40370-0</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-20T18:43:16Z
2026-03-20T18:43:16Z
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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616329
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Lucanu, Dorel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616357
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamental Approaches to Software Engineering 19th International Conference, FASE 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:616385
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49665-7">https://doi.org/10.1007/978-3-662-49665-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616739
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:617182
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27683-0">https://doi.org/10.1007/978-3-319-27683-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610845
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41591-8">https://doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610897
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39110-6">https://doi.org/10.1007/978-3-319-39110-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611091
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33693-0">https://doi.org/10.1007/978-3-319-33693-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611111
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-32582-8">https://doi.org/10.1007/978-3-319-32582-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611112
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33600-8">https://doi.org/10.1007/978-3-319-33600-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611230
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611429
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45480-1">https://doi.org/10.1007/978-3-319-45480-1</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
ent://SD_ILS/0/SD_ILS:611797
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-34096-8">https://doi.org/10.1007/978-3-319-34096-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612022
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46750-4">https://doi.org/10.1007/978-3-319-46750-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612379
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47846-3">https://doi.org/10.1007/978-3-319-47846-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612581
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612614
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45279-1">https://doi.org/10.1007/978-3-319-45279-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612674
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-31220-0">https://doi.org/10.1007/978-3-319-31220-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612727
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612976
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Inoue, Katsumi. editor. Ohwada, Hayato. editor. Yamamoto, Akihiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40566-7">https://doi.org/10.1007/978-3-319-40566-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612979
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-48989-6">https://doi.org/10.1007/978-3-319-48989-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613038
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44878-7">https://doi.org/10.1007/978-3-319-44878-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613470
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53826-5">https://doi.org/10.1007/978-3-662-53826-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:613589
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42019-6">https://doi.org/10.1007/978-3-319-42019-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613592
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613607
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44832-9">https://doi.org/10.1007/978-3-319-44832-9</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616994
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47677-3">https://doi.org/10.1007/978-3-319-47677-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 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:617134
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:618122
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49122-5">https://doi.org/10.1007/978-3-662-49122-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618305
2026-03-20T18:43:16Z
2026-03-20T18:43:16Z
Yazar Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39083-3">https://doi.org/10.1007/978-3-319-39083-3</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-20T18:43:16Z
2026-03-20T18:43:16Z
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/>