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.
(504)
Mathematics.
(348)
Computer science.
(295)
Computer science—Mathematics.
(204)
Algorithms.
(121)
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ç
938 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY için kapak resmi
HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY
Yazar 
Akleylek, Sedat. Dundua, Besik.
Yer Numarası 
QA76.9 .D335
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003090052
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part III için kapak resmi
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part III
Yazar 
Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47665-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I için kapak resmi
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I
Yazar 
Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47634-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II için kapak resmi
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II
Yazar 
Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47637-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
Application of Gray System Theory in Fishery Science için kapak resmi
Application of Gray System Theory in Fishery Science
Yazar 
Chen, Xinjun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-0635-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Engineering Mathematics and Computing için kapak resmi
Engineering Mathematics and Computing
Yazar 
Gyei-Kark, Park. editor. Jana, Dipak Kumar. editor. Panja, Prabir. editor. Abd Wahab, Mohd Helmy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-2300-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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:
Eylem Seç