Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(97)
O'Regan, Gerard. author.
(5)
Astorino, Annabella. editor. (orcid)0000-0002-3439-180X
(3)
Brand, Ludwig.
(3)
Georgiev, Ivan. editor.
(3)
Dil
English
(161)
Yayın Yılı
-
Konu
Computational intelligence.
(31)
Computer science -- Mathematics.
(25)
Artificial intelligence.
(24)
Electronic books.
(20)
Computer science.
(16)
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ç
161 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Yazar 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Proceedings of 4th International Conference on Mathematical Modeling and Computational Science ICMMCS 2025 Volume 1 için kapak resmi
Proceedings of 4th International Conference on Mathematical Modeling and Computational Science ICMMCS 2025 Volume 1
Yazar 
Pal, Souvik. editor. (orcid)0000-0001-9884-0160 Rocha, Álvaro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90998-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Advanced Computing in Industrial Mathematics 17th Annual Meeting of the Bulgarian Section of SIAM, December 20-22, 2022, Sofia, Bulgaria, Revised Selected Papers için kapak resmi
Advanced Computing in Industrial Mathematics 17th Annual Meeting of the Bulgarian Section of SIAM, December 20-22, 2022, Sofia, Bulgaria, Revised Selected Papers
Yazar 
Georgiev, Ivan. editor. Kostadinov, Hristo. editor. Lilkova, Elena. editor. (orcid)0000-0003-2008-710X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-76786-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python için kapak resmi
Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python
Yazar 
Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-2718-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Proceedings of the Third ICMDS'24: Machine Learning, Inverse Problems and Related Fields için kapak resmi
Proceedings of the Third ICMDS'24: Machine Learning, Inverse Problems and Related Fields
Yazar 
Laghrib, Amine. editor. (orcid)0000-0003-4851-3617 Ghazdali, Abdelghani. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-94802-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Foundations of semantic communication networks için kapak resmi
Foundations of semantic communication networks
Yazar 
Saad, Walid. Chaccour, Christina. Thomas, Christo Kurisummoottil. Debbah, Merouane, 1975-
Yer Numarası 
TK5103.2 .F68 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394247912
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Mathematics and computer science for real-world applications için kapak resmi
Mathematics and computer science for real-world applications
Yazar 
Mallik, Biswadip Basu, editor.
Yer Numarası 
QA76.9 .M35 M38 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394275359
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Current Problems of Applied Mathematics and Computer Systems CPAMCS 2024 için kapak resmi
Current Problems of Applied Mathematics and Computer Systems CPAMCS 2024
Yazar 
Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 Alikhanov, Anatoly. editor. Kaplun, Dmitrii. editor. Lyakhov, Pavel. editor. (orcid)0000-0003-0487-4779 Apekov, Aslan. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-032-01831-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Structures of Computing A Guide to Practice-Oriented Theory için kapak resmi
Structures of Computing A Guide to Practice-Oriented Theory
Yazar 
Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-54358-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering için kapak resmi
Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-52664-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Smart Electromechanical Systems Mathematical and Software Engineering için kapak resmi
Smart Electromechanical Systems Mathematical and Software Engineering
Yazar 
Tarasova, Irina Leonidovna. editor. (orcid)0000-0002-2282-150X Kulik, Boris Alexandrovich. editor. (orcid)0000-0001-6193-5588 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-64277-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Foundation Mathematics for Computer Science A Visual Approach için kapak resmi
Foundation Mathematics for Computer Science A Visual Approach
Yazar 
Vince, John. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66549-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç