Arama Sonuçları COMPUTERS. - Daraltılmış: Compilers and Interpreters.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCOMPUTERS.$0026qf$003dSUBJECT$002509Konu$002509Compilers$002band$002bInterpreters.$002509Compilers$002band$002bInterpreters.$0026ps$003d300?2026-05-12T16:39:03ZAIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedingsent://SD_ILS/0/SD_ILS:6068162026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-80607-0">https://doi.org/10.1007/978-3-031-80607-0</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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 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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6018082026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Morishima, Atsuyuki. editor. (orcid)0000-0003-4606-9065 Li, Guoliang. editor. (orcid)0000-0002-1398-0621 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262 Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502 Jagadish, H. V. editor. (orcid)0000-0003-0724-5214<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-0914-7">https://doi.org/10.1007/978-981-96-0914-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6055042026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Pluhár, Zsuzsa. editor. (orcid)0000-0003-2688-4652 Gaál, Bence. editor. (orcid)0000-0001-8771-7140 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-73474-8">https://doi.org/10.1007/978-3-031-73474-8</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6052882026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439 Najjar, Amro. editor. (orcid)0000-0001-7784-6176 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869 Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999 Carli, Rachele. editor. (orcid)0000-0002-8689-285X<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70074-3">https://doi.org/10.1007/978-3-031-70074-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advancing OpenMP for Future Accelerators 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6059272026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Espinosa, Alexis. editor. (orcid)0000-0002-8869-3985 Klemm, Michael. editor. (orcid)0000-0002-8634-4634 de Supinski, Bronis R. editor. (orcid)0000-0002-0339-1006 Cytowski, Maciej. editor. (orcid)0000-0002-0007-0979 Klinkenberg, Jannis. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-72567-8">https://doi.org/10.1007/978-3-031-72567-8</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6109982026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-65578-9">https://doi.org/10.1007/978-3-319-65578-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6119112026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-62404-4">https://doi.org/10.1007/978-3-319-62404-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:6122422026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67630-2">https://doi.org/10.1007/978-3-319-67630-2</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:6133422026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72308-2">https://doi.org/10.1007/978-3-319-72308-2</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6116082026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-65948-0">https://doi.org/10.1007/978-3-319-65948-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6116152026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66299-2">https://doi.org/10.1007/978-3-319-66299-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6125572026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Programming with Scala Language Explorationent://SD_ILS/0/SD_ILS:6132982026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6132422026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68167-2">https://doi.org/10.1007/978-3-319-68167-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6142602026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66845-1">https://doi.org/10.1007/978-3-319-66845-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167502026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6183552026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Pham, Congduc. editor. Altmann, Jörn. editor. Bañares, José Ángel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68066-8">https://doi.org/10.1007/978-3-319-68066-8</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6131422026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Wang, Hongbing. editor. Yu, Qi. editor. Wang, Yan. editor. Yan, Yuhong. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68136-8">https://doi.org/10.1007/978-3-319-68136-8</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6135322026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67549-7">https://doi.org/10.1007/978-3-319-67549-7</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161172026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61482-3">https://doi.org/10.1007/978-3-319-61482-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161262026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67531-2">https://doi.org/10.1007/978-3-319-67531-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162222026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Perner, Petra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-62701-4">https://doi.org/10.1007/978-3-319-62701-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162592026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Dou, Yong. editor. Lin, Haixiang. editor. Sun, Guangyu. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Heras, Dora. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67952-5">https://doi.org/10.1007/978-3-319-67952-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162702026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lecturesent://SD_ILS/0/SD_ILS:6178412026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160132026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61470-0">https://doi.org/10.1007/978-3-319-61470-0</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161112026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Botterweck, Goetz. editor. Werner, Claudia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-56856-0">https://doi.org/10.1007/978-3-319-56856-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6168632026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Lopes, Antónia. editor. de Lemos, Rogério. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-65831-5">https://doi.org/10.1007/978-3-319-65831-5</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6114272026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Perner, Petra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41561-1">https://doi.org/10.1007/978-3-319-41561-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Instruction Level Parallelisment://SD_ILS/0/SD_ILS:6119762026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Aiken, Alex. author. Banerjee, Utpal. author. Kejariwal, Arun. author. Nicolau, Alexandru. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4899-7797-7">https://doi.org/10.1007/978-1-4899-7797-7</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6168862026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46982-9">https://doi.org/10.1007/978-3-319-46982-9</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Transactions on Modularity and Composition Ient://SD_ILS/0/SD_ILS:6178182026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6183252026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44902-9">https://doi.org/10.1007/978-3-319-44902-9</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6117252026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-31559-1">https://doi.org/10.1007/978-3-319-31559-1</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6160982026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Maruyama, Naoya. editor. de Supinski, Bronis R. editor. Wahib, Mohamed. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45550-1">https://doi.org/10.1007/978-3-319-45550-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:6161342026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>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-05-12T16:39:03Z2026-05-12T16:39:03ZYazar 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/>Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6169862026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47443-4">https://doi.org/10.1007/978-3-319-47443-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning Application Lifecycle Managementent://SD_ILS/0/SD_ILS:6186162026-05-12T16:39:03Z2026-05-12T16:39:03ZYazar Rossberg, Joachim. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-5813-1">https://doi.org/10.1007/978-1-4302-5813-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>