Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
15 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Machine Learning for Model Order Reduction için kapak resmi
Machine Learning for Model Order Reduction
Yazar 
Mohamed, Khaled Salah. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-75714-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
On the Higher-Order Sheffer Orthogonal Polynomial Sequences için kapak resmi
On the Higher-Order Sheffer Orthogonal Polynomial Sequences
Yazar 
Galiffa, Daniel J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331912.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5969-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Fractional Order Signal Processing Introductory Concepts and Applications için kapak resmi
Fractional Order Signal Processing Introductory Concepts and Applications
Yazar 
Das, Saptarshi. author. Pan, Indranil. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-23117-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Spectral and High Order Methods for Partial Differential Equations Selected papers from the ICOSAHOM '09 conference, June 22-26, Trondheim, Norway için kapak resmi
Spectral and High Order Methods for Partial Differential Equations Selected papers from the ICOSAHOM '09 conference, June 22-26, Trondheim, Norway
Yazar 
Hesthaven, Jan S. editor. Rønquist, Einar M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-15337-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Higher-Order Components for Grid Programming Making Grids More Usable için kapak resmi
Higher-Order Components for Grid Programming Making Grids More Usable
Yazar 
Dünnweber, Jan. author. Gorlatch, Sergei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-00841-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings için kapak resmi
Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
Yazar 
Berghofer, Stefan. editor. Nipkow, Tobias. editor. Urban, Christian. editor. Wenzel, Makarius. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03359-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings için kapak resmi
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Yazar 
Mohamed, Otmane Ait. editor. Muñoz, César. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71067-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Unfoldings A Partial-Order Approach to Model Checking için kapak resmi
Unfoldings A Partial-Order Approach to Model Checking
Yazar 
Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77426-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Model Order Reduction: Theory, Research Aspects and Applications için kapak resmi
Model Order Reduction: Theory, Research Aspects and Applications
Yazar 
Schilders, Wilhelmus H. A. editor. Vorst, Henk A. editor. Rommes, Joost. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78841-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings için kapak resmi
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
Yazar 
Schneider, Klaus. editor. Brandt, Jens. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74591-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic için kapak resmi
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Yazar 
Bollig, Benedikt. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-32923-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings için kapak resmi
Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Yazar 
Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11541868
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: