Arama Sonuçları Order. - Daraltılmış: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dOrder.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-01-19T00:38:49Z
Machine Learning for Model Order Reduction
ent://SD_ILS/0/SD_ILS:401962
2026-01-19T00:38:49Z
2026-01-19T00:38:49Z
Yazar Mohamed, Khaled Salah. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-75714-8">https://doi.org/10.1007/978-3-319-75714-8</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-19T00:38:49Z
2026-01-19T00:38:49Z
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/>
Fractional Order Signal Processing Introductory Concepts and Applications
ent://SD_ILS/0/SD_ILS:195241
2026-01-19T00:38:49Z
2026-01-19T00:38:49Z
Yazar Das, Saptarshi. author. Pan, Indranil. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-23117-9">http://dx.doi.org/10.1007/978-3-642-23117-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Spectral and High Order Methods for Partial Differential Equations Selected papers from the ICOSAHOM '09 conference, June 22-26, Trondheim, Norway
ent://SD_ILS/0/SD_ILS:192937
2026-01-19T00:38:49Z
2026-01-19T00:38:49Z
Yazar Hesthaven, Jan S. editor. Rønquist, Einar M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15337-2">http://dx.doi.org/10.1007/978-3-642-15337-2</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-19T00:38:49Z
2026-01-19T00:38:49Z
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-01-19T00:38:49Z
2026-01-19T00:38:49Z
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-01-19T00:38:49Z
2026-01-19T00:38:49Z
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/>
Unfoldings A Partial-Order Approach to Model Checking
ent://SD_ILS/0/SD_ILS:187868
2026-01-19T00:38:49Z
2026-01-19T00:38:49Z
Yazar Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77426-6">http://dx.doi.org/10.1007/978-3-540-77426-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model Order Reduction: Theory, Research Aspects and Applications
ent://SD_ILS/0/SD_ILS:188259
2026-01-19T00:38:49Z
2026-01-19T00:38:49Z
Yazar Schilders, Wilhelmus H. A. editor. Vorst, Henk A. editor. Rommes, Joost. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78841-6">http://dx.doi.org/10.1007/978-3-540-78841-6</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-19T00:38:49Z
2026-01-19T00:38:49Z
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/>
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
ent://SD_ILS/0/SD_ILS:183555
2026-01-19T00:38:49Z
2026-01-19T00:38:49Z
Yazar Bollig, Benedikt. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-32923-4">http://dx.doi.org/10.1007/3-540-32923-4</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-19T00:38:49Z
2026-01-19T00:38:49Z
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/>
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
ent://SD_ILS/0/SD_ILS:528546
2026-01-19T00:38:49Z
2026-01-19T00:38:49Z
Yazar Polkowski, Lech T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42034-4">https://doi.org/10.1007/978-3-031-42034-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334580
2026-01-19T00:38:49Z
2026-01-19T00:38:49Z
Yazar Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334580.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithms and theory of computation handbook. General concepts and techniques
ent://SD_ILS/0/SD_ILS:547035
2026-01-19T00:38:49Z
2026-01-19T00:38:49Z
Yazar Atallah, Mikhail J. Blanton, Marina.<br/>Yer Numarası QA76.9 .A43 A432 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781584888239">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>