Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(17)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Matheja, Christoph. editor. (orcid)0000-0001-9151-0441
(3)
Dil
Yayın Yılı
-
Konu
Electronic books.
(7)
Computer science.
(6)
Software engineering.
(6)
Computer Science Logic and Foundations of Programming.
(5)
MATHEMATICS / Recreations & Games
(4)
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ç
39 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Historic avant-garde work on paper için kapak resmi
Historic avant-garde work on paper
Yazar 
Bru, Sascha, editor.
Yer Numarası 
N6494 .P34
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003413356
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:
2. 
Quantum computing models for cybersecurity and wireless communications için kapak resmi
Quantum computing models for cybersecurity and wireless communications
Yazar 
Kumar, Budati Anil, edited. Kumar, Singamaneni Kranthi, edited. Li, Xingwang (Computer scientist), edited.
Yer Numarası 
QA76.9 .A25 Q36 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394271429
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
From industry 4.0 to industry 6.0 için kapak resmi
From industry 4.0 to industry 6.0
Yazar 
Machado, Carolina, 1965- editor. Davim, J. Paulo, editor.
Yer Numarası 
T59.6 .F76 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394372775
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
The Dental Teacher A Reference Guide to Instructional Strategies and Evaluation Principles için kapak resmi
The Dental Teacher A Reference Guide to Instructional Strategies and Evaluation Principles
Yazar 
Baiju, R. M. editor. (orcid)0000-0002-9682-3209 Thomas, Sabu. editor. (orcid)0000-0003-4726-5746 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-032-07551-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Scalable Uncertainty Management 16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024, Proceedings için kapak resmi
Scalable Uncertainty Management 16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024, Proceedings
Yazar 
Destercke, Sébastien. editor. (orcid)0000-0003-2026-468X Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 Sanfilippo, Giuseppe. editor. (orcid)0000-0002-0657-3833 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-76235-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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:
7. 
Artificial intelligence in remote sensing for disaster management için kapak resmi
Artificial intelligence in remote sensing for disaster management
Yazar 
Dahiya, Neelam, editor. Singh, Gurwinder, editor. Singh, Sartajvir, editor. Sharma, Apoorva, editor.
Yer Numarası 
HD49 .A78 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394287222
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Bibliometric analyses in data-driven decision-making için kapak resmi
Bibliometric analyses in data-driven decision-making
Yer Numarası 
Z669.8
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394302581
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II 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 II
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-75775-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
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:
11. 
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings için kapak resmi
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Yazar 
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72044-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Hybrid and Networked Dynamical Systems Modeling, Analysis and Control için kapak resmi
Hybrid and Networked Dynamical Systems Modeling, Analysis and Control
Yazar 
Postoyan, Romain. editor. Frasca, Paolo. editor. Panteley, Elena. editor. Zaccarian, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-49555-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: