Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(798)
Quarteroni, Alfio. author.
(17)
Saleri, Fausto. author.
(8)
Dongarra, Jack. editor.
(6)
Griebel, Michael. editor.
(6)
Dil
Yayın Yılı
-
Konu
Computer science -- Mathematics.
(486)
Mathematics.
(348)
Computer science.
(295)
Computer science—Mathematics.
(204)
Algorithms.
(119)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
874 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Understanding Behaviour of Distributed Systems Using mCRL2 için kapak resmi
Understanding Behaviour of Distributed Systems Using mCRL2
Yazar 
Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-23008-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Trends in Mathematical, Information and Data Sciences A Tribute to Leandro Pardo için kapak resmi
Trends in Mathematical, Information and Data Sciences A Tribute to Leandro Pardo
Yazar 
Balakrishnan, Narayanaswamy. editor. Gil, María Ángeles. editor. Martín, Nirian. editor. Morales, Domingo. editor. Pardo, María del Carmen. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-04137-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Advanced Computing in Industrial Mathematics 14th Annual Meeting of the Bulgarian Section of SIAM, December 17-19, 2019, Sofia, Bulgaria, Revised Selected Papers için kapak resmi
Advanced Computing in Industrial Mathematics 14th Annual Meeting of the Bulgarian Section of SIAM, December 17-19, 2019, Sofia, Bulgaria, Revised Selected Papers
Yazar 
Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42010-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Smart Learning Ecosystems as Engines of the Green and Digital Transition Proceedings of the 8th Conference on Smart Learning Ecosystems and Regional Development için kapak resmi
Smart Learning Ecosystems as Engines of the Green and Digital Transition Proceedings of the 8th Conference on Smart Learning Ecosystems and Regional Development
Yazar 
Dascalu, Mihai. editor. Mealha, Óscar. editor. Virkus, Sirje. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-5540-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Advanced Computing in Industrial Mathematics 15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria, Revised Selected Papers için kapak resmi
Advanced Computing in Industrial Mathematics 15th Annual Meeting of the Bulgarian Section of SIAM, December 15-17, 2020, Sofia, Bulgaria, Revised Selected Papers
Yazar 
Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-20951-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Formal Verification of Structurally Complex Multipliers için kapak resmi
Formal Verification of Structurally Complex Multipliers
Yazar 
Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-24571-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Shallow and Deep Learning Principles Scientific, Philosophical, and Logical Perspectives için kapak resmi
Shallow and Deep Learning Principles Scientific, Philosophical, and Logical Perspectives
Yazar 
Şen, Zekâi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29555-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems için kapak resmi
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
Yazar 
Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28916-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers için kapak resmi
Graphical Models for Security 6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers
Yazar 
Albanese, Massimiliano. editor. (orcid)0000-0002-2675-5810 Horne, Ross. editor. (orcid)0000-0003-0162-1901 Probst, Christian W. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-36537-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Evolutionary Learning: Advances in Theories and Algorithms için kapak resmi
Evolutionary Learning: Advances in Theories and Algorithms
Yazar 
Zhou, Zhi-Hua. author. Yu, Yang. author. Qian, Chao. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-5956-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Computational Topology in Image Context 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings için kapak resmi
Computational Topology in Image Context 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings
Yazar 
Marfil, Rebeca. editor. (orcid)0000-0003-1573-5096 Calderón, Mariletty. editor. Díaz del Río, Fernando. editor. (orcid)0000-0001-6184-1629 Real, Pedro. editor. (orcid)0000-0002-6853-0505 Bandera, Antonio. editor. (orcid)0000-0003-3147-0307
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-10828-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings için kapak resmi
Algorithmic Decision Theory 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings
Yazar 
Pekeč, Saša. editor. Venable, Kristen Brent. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31489-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets