Orta Doğu Teknik Üniversitesi
Akademik Veri Yönetim Sistemi
Araştırmacı Girişi
English
Tümü
Projeler
Ödüller
Fikri Mülkiyet
Bilimsel Veri Paylaşımı
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