3 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ç
000DEFAULTTR
Yazdır
1. 
Dynamic logic için kapak resmi
Dynamic logic
Dynamic logic
Yazar 
Harel, David, 1950-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Electronic Resources
Alıntı: 
Formal methods (Computer science)
2. 
Formal methods for industrial critical systems : a survey of applications için kapak resmi
Formal methods for industrial critical systems : a survey of applications
Formal methods for industrial critical systems : a survey of applications
Yazar 
Gnesi, Stefania, 1954-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
Format: 
Electronic Resources
Alıntı: 
Formal methods (Computer science)
3. 
Principles of cyber-physical systems için kapak resmi
Principles of cyber-physical systems
Principles of cyber-physical systems
Yazar 
Alur, Rajeev, 1966-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7109352
Format: 
Electronic Resources
Alıntı: 
Formal methods (Computer science)
Tümünü Seç
3 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
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