Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(215)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(11)
Cao, Longbing. editor. (orcid)0000-0003-1524-9063
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Dil
English
(215)
Yayın Yılı
-
Konu
Computer science -- Mathematics.
(213)
Artificial intelligence.
(121)
Computer networks .
(104)
Computer science.
(89)
Theory of Computation.
(77)
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ç
215 sonuç bulundu Arama sonuçlarına abone ol
00000000000DEFAULT_TR
Yazdır
1. 
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs için kapak resmi
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Yazar 
Herdt, Vladimir. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-12680-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Relaxed Abduction Robust Information Interpretation for Industrial Applications için kapak resmi
Relaxed Abduction Robust Information Interpretation for Industrial Applications
Yazar 
Hubauer, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-14407-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Linear Algebra for Computational Sciences and Engineering için kapak resmi
Linear Algebra for Computational Sciences and Engineering
Yazar 
Neri, Ferrante. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40341-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II için kapak resmi
Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II
Yazar 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-32152-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Boolean Functions and Their Applications in Cryptography için kapak resmi
Boolean Functions and Their Applications in Cryptography
Yazar 
Wu, Chuan-Kun. author. Feng, Dengguo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48865-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings için kapak resmi
Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
Yazar 
Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40189-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Engineering Computation of Structures: The Finite Element Method için kapak resmi
Engineering Computation of Structures: The Finite Element Method
Yazar 
Neto, Maria Augusta. author. Amaro, Ana. author. Roseiro, Luis. author. Cirne, José. author. Leal, Rogério. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17710-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings için kapak resmi
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
Yazar 
Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334985.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40663-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Sparse Grids and Applications için kapak resmi
Sparse Grids and Applications
Yazar 
Garcke, Jochen. editor. Griebel, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333475.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31703-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings için kapak resmi
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
Yazar 
Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334663.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38756-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Condition The Geometry of Numerical Algorithms için kapak resmi
Condition The Geometry of Numerical Algorithms
Yazar 
Bürgisser, Peter. author. Cucker, Felipe. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334693.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38896-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç