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. 
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach için kapak resmi
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach
Yazar 
Zhan, Naijun. author.
https://doi.org/10.1007/978-3-319-47016-0
Format: 
Electronic Resources
Alıntı: 
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach / Zhan, Naijun. author.
2. 
Emerging Technology and Architecture for Big-data Analytics için kapak resmi
Emerging Technology and Architecture for Big-data Analytics
Emerging Technology and Architecture for Big-data Analytics
Yazar 
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983
https://doi.org/10.1007/978-3-319-54840-1
Format: 
Electronic Resources
Alıntı: 
Chang, Chip Hong. editor.
Tümünü Seç
2 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
2017
(2)
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