Formal Methods for Discrete-Time Dynamical Systems
Kaydedildi:
| Asıl Yazarlar: | , , |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Springer International Publishing
2020
|
| Konular: | |
| Online Erişim: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83611 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-83611 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-836112023-10-06T03:44:30Z Formal Methods for Discrete-Time Dynamical Systems Belta, Calin Yordanov, Boyan Gol, Ebru Aydin Engineering Control Complexity Systems Theory, Control 2020-02-24T09:14:20Z 2020-02-24T09:14:20Z 2017 Book 978-3-319-50762-0 978-3-319-50763-7 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83611 en Studies in Systems, Decision and Control Springer International Publishing AG application/pdf Springer International Publishing |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
English |
| topic |
Engineering Control Complexity Systems Theory, Control |
| spellingShingle |
Engineering Control Complexity Systems Theory, Control Belta, Calin Yordanov, Boyan Gol, Ebru Aydin Formal Methods for Discrete-Time Dynamical Systems |
| format |
Book |
| author |
Belta, Calin Yordanov, Boyan Gol, Ebru Aydin |
| author_facet |
Belta, Calin Yordanov, Boyan Gol, Ebru Aydin |
| author_sort |
Belta, Calin |
| title |
Formal Methods for Discrete-Time Dynamical Systems |
| title_short |
Formal Methods for Discrete-Time Dynamical Systems |
| title_full |
Formal Methods for Discrete-Time Dynamical Systems |
| title_fullStr |
Formal Methods for Discrete-Time Dynamical Systems |
| title_full_unstemmed |
Formal Methods for Discrete-Time Dynamical Systems |
| title_sort |
formal methods for discrete-time dynamical systems |
| publisher |
Springer International Publishing |
| publishDate |
2020 |
| url |
https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83611 |
| _version_ |
1819821031369474048 |