2 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ç
00DEFAULTTR
Yazdır
1. 
Logical Foundations of Cyber-Physical Systems için kapak resmi
Logical Foundations of Cyber-Physical Systems
Logical Foundations of Cyber-Physical Systems
Yazar 
Platzer, André. author.
https://doi.org/10.1007/978-3-319-63588-0
Format: 
Electronic Resources
Alıntı: 
Logic, Symbolic and mathematical.
2. 
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ı: 
Logic, Symbolic and mathematical.
Tümünü Seç
2 sonuç bulundu Arama sonuçlarına abone ol

TED Üniversitesi

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

Powered by Informascope