Arama Sonuçları Higher. - Daraltılmış: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dHigher.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?
2026-05-14T16:19:33Z
Higher Education Computer Science A Manual of Practical Approaches
ent://SD_ILS/0/SD_ILS:399820
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Carter, Jenny. editor. O'Grady, Michael. editor. (orcid)0000-0002-6250-4736 Rosen, Clive. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On the Higher-Order Sheffer Orthogonal Polynomial Sequences
ent://SD_ILS/0/SD_ILS:331912
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Galiffa, Daniel J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331912.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Changing Cultures in Higher Education Moving Ahead to Future Learning
ent://SD_ILS/0/SD_ILS:190671
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Ehlers, Ulf-Daniel. editor. Schneckenberg, Dirk. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Higher-Order Components for Grid Programming Making Grids More Usable
ent://SD_ILS/0/SD_ILS:189809
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Dünnweber, Jan. author. Gorlatch, Sergei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Berghofer, Stefan. editor. Nipkow, Tobias. editor. Urban, Christian. editor. Wenzel, Makarius. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar 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. Proceedings
ent://SD_ILS/0/SD_ILS:187207
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar 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. Proceedings
ent://SD_ILS/0/SD_ILS:182332
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar 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. Proceedings
ent://SD_ILS/0/SD_ILS:182907
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar 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/>
Maths For Computing A Beginner's Guide
ent://SD_ILS/0/SD_ILS:606296
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Category Theory Using Haskell An Introduction with Moggi and Yoneda
ent://SD_ILS/0/SD_ILS:606405
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R
ent://SD_ILS/0/SD_ILS:610583
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Leung, Ricky. author. (orcid)0000-0002-2852-6771 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:608168
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Tools for Telemedicine
ent://SD_ILS/0/SD_ILS:608381
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Creative approaches towards development of computing and multidisciplinary IT solutions for society
ent://SD_ILS/0/SD_ILS:599371
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Bijalwan, Anchit, editor.<br/>Yer Numarası QA76 .C74 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applied Assistive Technologies and Informatics for Students with Disabilities
ent://SD_ILS/0/SD_ILS:606525
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: 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, Proceedings
ent://SD_ILS/0/SD_ILS:612292
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar 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/>
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
ent://SD_ILS/0/SD_ILS:612946
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar 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/>
Models of Computation
ent://SD_ILS/0/SD_ILS:616061
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar 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 Papers
ent://SD_ILS/0/SD_ILS:616187
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar 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, Proceedings
ent://SD_ILS/0/SD_ILS:616714
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar 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/>
Scala: From a Functional Programming Perspective An Introduction to the Programming Language
ent://SD_ILS/0/SD_ILS:611120
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar 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/>
Directed Algebraic Topology and Concurrency
ent://SD_ILS/0/SD_ILS:615495
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: 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, Proceedings
ent://SD_ILS/0/SD_ILS:613275
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar 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/>
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-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Nutrient Use Efficiency: from Basics to Advances
ent://SD_ILS/0/SD_ILS:530456
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Rakshit, Amitava. editor. Singh, Harikesh Bahadur. editor. Sen, Avijit. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Strength in Numbers: The Rising of Academic Statistics Departments in the U. S.
ent://SD_ILS/0/SD_ILS:331361
2026-05-14T16:19:33Z
2026-05-14T16:19:33Z
Yazar Agresti, Alan. editor. Meng, Xiao-Li. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331361.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>