Operational Semantics for Timed Systems

Mã QR

Operational Semantics for Timed Systems

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Rust, Heinrich
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Software Engineering Computation by Abstract Devices
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81602
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ự

Multiagent System Technologies
Được phát hành: (2020)

Multi-Agent Based Simulation XVIII
Bỡi: Dimuro, Graçaliz Pereira, et al.
Được phát hành: (2020)

50 Years of Artificial Intelligence
Bỡi: Lungarella, Max, et al.
Được phát hành: (2020)

Multi-Agent Based Simulation XVII
Bỡi: Nardin, Luis Gustavo, et al.
Được phát hành: (2020)

Coloured Petri Nets
Được phát hành: (2020)

Computational Intelligence and Bioinspired Systems
Được phát hành: (2020)

Advances in Artificial Intelligence - IBERAMIA 2002
Bỡi: Garijo, Francisco J., et al.
Được phát hành: (2020)

Evolvable Systems: From Biology to Hardware
Bỡi: Moreno, J. Manuel, et al.
Được phát hành: (2020)

Transactions on Computational Systems Biology XI
Được phát hành: (2020)

Artificial Neural Networks – ICANN 2009
Được phát hành: (2020)

Artificial Neural Networks – ICANN 2009
Được phát hành: (2020)

Artificial Neural Networks - ICANN 2008
Được phát hành: (2020)

Theoretical Aspects of Computing - ICTAC 2004
Được phát hành: (2020)

Dynamic Brain - from Neural Spikes to Behaviors
Được phát hành: (2020)

Advances in Natural Computation
Bỡi: Wang, Lipo, et al.
Được phát hành: (2020)

Advances in Natural Computation
Bỡi: Wang, Lipo, et al.
Được phát hành: (2020)

Theoretical Aspects of Computing - ICTAC 2005
Bỡi: Hung, Dang Van, et al.
Được phát hành: (2020)

Theoretical Aspects of Computing - ICTAC 2007
Bỡi: Jones, Cliff B., et al.
Được phát hành: (2020)

Algorithms for Sensor Systems
Bỡi: Chrobak, Marek, et al.
Được phát hành: (2020)

Artificial Immune Systems
Bỡi: Jacob, Christian, et al.
Được phát hành: (2020)

Artificial Immune Systems
Được phát hành: (2020)

Artificial Immune Systems
Được phát hành: (2020)

System Modeling and Optimization
Bỡi: Korytowski, Adam, et al.
Được phát hành: (2020)

Anticipatory Behavior in Adaptive Learning Systems
Bỡi: Butz, Martin V., et al.
Đượ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)

Theory of Quantum Computation, Communication, and Cryptography
Bỡi: Iwama, Kazuo, et al.
Được phát hành: (2015)

Artificial Neural Networks - ICANN 2007
Bỡi: Sá, Joaquim Marques de, et al.
Được phát hành: (2020)

Spatial Information Theory
Bỡi: Cohn, Anthony G., et al.
Được phát hành: (2020)

Simulated Evolution and Learning
Được phát hành: (2020)

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
Bỡi: Marchiori, Elena, et al.
Được phát hành: (2020)

Pattern Recognition and Machine Intelligence
Bỡi: Pal, Sankar K., et al.
Được phát hành: (2020)

Pattern Recognition and Machine Intelligence
Được phát hành: (2020)

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
Bỡi: Marchiori, Elena, et al.
Được phát hành: (2020)

Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005
Bỡi: Duch, Wlodzislaw, et al.
Được phát hành: (2020)

Spatial Information Theory
Bỡi: Winter, Stephan, et al.
Được phát hành: (2020)

Evolutionary Robotics. From Intelligent Robotics to Artificial Life
Bỡi: Gomi, Takashi
Được phát hành: (2020)

Genetic Programming
Được phát hành: (2020)

Neural Information Processing
Bỡi: Ishikawa, Masumi, et al.
Được phát hành: (2020)

Artificial Neural Networks - ICANN 2008
Được phát hành: (2020)

New Trends in Applied Artificial Intelligence
Bỡi: Okuno, Hiroshi G., et al.
Được phát hành: (2020)