Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(234)
Bensalem, Saddek. editor.
(4)
Jeannot, Emmanuel. editor.
(4)
Legay, Axel. editor.
(4)
Namyst, Raymond. editor.
(4)
Dil
English
(234)
Yayın Yılı
-
2012
(23)
2018
(21)
2011
(20)
2013
(20)
2017
(20)
Konu
Computer science.
(174)
Computer Communication Networks.
(85)
Artificial intelligence.
(67)
Logic design.
(59)
Computer software.
(38)
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ç
234 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULT_TR
Yazdır
1. 
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:
2. 
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions için kapak resmi
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-67695-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement için kapak resmi
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
Yazar 
Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-67114-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutions için kapak resmi
TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutions
Yazar 
Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56593-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Real-World Decision Support Systems Case Studies için kapak resmi
Real-World Decision Support Systems Case Studies
Yazar 
Papathanasiou, Jason. editor. Ploskas, Nikolaos. editor. Linden, Isabelle. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43916-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç