33 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
6. 
Formal Methods An Appetizer için kapak resmi
Formal Methods An Appetizer
Formal Methods An Appetizer
Yazar 
Nielson, Flemming. author. (orcid)0000-0001-7362-6176
https://doi.org/10.1007/978-3-030-05156-3
Format: 
Electronic Resources
12. 
Handbook of Model Checking için kapak resmi
Handbook of Model Checking
Handbook of Model Checking
Yazar 
Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Electronic Resources
Tümünü Seç
33 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(33)
Cudré-Mauroux, Philippe. editor.
(2)
Duan, Zhenhua. editor.
(2)
Fernandez, Miriam. editor. (orcid)0000-0001-5939-4321
(2)
Gorrieri, Roberto. author.
(2)
Format
Dil
Basım Yılı
Konu
Software engineering.
(33)
Computers.
(20)
Computer science.
(16)
Artificial intelligence.
(14)
Information theory.
(13)
Materyal Türü
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope