Arama Sonuçları Science -- methods. - Daraltılmış: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dScience$002b--$002bmethods.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list2026-04-09T04:56:05ZGrid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6078222026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-85884-0">https://doi.org/10.1007/978-3-031-85884-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1ent://SD_ILS/0/SD_ILS:6056642026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70285-3">https://doi.org/10.1007/978-3-031-70285-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Machine Learning Methods in Systems Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4ent://SD_ILS/0/SD_ILS:6056832026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70595-3">https://doi.org/10.1007/978-3-031-70595-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2ent://SD_ILS/0/SD_ILS:5271382026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-21438-7">https://doi.org/10.1007/978-3-031-21438-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, Proceedingsent://SD_ILS/0/SD_ILS:6161432026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar 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/>Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6160062026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Kofroň, Jan. editor. Vojnar, Tomáš. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29817-7">https://doi.org/10.1007/978-3-319-29817-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866812026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14896-0">https://doi.org/10.1007/978-3-319-14896-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3341062026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.<br/>Yer Numarası ONLINE(334106.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36046-6">http://dx.doi.org/10.1007/978-3-642-36046-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1960862026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25929-6">http://dx.doi.org/10.1007/978-3-642-25929-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systemsent://SD_ILS/0/SD_ILS:1964682026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28525-7">http://dx.doi.org/10.1007/978-3-642-28525-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973552026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1945812026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Swart, Harrie. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882752026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78913-0">http://dx.doi.org/10.1007/978-3-540-78913-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papersent://SD_ILS/0/SD_ILS:1837072026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1846432026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11828563">http://dx.doi.org/10.1007/11828563</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIent://SD_ILS/0/SD_ILS:6059872026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part Ient://SD_ILS/0/SD_ILS:6059882026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied Cognitive Computing and Artificial Intelligence 8th International Conference, ACC 2024, and 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6078612026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Ferens, Ken. editor. (orcid)0000-0002-1031-0518 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-85628-0">https://doi.org/10.1007/978-3-031-85628-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6081602026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-82949-9">https://doi.org/10.1007/978-3-031-82949-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6081612026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-82957-4">https://doi.org/10.1007/978-3-031-82957-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIIent://SD_ILS/0/SD_ILS:6081652026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-83885-9">https://doi.org/10.1007/978-3-031-83885-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6083362026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-86623-4">https://doi.org/10.1007/978-3-031-86623-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIent://SD_ILS/0/SD_ILS:6090232026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6091132026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-96962-1">https://doi.org/10.1007/978-3-031-96962-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6091182026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97000-9">https://doi.org/10.1007/978-3-031-97000-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6092442026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97554-7">https://doi.org/10.1007/978-3-031-97554-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6092452026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97557-8">https://doi.org/10.1007/978-3-031-97557-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6092462026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97564-6">https://doi.org/10.1007/978-3-031-97564-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering 28th International Conference, IPCV 2024, and 23rd International Conference, IKE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6095352026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-85933-5">https://doi.org/10.1007/978-3-031-85933-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Careerent://SD_ILS/0/SD_ILS:6056682026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 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-73751-0">https://doi.org/10.1007/978-3-031-73751-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6084942026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113 Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 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-031-92471-2">https://doi.org/10.1007/978-3-031-92471-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6084952026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113 Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 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-031-92474-3">https://doi.org/10.1007/978-3-031-92474-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6092192026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97573-8">https://doi.org/10.1007/978-3-031-97573-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6092262026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97567-7">https://doi.org/10.1007/978-3-031-97567-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6092292026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97570-7">https://doi.org/10.1007/978-3-031-97570-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:6018112026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-92196-4">https://doi.org/10.1007/978-3-031-92196-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4ent://SD_ILS/0/SD_ILS:6097062026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-032-03406-9">https://doi.org/10.1007/978-3-032-03406-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30-July 3, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6102332026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-96997-3">https://doi.org/10.1007/978-3-031-96997-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3ent://SD_ILS/0/SD_ILS:6103072026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-032-00239-6">https://doi.org/10.1007/978-3-032-00239-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6ent://SD_ILS/0/SD_ILS:6104622026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-032-00715-5">https://doi.org/10.1007/978-3-032-00715-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2ent://SD_ILS/0/SD_ILS:6106292026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-032-00712-4">https://doi.org/10.1007/978-3-032-00712-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6016582026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-85930-4">https://doi.org/10.1007/978-3-031-85930-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2ent://SD_ILS/0/SD_ILS:6055672026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70300-3">https://doi.org/10.1007/978-3-031-70300-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6040782026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63751-3">https://doi.org/10.1007/978-3-031-63751-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6040792026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63772-8">https://doi.org/10.1007/978-3-031-63772-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6040802026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63775-9">https://doi.org/10.1007/978-3-031-63775-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6040912026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63749-0">https://doi.org/10.1007/978-3-031-63749-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6040922026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63759-9">https://doi.org/10.1007/978-3-031-63759-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VIIent://SD_ILS/0/SD_ILS:6040932026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63783-4">https://doi.org/10.1007/978-3-031-63783-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Experimentation in Software Engineeringent://SD_ILS/0/SD_ILS:6050332026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-69306-3">https://doi.org/10.1007/978-3-662-69306-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:6022492026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50423-5">https://doi.org/10.1007/978-3-031-50423-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6041142026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63778-0">https://doi.org/10.1007/978-3-031-63778-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6041512026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-64605-8">https://doi.org/10.1007/978-3-031-64605-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6041522026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-64608-9">https://doi.org/10.1007/978-3-031-64608-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Representing Scientific Knowledge The Role of Uncertaintyent://SD_ILS/0/SD_ILS:6117572026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Chen, Chaomei. author. Song, Min. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-62543-0">https://doi.org/10.1007/978-3-319-62543-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enterprise Architecture at Work Modelling, Communication and Analysisent://SD_ILS/0/SD_ILS:6146292026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Lankhorst, Marc. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6172402026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-55751-8">https://doi.org/10.1007/978-3-662-55751-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Simulating Crowds in Egress Scenariosent://SD_ILS/0/SD_ILS:6136572026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Cassol, Vinícius J. author. Musse, Soraia R. author. Jung, Cláudio R. author. Badler, Norman I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-65202-3">https://doi.org/10.1007/978-3-319-65202-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspectiveent://SD_ILS/0/SD_ILS:6143632026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Bermbach, David. author. Wittern, Erik. author. Tai, Stefan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55483-9">https://doi.org/10.1007/978-3-319-55483-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models of Computationent://SD_ILS/0/SD_ILS:6160612026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42900-7">https://doi.org/10.1007/978-3-319-42900-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Self-Aware Computing Systemsent://SD_ILS/0/SD_ILS:6115352026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47474-8">https://doi.org/10.1007/978-3-319-47474-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6130732026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178562026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar 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/>Concise Guide to Formal Methods Theory, Fundamentals and Industry Applicationsent://SD_ILS/0/SD_ILS:6175362026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6118082026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42085-1">https://doi.org/10.1007/978-3-319-42085-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6119842026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42108-7">https://doi.org/10.1007/978-3-319-42108-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6120852026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42089-9">https://doi.org/10.1007/978-3-319-42089-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6137262026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42092-9">https://doi.org/10.1007/978-3-319-42092-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Computational Science XXVIIent://SD_ILS/0/SD_ILS:6161602026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-50412-3">https://doi.org/10.1007/978-3-662-50412-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6181382026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42111-7">https://doi.org/10.1007/978-3-319-42111-7</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-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Á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/>SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6162842026-04-09T04:56:05Z2026-04-09T04:56:05ZYazar Freivalds, Rūsiņš Mārtiņš. editor. Engels, Gregor. editor. Catania, Barbara. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49192-8">https://doi.org/10.1007/978-3-662-49192-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>