Search Results for Higher. - Narrowed by: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dHigher.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300?2026-05-15T22:49:26ZTheorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1861662026-05-15T22:49:26Z2026-05-15T22:49:26ZAuthor Mohamed, Otmane Ait. editor. Muñoz, César. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-15T22:49:26Z2026-05-15T22:49:26ZAuthor Schneider, Klaus. editor. Brandt, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-15T22:49:26Z2026-05-15T22:49:26ZAuthor Maher, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103476">http://dx.doi.org/10.1007/b103476</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-15T22:49:26Z2026-05-15T22:49:26ZAuthor Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11541868">http://dx.doi.org/10.1007/11541868</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPXent://SD_ILS/0/SD_ILS:6041592026-05-15T22:49:26Z2026-05-15T22:49:26ZAuthor Diehl, Patrick. author. Brandt, Steven R. author. Kaiser, Hartmut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The DevOps adoption playbook : a guide to adopting DevOps in a multi-speed IT enterpriseent://SD_ILS/0/SD_ILS:5932872026-05-15T22:49:26Z2026-05-15T22:49:26ZAuthor Sharma, Sanjeev (Information technology executive), author.<br/>Preferred Shelf Number QA76.758<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119310778">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119310778</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-15T22:49:26Z2026-05-15T22:49:26ZAuthor Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Toolsent://SD_ILS/0/SD_ILS:6129462026-05-15T22:49:26Z2026-05-15T22:49:26ZAuthor Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Models of Computationent://SD_ILS/0/SD_ILS:6160612026-05-15T22:49:26Z2026-05-15T22:49:26ZAuthor Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-15T22:49:26Z2026-05-15T22:49:26ZAuthor Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-15T22:49:26Z2026-05-15T22:49:26ZAuthor Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:6111202026-05-15T22:49:26Z2026-05-15T22:49:26ZAuthor Torra, Vicenç. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-15T22:49:26Z2026-05-15T22:49:26ZAuthor Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Quality in Business Process Modelingent://SD_ILS/0/SD_ILS:6141812026-05-15T22:49:26Z2026-05-15T22:49:26ZAuthor Krogstie, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projectsent://SD_ILS/0/SD_ILS:6119042026-05-15T22:49:26Z2026-05-15T22:49:26ZAuthor Book, Matthias. author. Gruhn, Volker. author. Striemer, Rüdiger. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Pro JavaScript Development Coding, Capabilities, and Toolingent://SD_ILS/0/SD_ILS:6185242026-05-15T22:49:26Z2026-05-15T22:49:26ZAuthor Odell, Den. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Data structure and software engineering : challenges and improvementsent://SD_ILS/0/SD_ILS:5397092026-05-15T22:49:26Z2026-05-15T22:49:26ZAuthor Antonakos, James L.<br/>Preferred Shelf Number QA76.9 .D35 D38 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466562608">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Software engineering : a practitioner's approachent://SD_ILS/0/SD_ILS:3132492026-05-15T22:49:26Z2026-05-15T22:49:26ZAuthor Pressman, Roger S.<br/>Preferred Shelf Number QA76.758 P75 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Software project managementent://SD_ILS/0/SD_ILS:3132512026-05-15T22:49:26Z2026-05-15T22:49:26ZAuthor Hughes, Bob. Cotterell, Mike.<br/>Preferred Shelf Number QA76.76 H84 2009<br/>Format: Books<br/>Availability Beytepe Library~1<br/>