Formal Methods for Discrete-Time Dynamical Systems

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Belta, Calin, Yordanov, Boyan, Gol, Ebru Aydin
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer International Publishing 2020
Những chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83611
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
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-836112020-02-24T09:14:20Z 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 http://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 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83611
_version_ 1757672902344310784