22 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
2. 
Transactions on Petri Nets and Other Models of Concurrency XIII için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency XIII
Transactions on Petri Nets and Other Models of Concurrency XIII
Yazar 
Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-58381-4
Format: 
Electronic Resources
Alıntı: 
Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market
10. 
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications için kapak resmi
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Yazar 
O'Regan, Gerard. author.
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Applications in Computer Science. http://scigraph.springernature.com/things/product
11. 
Software Fault Detection and Correction: Modeling and Applications için kapak resmi
Software Fault Detection and Correction: Modeling and Applications
Software Fault Detection and Correction: Modeling and Applications
Yazar 
Peng, Rui. author.
https://doi.org/10.1007/978-981-13-1162-8
Format: 
Electronic Resources
Alıntı: 
Mathematical Modeling and Industrial Mathematics. http://scigraph.springernature.com/things/product
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
Alıntı: 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
Tümünü Seç
22 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(22)
Bao, Siqi. editor. (orcid)0000-0003-3885-125X
(1)
Bistouni, Fathollah. author.
(1)
Bloem, Roderick. editor.
(1)
Buchmann, Johannes. author.
(1)
Format
Dil
Basım Yılı
Konu
Operating Systems.
(15)
Computer science.
(11)
Computer Communication Networks.
(8)
Mathematics of Computing.
(7)
Performance and Reliability.
(7)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

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

Powered by Informascope