Orta Doğu Teknik Üniversitesi
Akademik Veri Yönetim Sistemi
Araştırmacı Girişi
English
Tümü
Projeler
Ödüller
Fikri Mülkiyet
Araştırmacılar
Yayınlar
Tezler
Detaylı Arama
Ana Sayfa
Son Eklenen Yayınlar
Formal Methods for Discrete-Time Dynamic...
Formal Methods for Discrete-Time Dynamical Systems
Atıf İçin Kopyala
Belta C.
,
Yordanov B.
,
Aydın Göl E.
Springer, London/Berlin , Chur, 2017
Yayın Türü:
Kitap / Mesleki Kitap
Basım Tarihi:
2017
Yayınevi:
Springer, London/Berlin
Basıldığı Şehir:
Chur
Orta Doğu Teknik Üniversitesi Adresli:
Evet