Arama Sonuçları Higher. - Daraltılmış: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dHigher.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?2026-05-14T23:35:31ZTheorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1861662026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Mohamed, Otmane Ait. editor. Muñoz, César. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71067-7">http://dx.doi.org/10.1007/978-3-540-71067-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1872072026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Schneider, Klaus. editor. Brandt, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74591-4">http://dx.doi.org/10.1007/978-3-540-74591-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedingsent://SD_ILS/0/SD_ILS:1823322026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Maher, Michael J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b103476">http://dx.doi.org/10.1007/b103476</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829072026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11541868">http://dx.doi.org/10.1007/11541868</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPXent://SD_ILS/0/SD_ILS:6041592026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Diehl, Patrick. author. Brandt, Steven R. author. Kaiser, Hartmut. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-54369-2">https://doi.org/10.1007/978-3-031-54369-2</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-05-14T23:35:31Z2026-05-14T23:35:31ZYazar 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/>Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Toolsent://SD_ILS/0/SD_ILS:6129462026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122922026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Yang, Hongseok. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models of Computationent://SD_ILS/0/SD_ILS:6160612026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42900-7">https://doi.org/10.1007/978-3-319-42900-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6161872026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-54072-6">https://doi.org/10.1007/978-3-319-54072-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167142026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projectsent://SD_ILS/0/SD_ILS:6119042026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Book, Matthias. author. Gruhn, Volker. author. Striemer, Rüdiger. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41478-2">https://doi.org/10.1007/978-3-319-41478-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:6111202026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Torra, Vicenç. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46481-7">https://doi.org/10.1007/978-3-319-46481-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6132752026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quality in Business Process Modelingent://SD_ILS/0/SD_ILS:6141812026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Krogstie, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42512-2">https://doi.org/10.1007/978-3-319-42512-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pro JavaScript Development Coding, Capabilities, and Toolingent://SD_ILS/0/SD_ILS:6185242026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Odell, Den. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4302-6269-5">https://doi.org/10.1007/978-1-4302-6269-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data structure and software engineering : challenges and improvementsent://SD_ILS/0/SD_ILS:5397092026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Antonakos, James L.<br/>Yer Numarası QA76.9 .D35 D38 2011<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466562608">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Software engineering : a practitioner's approachent://SD_ILS/0/SD_ILS:3132492026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Pressman, Roger S.<br/>Yer Numarası QA76.758 P75 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Software project managementent://SD_ILS/0/SD_ILS:3132512026-05-14T23:35:31Z2026-05-14T23:35:31ZYazar Hughes, Bob. Cotterell, Mike.<br/>Yer Numarası QA76.76 H84 2009<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>