Discrete, Continuous, and Hybrid Petri Nets

Mã QR

Discrete, Continuous, and Hybrid Petri Nets

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	David, René, Alla, Hassane
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Engineering Control, Robotics, Mechatronics Mathematical and Computational Engineering Mathematical Logic and Formal Languages
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/85023
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

Những quyển sách tương tự

Dynamic Analysis of Petri Net-Based Discrete Systems
Bỡi: Karatkevich, Andrei
Được phát hành: (2020)

Discrete-Time High Order Neural Control
Bỡi: Sanchez, Edgar N., et al.
Được phát hành: (2020)

Introduction to Discrete Event Systems
Bỡi: Cassandras, Christos G., et al.
Được phát hành: (2020)

Evolvable Machines
Bỡi: Nedjah, Nadia, et al.
Được phát hành: (2020)

Analytical Methods in Fuzzy Modeling and Control
Bỡi: Kluska, Jacek
Được phát hành: (2020)

Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments
Bỡi: Galindo, Cipriano, et al.
Được phát hành: (2020)

Intelligent Unmanned Systems: Theory and Applications
Bỡi: Budiyono, Agus, et al.
Được phát hành: (2020)

Design and Control of Intelligent Robotic Systems
Bỡi: Liu, Dikai, et al.
Được phát hành: (2020)

Evolutionary Swarm Robotics
Bỡi: Trianni, Vito
Được phát hành: (2020)

Robotic Exploration and Landmark Determination
Bỡi: Sridharan, K., et al.
Được phát hành: (2020)

Computational Intelligence
Bỡi: Rutkowski, Leszek
Được phát hành: (2020)

Cellular Automata and Discrete Complex Systems
Bỡi: Baetens, Jan M., et al.
Được phát hành: (2020)

Process Algebras for Petri Nets. 1st ed. 2017
Bỡi: Gorrieri, Roberto
Được phát hành: (2020)

Control Theory in the Plane
Bỡi: Hájek, Otomar
Được phát hành: (2020)

Polynomial and Rational Matrices
Bỡi: Kaczorek, Tadeusz
Được phát hành: (2020)

Informatics in Control, Automation and Robotics
Bỡi: Filipe, Joaquim, et al.
Được phát hành: (2020)

Design of Intelligent Multi-Agent Systems
Bỡi: Khosla, Rajiv, et al.
Được phát hành: (2020)

Kalman Filtering and Information Fusion
Bỡi: Ma, Hongbin, et al.
Được phát hành: (2020)

Cells and Robots
Bỡi: Milutinovic, Dejan Lj., et al.
Được phát hành: (2020)

3D Robotic Mapping
Bỡi: Nüchter, Andreas
Được phát hành: (2020)

Advances in Robotics Research
Bỡi: Kröger, Torsten, et al.
Được phát hành: (2020)

Reconfigurable Computing
Bỡi: Gokhale, Maya B., et al.
Được phát hành: (2020)

Approximate and Noisy Realization of Discrete-Time Dynamical Systems
Bỡi: Hasegawa, Yasumichi
Được phát hành: (2020)

Concise Guide to Formal Methods
Bỡi: O'Regan, Gerard
Được phát hành: (2020)

Mechanizing Mathematical Reasoning
Được phát hành: (2020)

Formal Concept Analysis
Bỡi: Ganter, Bernhard, et al.
Được phát hành: (2020)

Designing Reliable Distributed Systems
Bỡi: Ölveczky, Peter Csaba
Được phát hành: (2020)

Verified Software: Theories, Tools, Experiments
Được phát hành: (2020)

Logics of Specification Languages
Bỡi: Bjørner, Dines, et al.
Được phát hành: (2020)

Modeling and Using Context
Bỡi: Dey, Anind, et al.
Được phát hành: (2020)

Logical Foundations of Computer Science
Bỡi: Artemov, Sergei, et al.
Được phát hành: (2020)

Correct Reasoning
Bỡi: Erdem, Esra, et al.
Được phát hành: (2020)

Logical Foundations of Cyber-Physical Systems
Bỡi: Platzer, André
Được phát hành: (2020)

An Introduction to the Technique of Formative Processes in Set Theory
Bỡi: Cantone, Domenico, et al.
Được phát hành: (2020)

Principles and Practice of Constraint Programming
Bỡi: Beck, J. Christopher
Được phát hành: (2020)

Principles and Practice of Constraint Programming
Bỡi: Hooker, John
Được phát hành: (2020)

Robustness and Usability in Modern Design Flows
Bỡi: Fey, Görschwin, et al.
Được phát hành: (2020)

Application and Theory of Petri Nets and Concurrency
Bỡi: Aalst, Wil van der, et al.
Được phát hành: (2020)

Application and Theory of Petri Nets and Concurrency
Bỡi: Khomenko, Victor, et al.
Được phát hành: (2020)

Algebraic and Proof-theoretic Aspects of Non-classical Logics
Bỡi: Aguzzoli, S., et al.
Được phát hành: (2020)