Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(477)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Mostowski, Andrzej.
(4)
Schlechta, Karl. author.
(4)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(302)
Computer science.
(198)
Artificial intelligence.
(158)
Mathematical logic.
(150)
Mathematics.
(129)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
623 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation için kapak resmi
Reliability Engineering and Computational Intelligence for Complex Systems Design, Analysis and Evaluation
Yazar 
van Gulijk, Coen. editor. (orcid)0000-0003-4541-2693 Zaitseva, Elena. editor. Kvassay, Miroslav. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40997-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers için kapak resmi
Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
Yazar 
Gibadullin, Arthur. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31353-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Mathematical Foundations of Software Engineering A Practical Guide to Essentials için kapak resmi
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Computational Intelligence and Mathematics for Tackling Complex Problems 4 için kapak resmi
Computational Intelligence and Mathematics for Tackling Complex Problems 4
Yazar 
Cornejo, María Eugenia. editor. Harmati, István Á. editor. Kóczy, László T. editor. Medina-Moreno, Jesús. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-07707-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia için kapak resmi
Advances in Automation IV Proceedings of the International Russian Automation Conference, RusAutoCon2022, September 4-10, 2022, Sochi, Russia
Yazar 
Radionov, Andrey A. editor. Gasiyarov, Vadim R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-22311-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
PHILOSOPHICAL INTRODUCTION TO HIGHER ORDER LOGICS için kapak resmi
PHILOSOPHICAL INTRODUCTION TO HIGHER ORDER LOGICS
Yazar 
Bacon, Andrew, 1985-
Yer Numarası 
BC135
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003039181
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:
31. 
Fuzzy logic applications in computer science and mathematics için kapak resmi
Fuzzy logic applications in computer science and mathematics
Yazar 
Kar, Rahul, editor.
Yer Numarası 
QA9.64 .F89 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175130
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Fuzzy systems modeling in environmental and health risk assessment için kapak resmi
Fuzzy systems modeling in environmental and health risk assessment
Yazar 
Faybishenko, Boris, editor. Sadiq, Rehan, editor. Deshpande, Ashok, editor.
Yer Numarası 
RA427.3 .F89 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119569503
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Mathematics in computational science and engineering için kapak resmi
Mathematics in computational science and engineering
Yazar 
Bhardwaj, Ramakant, editor.
Yer Numarası 
QA76.9 .M35
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119777557
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Concise introduction to logic and set theory için kapak resmi
Concise introduction to logic and set theory
Yazar 
Jebril, Iqbal H., author. Dutta, Hemen, 1981- author. Cho, Ilwoo, author.
Yer Numarası 
QA9 .A5
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429022838
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:
35. 
Microgrid technologies için kapak resmi
Microgrid technologies
Yazar 
Sharmeela, C., editor. Sivaraman, P. (Pandarinathan), editor. Sanjeevikumar, Padmanaban, 1978- editor. Holm-Nielsen, Jens Bo, editor.
Yer Numarası 
TK3106 .M54 2021
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119710905
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Introduction to fuzzy logic için kapak resmi
Introduction to fuzzy logic
Yazar 
Peckol, James K., author. John Wiley & Sons, publisher.
Yer Numarası 
QA9.64 .P43 2021
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç