Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(325)
Taylor and Francis.
(5)
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940
(3)
Agarwal, Sonali. editor.
(3)
CRC Press LLC.
(3)
Dil
Yayın Yılı
-
Konu
Electronic books.
(105)
Computer science.
(52)
Software engineering.
(43)
Artificial intelligence.
(38)
Computational intelligence.
(35)
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ç
704 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
97. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I için kapak resmi
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
Noise Models in Optical-Wireless Communication Systems için kapak resmi
Noise Models in Optical-Wireless Communication Systems
Yazar 
Ke, Xizheng. author. Ke, Chenghu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-7550-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
Type-3 Fuzzy Logic and Fractal Theory for Medical Diagnosis için kapak resmi
Type-3 Fuzzy Logic and Fractal Theory for Medical Diagnosis
Yazar 
Melin, Patricia. author. (orcid)0000-0001-5798-1426 Castillo, Oscar. author. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-81655-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings
Yazar 
Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-94634-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation için kapak resmi
Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Yazar 
Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-88946-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III için kapak resmi
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75778-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
Systems Theory in Data and Optimization Proceedings of SysDO 2024 için kapak resmi
Systems Theory in Data and Optimization Proceedings of SysDO 2024
Yazar 
Berberich, Julian. editor. Iannelli, Andrea. editor. (orcid)0000-0002-1865-6978 Allgöwer, Frank. editor. (orcid)0000-0002-3702-3658 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-83191-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
104. 
Proceedings of The Fifth France's International Conference on Complex Systems (FRCCS 2025) Advances in Complex Systems Science, Machine Learning, and Interdisciplinary Applications için kapak resmi
Proceedings of The Fifth France's International Conference on Complex Systems (FRCCS 2025) Advances in Complex Systems Science, Machine Learning, and Interdisciplinary Applications
Yazar 
Cherifi, Hocine. editor. Guillaume, Jean-Loup. editor. Melançon, Guy. editor. Pinaud, Bruno. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-032-00206-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
105. 
Reinforcement learning for cyber operations : applications of artificial intelligence for penetration testing için kapak resmi
Reinforcement learning for cyber operations : applications of artificial intelligence for penetration testing
Yazar 
Rahman, Abdul (Executive), author.
Yer Numarası 
Q325.6 .R34 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394206483
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
Thermoelectrics : design and materials için kapak resmi
Thermoelectrics : design and materials
Yazar 
Lee, HoSung, author.
Yer Numarası 
TK2950 .L44 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394317387
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
107. 
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç