Arama Sonuçları Languages. - Daraltılmış: Compilers and Interpreters.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLanguages.$0026qf$003dSUBJECT$002509Konu$002509Compilers$002band$002bInterpreters.$002509Compilers$002band$002bInterpreters.$0026ps$003d300?dt=list2026-03-30T12:36:17ZFoundations of Programming Languagesent://SD_ILS/0/SD_ILS:6175552026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Lee, Kent D. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70790-7">https://doi.org/10.1007/978-3-319-70790-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057752026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-8943-6">https://doi.org/10.1007/978-981-97-8943-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083272026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-91121-7">https://doi.org/10.1007/978-3-031-91121-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6083002026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-91118-7">https://doi.org/10.1007/978-3-031-91118-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031532026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Weirich, Stephanie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57262-3">https://doi.org/10.1007/978-3-031-57262-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031622026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Weirich, Stephanie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57267-8">https://doi.org/10.1007/978-3-031-57267-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122922026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Yang, Hongseok. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161242026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Jacquet, Jean-Marie. editor. Massink, Mieke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59746-1">https://doi.org/10.1007/978-3-319-59746-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6111512026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papersent://SD_ILS/0/SD_ILS:6159742026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-52709-3">https://doi.org/10.1007/978-3-319-52709-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160412026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51676-9">https://doi.org/10.1007/978-3-319-51676-9</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, Proceedingsent://SD_ILS/0/SD_ILS:6130632026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6110882026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29778-1">https://doi.org/10.1007/978-3-319-29778-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6113312026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28228-2">https://doi.org/10.1007/978-3-319-28228-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6122882026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Thiemann, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6126142026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:6117182026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6088852026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Å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/>Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6054992026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74209-5">https://doi.org/10.1007/978-3-031-74209-5</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, Proceedingsent://SD_ILS/0/SD_ILS:6055002026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Á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/>Compiler Construction Fundamentals and Applicationsent://SD_ILS/0/SD_ILS:6082772026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-84813-1">https://doi.org/10.1007/978-3-031-84813-1</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, Proceedingsent://SD_ILS/0/SD_ILS:6069612026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>FPGA EDA Design Principles and Implementationent://SD_ILS/0/SD_ILS:6024812026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7755-0">https://doi.org/10.1007/978-981-99-7755-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, Proceedingsent://SD_ILS/0/SD_ILS:6029422026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6040052026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63790-2">https://doi.org/10.1007/978-3-031-63790-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Learn coding with Python and JavaScript A practical introduction for beginnersent://SD_ILS/0/SD_ILS:6042312026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-42912-6">https://doi.org/10.1007/978-3-658-42912-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Compiler Designent://SD_ILS/0/SD_ILS:6022302026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Mogensen, Torben Ægidius. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-46460-7">https://doi.org/10.1007/978-3-031-46460-7</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, Proceedingsent://SD_ILS/0/SD_ILS:6122462026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6122532026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6130582026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Programming with Scala Language Explorationent://SD_ILS/0/SD_ILS:6132982026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Upadhyaya, Bhim P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-69368-2">https://doi.org/10.1007/978-3-319-69368-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6135012026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64203-1">https://doi.org/10.1007/978-3-319-64203-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161062026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Guerra, Esther. editor. van den Brand, Mark. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61473-1">https://doi.org/10.1007/978-3-319-61473-1</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, Proceedingsent://SD_ILS/0/SD_ILS:6166112026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:6167142026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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 IIent://SD_ILS/0/SD_ILS:6170272026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>String Analysis for Software Verification and Securityent://SD_ILS/0/SD_ILS:6111572026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:6116002026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6124042026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6131452026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6132402026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6132692026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Ouhammou, Yassine. editor. Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384 Abelló, Alberto. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66854-3">https://doi.org/10.1007/978-3-319-66854-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6137382026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68015-6">https://doi.org/10.1007/978-3-319-68015-6</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, Proceedingsent://SD_ILS/0/SD_ILS:6137422026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6137472026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Ma, Hui. editor. Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-69904-2">https://doi.org/10.1007/978-3-319-69904-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6136212026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61252-2">https://doi.org/10.1007/978-3-319-61252-2</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, Proceedingsent://SD_ILS/0/SD_ILS:6142612026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Separation Logic for High-level Synthesisent://SD_ILS/0/SD_ILS:6143852026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Winterstein, Felix. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-53222-6">https://doi.org/10.1007/978-3-319-53222-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6147572026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66302-9">https://doi.org/10.1007/978-3-319-66302-9</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, Proceedingsent://SD_ILS/0/SD_ILS:6162332026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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 Papersent://SD_ILS/0/SD_ILS:6162342026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6108512026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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 IIent://SD_ILS/0/SD_ILS:6109112026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Introduction to Compiler Designent://SD_ILS/0/SD_ILS:6110512026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Mogensen, Torben Ægidius. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66966-3">https://doi.org/10.1007/978-3-319-66966-3</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, Proceedingsent://SD_ILS/0/SD_ILS:6111482026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6115992026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6125572026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>A Practical Approach to Compiler Constructionent://SD_ILS/0/SD_ILS:6174862026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Watson, Des. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-52789-5">https://doi.org/10.1007/978-3-319-52789-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Language Conceptsent://SD_ILS/0/SD_ILS:6174922026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Sestoft, Peter. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60789-4">https://doi.org/10.1007/978-3-319-60789-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178122026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</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 Birthdayent://SD_ILS/0/SD_ILS:6178562026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6127962026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>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 Ient://SD_ILS/0/SD_ILS:6159302026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:6159932026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159972026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60588-3">https://doi.org/10.1007/978-3-319-60588-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160002026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar ten Teije, Annette. editor. Popow, Christian. editor. (orcid)0000-0002-0496-1453 Holmes, John H. editor. Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-59758-4">https://doi.org/10.1007/978-3-319-59758-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6159062026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-62569-0">https://doi.org/10.1007/978-3-319-62569-0</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 Lecturesent://SD_ILS/0/SD_ILS:6163722026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163182026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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 Complexityent://SD_ILS/0/SD_ILS:6163212026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6160442026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-53354-4">https://doi.org/10.1007/978-3-319-53354-4</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, Proceedingsent://SD_ILS/0/SD_ILS:6162112026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6126742026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6136402026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Á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/>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, Proceedingsent://SD_ILS/0/SD_ILS:6160082026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:6163852026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedingsent://SD_ILS/0/SD_ILS:6166342026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>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 Papersent://SD_ILS/0/SD_ILS:6169192026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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, Proceedingsent://SD_ILS/0/SD_ILS:6107922026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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 Birthdayent://SD_ILS/0/SD_ILS:6109332026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6110912026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Á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, Proceedingsent://SD_ILS/0/SD_ILS:6111112026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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, Proceedingsent://SD_ILS/0/SD_ILS:6111122026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:6111202026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Torra, Vicenç. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46481-7">https://doi.org/10.1007/978-3-319-46481-7</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, Proceedingsent://SD_ILS/0/SD_ILS:6120222026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Understanding Control Flow Concurrent Programming Using μC++ent://SD_ILS/0/SD_ILS:6122122026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Buhr, Peter A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-25703-7">https://doi.org/10.1007/978-3-319-25703-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 Papersent://SD_ILS/0/SD_ILS:6122982026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6123792026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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 Papersent://SD_ILS/0/SD_ILS:6125812026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6132752026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>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 IIent://SD_ILS/0/SD_ILS:6135922026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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, Proceedingsent://SD_ILS/0/SD_ILS:6136072026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6161352026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6161612026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Devitt, Simon. 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-40578-0">https://doi.org/10.1007/978-3-319-40578-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, Proceedingsent://SD_ILS/0/SD_ILS:6108452026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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 Papersent://SD_ILS/0/SD_ILS:6108972026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6112302026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6114232026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6114332026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46613-2">https://doi.org/10.1007/978-3-319-46613-2</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, Proceedingsent://SD_ILS/0/SD_ILS:6114362026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6115642026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>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 Lecturesent://SD_ILS/0/SD_ILS:6117972026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6118322026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Model-Based Systems Engineering with OPM and SysMLent://SD_ILS/0/SD_ILS:6177042026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Dori, Dov. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4939-3295-5">https://doi.org/10.1007/978-1-4939-3295-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 Birthdaysent://SD_ILS/0/SD_ILS:6177432026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Transactions on Modularity and Composition Ient://SD_ILS/0/SD_ILS:6178182026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-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. Proceedingsent://SD_ILS/0/SD_ILS:6181222026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6127272026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Deductive Software Verification - The KeY Book From Theory to Practiceent://SD_ILS/0/SD_ILS:6160092026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:6165272026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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 Papersent://SD_ILS/0/SD_ILS:6165792026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6166472026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6167392026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:6171342026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6171392026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-43659-3">https://doi.org/10.1007/978-3-319-43659-3</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, Proceedingsent://SD_ILS/0/SD_ILS:6160282026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>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 Papersent://SD_ILS/0/SD_ILS:6163292026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6183052026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar 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/>Numeric Computation and Statistical Data Analysis on the Java Platforment://SD_ILS/0/SD_ILS:6180822026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Chekanov, Sergei V. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28531-3">https://doi.org/10.1007/978-3-319-28531-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Control Systems Engineeringent://SD_ILS/0/SD_ILS:6185542026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0289-0">https://doi.org/10.1007/978-1-4842-0289-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Optimization Techniquesent://SD_ILS/0/SD_ILS:6185772026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0292-0">https://doi.org/10.1007/978-1-4842-0292-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Programming for Numerical Analysisent://SD_ILS/0/SD_ILS:6186072026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0295-1">https://doi.org/10.1007/978-1-4842-0295-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Matrix Algebraent://SD_ILS/0/SD_ILS:6185222026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0307-1">https://doi.org/10.1007/978-1-4842-0307-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Differential Equationsent://SD_ILS/0/SD_ILS:6185342026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0310-1">https://doi.org/10.1007/978-1-4842-0310-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Numerical Calculationsent://SD_ILS/0/SD_ILS:6185452026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0346-0">https://doi.org/10.1007/978-1-4842-0346-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Linear Algebraent://SD_ILS/0/SD_ILS:6185602026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0322-4">https://doi.org/10.1007/978-1-4842-0322-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Symbolic Algebra and Calculus Toolsent://SD_ILS/0/SD_ILS:6186442026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0343-9">https://doi.org/10.1007/978-1-4842-0343-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pro TypeScript Application-Scale JavaScript Developmentent://SD_ILS/0/SD_ILS:6186722026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Fenton, Steve. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6790-4">https://doi.org/10.1007/978-1-4302-6790-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>MATLAB Differential and Integral Calculusent://SD_ILS/0/SD_ILS:6186862026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Lopez, Cesar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0304-0">https://doi.org/10.1007/978-1-4842-0304-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning Haskell A Project-Based Approachent://SD_ILS/0/SD_ILS:6186942026-03-30T12:36:17Z2026-03-30T12:36:17ZYazar Serrano Mena, Alejandro. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6251-0">https://doi.org/10.1007/978-1-4302-6251-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>