Search Results for Higher. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dHigher.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300?
2026-05-14T23:17:02Z
Higher Education Computer Science A Manual of Practical Approaches
ent://SD_ILS/0/SD_ILS:399820
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Carter, Jenny. editor. O'Grady, Michael. editor. (orcid)0000-0002-6250-4736 Rosen, Clive. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98590-9">https://doi.org/10.1007/978-3-319-98590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Higher-Order Sheffer Orthogonal Polynomial Sequences
ent://SD_ILS/0/SD_ILS:331912
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Galiffa, Daniel J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331912.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5969-9">http://dx.doi.org/10.1007/978-1-4614-5969-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Changing Cultures in Higher Education Moving Ahead to Future Learning
ent://SD_ILS/0/SD_ILS:190671
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Ehlers, Ulf-Daniel. editor. Schneckenberg, Dirk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03582-1">http://dx.doi.org/10.1007/978-3-642-03582-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190601
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Berghofer, Stefan. editor. Nipkow, Tobias. editor. Urban, Christian. editor. Wenzel, Makarius. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03359-9">http://dx.doi.org/10.1007/978-3-642-03359-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Higher-Order Components for Grid Programming Making Grids More Usable
ent://SD_ILS/0/SD_ILS:189809
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Dünnweber, Jan. author. Gorlatch, Sergei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00841-2">http://dx.doi.org/10.1007/978-3-642-00841-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:186166
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author 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. Proceedings
ent://SD_ILS/0/SD_ILS:187207
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author 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. Proceedings
ent://SD_ILS/0/SD_ILS:182332
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author 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. Proceedings
ent://SD_ILS/0/SD_ILS:182907
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author 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/>
Maths For Computing A Beginner's Guide
ent://SD_ILS/0/SD_ILS:606296
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69234-5">https://doi.org/10.1007/978-3-031-69234-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Tools for Telemedicine
ent://SD_ILS/0/SD_ILS:608381
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81709-0">https://doi.org/10.1007/978-3-031-81709-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Category Theory Using Haskell An Introduction with Moggi and Yoneda
ent://SD_ILS/0/SD_ILS:606405
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68538-5">https://doi.org/10.1007/978-3-031-68538-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:608168
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85352-4">https://doi.org/10.1007/978-3-031-85352-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R
ent://SD_ILS/0/SD_ILS:610583
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Leung, Ricky. author. (orcid)0000-0002-2852-6771 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-08677-8">https://doi.org/10.1007/978-3-032-08677-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Assistive Technologies and Informatics for Students with Disabilities
ent://SD_ILS/0/SD_ILS:606525
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Kaluri, Rajesh. editor. Mahmud, Mufti. editor. Gadekallu, Thippa Reddy. editor. (orcid)0000-0003-0097-801X Rajput, Dharmendra Singh. editor. Lakshmanna, Kuruva. editor. (orcid)0000-0003-3480-4851<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-0914-4">https://doi.org/10.1007/978-981-97-0914-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creative approaches towards development of computing and multidisciplinary IT solutions for society
ent://SD_ILS/0/SD_ILS:599371
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Bijalwan, Anchit, editor.<br/>Preferred Shelf Number QA76 .C74 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303</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 Tools
ent://SD_ILS/0/SD_ILS:612946
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author 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/>
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, Proceedings
ent://SD_ILS/0/SD_ILS:612292
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author 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/>
Models of Computation
ent://SD_ILS/0/SD_ILS:616061
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author 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 Papers
ent://SD_ILS/0/SD_ILS:616187
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author 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, Proceedings
ent://SD_ILS/0/SD_ILS:616714
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author 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/>
Directed Algebraic Topology and Concurrency
ent://SD_ILS/0/SD_ILS:615495
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15398-8">https://doi.org/10.1007/978-3-319-15398-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scala: From a Functional Programming Perspective An Introduction to the Programming Language
ent://SD_ILS/0/SD_ILS:611120
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author 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, Proceedings
ent://SD_ILS/0/SD_ILS:613275
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author 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/>
Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618117
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44781-0">https://doi.org/10.1007/978-3-319-44781-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611948
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44778-0">https://doi.org/10.1007/978-3-319-44778-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nutrient Use Efficiency: from Basics to Advances
ent://SD_ILS/0/SD_ILS:530456
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Rakshit, Amitava. editor. Singh, Harikesh Bahadur. editor. Sen, Avijit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2169-2">https://doi.org/10.1007/978-81-322-2169-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Strength in Numbers: The Rising of Academic Statistics Departments in the U. S.
ent://SD_ILS/0/SD_ILS:331361
2026-05-14T23:17:02Z
2026-05-14T23:17:02Z
Author Agresti, Alan. editor. Meng, Xiao-Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331361.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3649-2">http://dx.doi.org/10.1007/978-1-4614-3649-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>