Arama Sonuçları Control. - Daraltılmış: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dControl.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list2026-04-02T18:24:28ZSoftware Product Quality Controlent://SD_ILS/0/SD_ILS:3346252026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Wagner, Stefan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334625.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38571-1">http://dx.doi.org/10.1007/978-3-642-38571-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications of Intelligent Control to Engineering Systemsent://SD_ILS/0/SD_ILS:2049512026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Valavanis, Kimon P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-3018-4">http://dx.doi.org/10.1007/978-90-481-3018-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-04-02T18:24:28Z2026-04-02T18:24:28ZYazar 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/>Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2ent://SD_ILS/0/SD_ILS:6055672026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar 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/>High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6024252026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-51057-1">https://doi.org/10.1007/978-3-031-51057-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Thinking-Driven Testing The Most Reasonable Approach to Quality Controlent://SD_ILS/0/SD_ILS:4016502026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Roman, Adam. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73195-7">https://doi.org/10.1007/978-3-319-73195-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Toolsent://SD_ILS/0/SD_ILS:4012772026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087 van der Mei, R. D. editor. van den Berg, Hans. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90415-3">https://doi.org/10.1007/978-3-319-90415-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Controlent://SD_ILS/0/SD_ILS:6121302026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Goldbach, Tobias. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-14893-5">https://doi.org/10.1007/978-3-658-14893-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Break-Glass Handling Exceptional Situations in Access Controlent://SD_ILS/0/SD_ILS:4883752026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Petritsch, Helmut. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-07365-7">https://doi.org/10.1007/978-3-658-07365-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Making sense of agile project management balancing control and agilityent://SD_ILS/0/SD_ILS:2989362026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Cobb, Charles G., 1945-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118085950">An electronic book accessible through the World Wide Web; click for information</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=40741">http://www.books24x7.com/marc.asp?bookid=40741</a>
Wiley InterScience - Full Text Online <a href="http://onlinelibrary.wiley.com/book/10.1002/9781118085950">http://onlinelibrary.wiley.com/book/10.1002/9781118085950</a>
Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9780470943366.jpg">http://catalogimages.wiley.com/images/db/jimages/9780470943366.jpg</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10447802">http://site.ebrary.com/lib/alltitles/Doc?id=10447802</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Control and Automation, and Energy System Engineering International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1961042026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-26010-0">http://dx.doi.org/10.1007/978-3-642-26010-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1936582026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor. Stoica, Adrian. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17625-8">http://dx.doi.org/10.1007/978-3-642-17625-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Incentives, Overlays, and Economic Traffic Control Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929842026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Stiller, Burkhard. editor. Hoßfeld, Tobias. editor. Stamoulis, George D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15485-0">http://dx.doi.org/10.1007/978-3-642-15485-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1896692026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Altman, Eitan. editor. Chaintreau, Augustin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00393-6">http://dx.doi.org/10.1007/978-3-642-00393-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897432026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00602-9">http://dx.doi.org/10.1007/978-3-642-00602-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882802026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78929-1">http://dx.doi.org/10.1007/978-3-540-78929-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008ent://SD_ILS/0/SD_ILS:1703642026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Mahr, Bernd. editor. Huanye, Sheng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8889-6">http://dx.doi.org/10.1007/978-1-4020-8889-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007ent://SD_ILS/0/SD_ILS:1697332026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6254-4">http://dx.doi.org/10.1007/978-1-4020-6254-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1866312026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Chahed, Tijani. editor. Tuffin, Bruno. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72709-5">http://dx.doi.org/10.1007/978-3-540-72709-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862962026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71493-4">http://dx.doi.org/10.1007/978-3-540-71493-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836452026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11730637">http://dx.doi.org/10.1007/11730637</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Access Control Systems Security, Identity Management and Trust Modelsent://SD_ILS/0/SD_ILS:1654332026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Benantar, Messaoud. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/0-387-27716-1">http://dx.doi.org/10.1007/0-387-27716-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Switching and Learning in Feedback Systems European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papersent://SD_ILS/0/SD_ILS:1823592026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Murray-Smith, Roderick. editor. Shorten, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b105497">http://dx.doi.org/10.1007/b105497</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830262026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106766">http://dx.doi.org/10.1007/b106766</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approachent://SD_ILS/0/SD_ILS:1759312026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-244-3">http://dx.doi.org/10.1007/978-1-84882-244-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Green IT Engineering: Concepts, Models, Complex Systems Architecturesent://SD_ILS/0/SD_ILS:6113722026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44162-7">https://doi.org/10.1007/978-3-319-44162-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design and Use of Serious Gamesent://SD_ILS/0/SD_ILS:1705512026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9496-5">http://dx.doi.org/10.1007/978-1-4020-9496-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMSent://SD_ILS/0/SD_ILS:5630102026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Hobbs, Chris (Christopher W.)<br/>Yer Numarası QA76.76 .D47<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003598145">https://www.taylorfrancis.com/books/9781003598145</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Strategic software quality management : how to incorporate sustainable continuous improvement practicesent://SD_ILS/0/SD_ILS:5639062026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Fidanboy, Mahsa, author. Fidanboy, Cemalettin Öcal, author.<br/>Yer Numarası QA76.76 .Q35<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003491606">https://www.taylorfrancis.com/books/9781003491606</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6054722026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6057172026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75387-9">https://doi.org/10.1007/978-3-031-75387-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057232026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74498-3">https://doi.org/10.1007/978-3-031-74498-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6057362026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6057382026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75390-9">https://doi.org/10.1007/978-3-031-75390-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6057832026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75380-0">https://doi.org/10.1007/978-3-031-75380-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6064902026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-73716-9">https://doi.org/10.1007/978-3-031-73716-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Smart Cities 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12-14, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6077812026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-85324-1">https://doi.org/10.1007/978-3-031-85324-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6077022026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-87054-5">https://doi.org/10.1007/978-3-031-87054-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lecturesent://SD_ILS/0/SD_ILS:6079732026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Software Project Managementent://SD_ILS/0/SD_ILS:6082562026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-80578-3">https://doi.org/10.1007/978-3-031-80578-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6050952026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71162-6">https://doi.org/10.1007/978-3-031-71162-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6051212026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71177-0">https://doi.org/10.1007/978-3-031-71177-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6062032026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-77382-2">https://doi.org/10.1007/978-3-031-77382-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6069862026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-0774-7">https://doi.org/10.1007/978-981-96-0774-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIIIent://SD_ILS/0/SD_ILS:6069872026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-0783-9">https://doi.org/10.1007/978-981-96-0783-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6069992026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-0771-6">https://doi.org/10.1007/978-981-96-0771-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIIent://SD_ILS/0/SD_ILS:6070002026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-0780-8">https://doi.org/10.1007/978-981-96-0780-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6070012026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-0795-2">https://doi.org/10.1007/978-981-96-0795-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part Xent://SD_ILS/0/SD_ILS:6070172026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-0786-0">https://doi.org/10.1007/978-981-96-0786-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IXent://SD_ILS/0/SD_ILS:6070182026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-0789-1">https://doi.org/10.1007/978-981-96-0789-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IVent://SD_ILS/0/SD_ILS:6070192026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-0798-3">https://doi.org/10.1007/978-981-96-0798-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 1ent://SD_ILS/0/SD_ILS:6075852026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Hu, Jiangping. editor. (orcid)0000-0002-7559-8604 Zhang, Jin. editor. (orcid)0000-0002-7464-2247 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-3013-4">https://doi.org/10.1007/978-981-96-3013-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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:6082962026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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 IIIent://SD_ILS/0/SD_ILS:6082972026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6082992026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90900-9">https://doi.org/10.1007/978-3-031-90900-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 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:6083202026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6055032026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66149-5">https://doi.org/10.1007/978-3-031-66149-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6065962026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-74430-3">https://doi.org/10.1007/978-3-031-74430-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIent://SD_ILS/0/SD_ILS:6070342026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-0792-1">https://doi.org/10.1007/978-981-96-0792-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6070642026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-78377-7">https://doi.org/10.1007/978-3-031-78377-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6070652026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-78380-7">https://doi.org/10.1007/978-3-031-78380-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6070832026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-78459-0">https://doi.org/10.1007/978-3-031-78459-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6070842026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-78462-0">https://doi.org/10.1007/978-3-031-78462-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part Vent://SD_ILS/0/SD_ILS:6071512026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-0777-8">https://doi.org/10.1007/978-981-96-0777-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 2ent://SD_ILS/0/SD_ILS:6078372026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Hu, Jiangping. editor. (orcid)0000-0002-7559-8604 Zhang, Jin. editor. (orcid)0000-0002-7464-2247 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-96-3161-2">https://doi.org/10.1007/978-981-96-3161-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Active Inference 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6019722026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Buckley, Christopher L. editor. Cialfi, Daniela. editor. (orcid)0000-0001-8953-062X Lanillos, Pablo. editor. (orcid)0000-0001-9154-0798 Ramstead, Maxwell. editor. Sajid, Noor. editor. (orcid)0000-0003-1904-2887<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-47958-8">https://doi.org/10.1007/978-3-031-47958-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Fundamental Research for Trustworthy Softwareent://SD_ILS/0/SD_ILS:6020002026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar He, Jifeng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-5589-3">https://doi.org/10.1007/978-981-99-5589-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6022162026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50521-8">https://doi.org/10.1007/978-3-031-50521-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6022172026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50524-9">https://doi.org/10.1007/978-3-031-50524-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mechatronics - Industry-Inspired Advancesent://SD_ILS/0/SD_ILS:6040662026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Martowicz, Adam. editor. (orcid)0000-0001-9630-0355 Mańka, Michał. editor. (orcid)0000-0002-2959-9681 Mendrok, Krzysztof. editor. (orcid)0000-0002-3720-6454 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63444-4">https://doi.org/10.1007/978-3-031-63444-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Design for Resilient Computer Systemsent://SD_ILS/0/SD_ILS:6043072026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55139-0">https://doi.org/10.1007/978-3-031-55139-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirementent://SD_ILS/0/SD_ILS:6049562026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-67114-2">https://doi.org/10.1007/978-3-031-67114-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6043372026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Thórisson, Kristinn R. editor. (orcid)0000-0003-3842-0564 Isaev, Peter. editor. Sheikhlar, Arash. editor. (orcid)0000-0002-0568-075X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-65572-2">https://doi.org/10.1007/978-3-031-65572-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6048482026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-69766-1">https://doi.org/10.1007/978-3-031-69766-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6050432026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71379-8">https://doi.org/10.1007/978-3-031-71379-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6050822026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-68606-1">https://doi.org/10.1007/978-3-031-68606-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6066862026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-77426-3">https://doi.org/10.1007/978-3-031-77426-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6066872026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-77432-4">https://doi.org/10.1007/978-3-031-77432-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel Computational Technologies 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6067682026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-73372-7">https://doi.org/10.1007/978-3-031-73372-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Structures of Computing A Guide to Practice-Oriented Theoryent://SD_ILS/0/SD_ILS:6027732026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-54358-6">https://doi.org/10.1007/978-3-031-54358-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6036432026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-61753-9">https://doi.org/10.1007/978-3-031-61753-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency XVIIent://SD_ILS/0/SD_ILS:6023262026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-68191-6">https://doi.org/10.1007/978-3-662-68191-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6024762026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-53025-8">https://doi.org/10.1007/978-3-031-53025-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6025042026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-53036-4">https://doi.org/10.1007/978-3-031-53036-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>New Perspectives in Software Engineeringent://SD_ILS/0/SD_ILS:6026272026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187 Hernández Pérez, Yasmin. editor. (orcid)0000-0002-8842-0899 Avila-George, Himer. editor. (orcid)0000-0001-8578-0170<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50590-4">https://doi.org/10.1007/978-3-031-50590-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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:6031452026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-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 30th International Conference, TACAS 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:6031512026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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 IIIent://SD_ILS/0/SD_ILS:6031522026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6031612026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Software Development Approach for Driving Competitiveness in Small Firmsent://SD_ILS/0/SD_ILS:5560942026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Chevers, Delroy A., author.<br/>Yer Numarası HD2341<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003388944">https://www.taylorfrancis.com/books/9781003388944</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computingent://SD_ILS/0/SD_ILS:5289872026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lee, Roger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-19604-1">https://doi.org/10.1007/978-3-031-19604-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An introduction to self-adaptive systems : a contemporary software engineering perspectiveent://SD_ILS/0/SD_ILS:5963512026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Weyns, Danny.<br/>Yer Numarası QA76.76 .S375<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Official Google Cloud Certified Professional Data Engineer study guideent://SD_ILS/0/SD_ILS:5960212026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Sullivan, Dan, 1962-<br/>Yer Numarası QA76.3<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concise Guide to Software Testingent://SD_ILS/0/SD_ILS:4857102026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-28494-7">https://doi.org/10.1007/978-3-030-28494-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The DevOps adoption playbook : a guide to adopting DevOps in a multi-speed IT enterpriseent://SD_ILS/0/SD_ILS:5932872026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Sharma, Sanjeev (Information technology executive), author.<br/>Yer Numarası QA76.758<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119310778">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119310778</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming in HTML and PHP Coding for Scientists and Engineersent://SD_ILS/0/SD_ILS:6110232026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Brooks, David R. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-56973-4">https://doi.org/10.1007/978-3-319-56973-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6121512026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Dang, Tran Khanh. editor. Wagner, Roland. editor. Küng, Josef. editor. Thoai, Nam. editor. Takizawa, Makoto. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70004-5">https://doi.org/10.1007/978-3-319-70004-5</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-04-02T18:24:28Z2026-04-02T18:24:28ZYazar 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/>Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016ent://SD_ILS/0/SD_ILS:6153012026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-3950-8">https://doi.org/10.1007/978-981-10-3950-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetingsent://SD_ILS/0/SD_ILS:6155002026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Nakajima, Shin. editor. Talpin, Jean-Pierre. editor. Toyoshima, Masumi. editor. Yu, Huafeng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-4436-6">https://doi.org/10.1007/978-981-10-4436-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Exploring Services Science 8th International Conference, IESS 2017, Rome, Italy, May 24-26, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6114972026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Za, Stefano. editor. Drăgoicea, Monica. editor. Cavallari, Maurizio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-56925-3">https://doi.org/10.1007/978-3-319-56925-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mastering Software Variability with FeatureIDEent://SD_ILS/0/SD_ILS:6135252026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Meinicke, Jens. author. Thüm, Thomas. author. Schröter, Reimar. author. Benduhn, Fabian. author. Leich, Thomas. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61443-4">https://doi.org/10.1007/978-3-319-61443-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6136202026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-57858-3">https://doi.org/10.1007/978-3-319-57858-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Scientific Computing in C++ent://SD_ILS/0/SD_ILS:6175612026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6183082026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60045-1">https://doi.org/10.1007/978-3-319-60045-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6110892026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Mařík, Vladimír. editor. Wahlster, Wolfgang. editor. Strasser, Thomas. editor. Kadera, Petr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64635-0">https://doi.org/10.1007/978-3-319-64635-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6116292026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60042-0">https://doi.org/10.1007/978-3-319-60042-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6120442026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68499-4">https://doi.org/10.1007/978-3-319-68499-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Organic Computing - Technical Systems for Survival in the Real Worldent://SD_ILS/0/SD_ILS:6120552026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Müller-Schloer, Christian. author. Tomforde, Sven. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68477-2">https://doi.org/10.1007/978-3-319-68477-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6120922026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66923-6">https://doi.org/10.1007/978-3-319-66923-6</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-04-02T18:24:28Z2026-04-02T18:24:28ZYazar 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/>Pervasive Computing Engineering Smart Systemsent://SD_ILS/0/SD_ILS:6173712026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6184192026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66926-7">https://doi.org/10.1007/978-3-319-66926-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Autonomic Road Transport Support Systemsent://SD_ILS/0/SD_ILS:6155422026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-25808-9">https://doi.org/10.1007/978-3-319-25808-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015ent://SD_ILS/0/SD_ILS:6136102026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-0551-0">https://doi.org/10.1007/978-981-10-0551-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Frontier Computing Theory, Technologies and Applicationsent://SD_ILS/0/SD_ILS:6149312026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-0539-8">https://doi.org/10.1007/978-981-10-0539-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Drivingent://SD_ILS/0/SD_ILS:6157932026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33361-8">https://doi.org/10.1007/978-3-319-33361-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Process Mining Data Science in Actionent://SD_ILS/0/SD_ILS:6177792026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6180152026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30806-7">https://doi.org/10.1007/978-3-319-30806-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Trustworthy Open Self-Organising Systemsent://SD_ILS/0/SD_ILS:6184522026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Reif, Wolfgang. editor. Anders, Gerrit. editor. Seebach, Hella. editor. Steghöfer, Jan-Philipp. editor. André, Elisabeth. editor. (orcid)0000-0002-2367-162X<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29201-4">https://doi.org/10.1007/978-3-319-29201-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling with UML Language, Concepts, Methodsent://SD_ILS/0/SD_ILS:6128682026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Rumpe, Bernhard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33933-7">https://doi.org/10.1007/978-3-319-33933-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130382026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44878-7">https://doi.org/10.1007/978-3-319-44878-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Design for Resilient Computer Systemsent://SD_ILS/0/SD_ILS:6177292026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29465-0">https://doi.org/10.1007/978-3-319-29465-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:6178152026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agile Risk Managementent://SD_ILS/0/SD_ILS:4884302026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Moran, Alan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05008-9">https://doi.org/10.1007/978-3-319-05008-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pro Viment://SD_ILS/0/SD_ILS:6186762026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar McDonnell, Mark. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0250-0">https://doi.org/10.1007/978-1-4842-0250-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Unboxing Android USB A hands on approach with real world examplesent://SD_ILS/0/SD_ILS:6185202026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Regupathy, Rajaram. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6209-1">https://doi.org/10.1007/978-1-4302-6209-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>PHP for Absolute Beginnersent://SD_ILS/0/SD_ILS:6185272026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Lengstorf, Jason. author. Blom Hansen, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6814-7">https://doi.org/10.1007/978-1-4302-6814-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning COBOL for Programmersent://SD_ILS/0/SD_ILS:6185622026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Coughlan, Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6254-1">https://doi.org/10.1007/978-1-4302-6254-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning HTML5 Games with CreateJSent://SD_ILS/0/SD_ILS:6185642026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Manderscheid, Brad. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6341-8">https://doi.org/10.1007/978-1-4302-6341-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pro Gitent://SD_ILS/0/SD_ILS:6186622026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Chacon, Scott. author. Straub, Ben. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0076-6">https://doi.org/10.1007/978-1-4842-0076-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>JavaScript Creativity Exploring the Modern Capabilities of JavaScript and HTML5ent://SD_ILS/0/SD_ILS:6186192026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Hudson, Shane. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-5945-9">https://doi.org/10.1007/978-1-4302-5945-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programmingent://SD_ILS/0/SD_ILS:3338842026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Kormanyos, Christopher Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333884.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34688-0">http://dx.doi.org/10.1007/978-3-642-34688-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>RoboCup 2009: Robot Soccer World Cup XIIIent://SD_ILS/0/SD_ILS:1918262026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Baltes, Jacky. editor. Lagoudakis, Michail G. editor. Naruse, Tadashi. editor. Ghidary, Saeed Shiry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11876-0">http://dx.doi.org/10.1007/978-3-642-11876-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfenent://SD_ILS/0/SD_ILS:1896322026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Tiegelkamp, Michael. author. John, Karl Heinz. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00269-4">http://dx.doi.org/10.1007/978-3-642-00269-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>RoboCup 2008: Robot Soccer World Cup XIIent://SD_ILS/0/SD_ILS:1904612026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Iocchi, Luca. editor. Matsubara, Hitoshi. editor. Weitzenfeld, Alfredo. editor. Zhou, Changjiu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02921-9">http://dx.doi.org/10.1007/978-3-642-02921-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical support for lean six sigma software process definition using IEEE software engineering standardsent://SD_ILS/0/SD_ILS:2493252026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Land, Susan K. Smith, Douglas Burr, 1943- Walz, John W.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software engineering quality practicesent://SD_ILS/0/SD_ILS:5428572026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Kandt, Ronald Kirk., author.<br/>Yer Numarası QA76.758 .K35 2006<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420031102">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>RoboCup 2004: Robot Soccer World Cup VIIIent://SD_ILS/0/SD_ILS:1832432026-04-02T18:24:28Z2026-04-02T18:24:28ZYazar Nardi, Daniele. editor. Riedmiller, Martin. editor. Sammut, Claude. editor. Santos-Victor, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106671">http://dx.doi.org/10.1007/b106671</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>