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-01-21T10:39:23Z
Higher Education Computer Science A Manual of Practical Approaches
ent://SD_ILS/0/SD_ILS:399820
2026-01-21T10:39:23Z
2026-01-21T10:39:23Z
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-01-21T10:39:23Z
2026-01-21T10:39:23Z
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-01-21T10:39:23Z
2026-01-21T10:39:23Z
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/>
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-01-21T10:39:23Z
2026-01-21T10:39:23Z
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/>
Higher-Order Components for Grid Programming Making Grids More Usable
ent://SD_ILS/0/SD_ILS:189809
2026-01-21T10:39:23Z
2026-01-21T10:39:23Z
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 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:186166
2026-01-21T10:39:23Z
2026-01-21T10:39:23Z
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-01-21T10:39:23Z
2026-01-21T10:39:23Z
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-01-21T10:39:23Z
2026-01-21T10:39:23Z
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-01-21T10:39:23Z
2026-01-21T10:39:23Z
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/>
Creative approaches towards development of computing and multidisciplinary IT solutions for society
ent://SD_ILS/0/SD_ILS:599371
2026-01-21T10:39:23Z
2026-01-21T10:39:23Z
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/>
Nutrient Use Efficiency: from Basics to Advances
ent://SD_ILS/0/SD_ILS:530456
2026-01-21T10:39:23Z
2026-01-21T10:39:23Z
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-01-21T10:39:23Z
2026-01-21T10:39:23Z
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/>