Formal Techniques for Computer Systems and Business Processes

Mã QR

Formal Techniques for Computer Systems and Business Processes

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Bravetti, Mario, Kloul, Leila, Zavattaro, Gianluigi
Đị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 Computer Communication Networks
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83185
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ự

Formal Methods for Computational Systems Biology
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2020)

Formal Techniques for Networked and Distributed Systems - FORTE 2005
Bỡi: Wang, Farn
Được phát hành: (2020)

Formal Techniques for Networked and Distributed Systems - FORTE 2007
Bỡi: Derrick, John, et al.
Được phát hành: (2020)

Formal Techniques for Distributed Systems
Được phát hành: (2020)

Formal Methods for Mobile Computing
Được phát hành: (2020)

Formal Techniques for Networked and Distributed Systems – FORTE 2008
Bỡi: Suzuki, Kenji, et al.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Được phát hành: (2020)

Formal Techniques for Distributed Objects, Components, and Systems
Bỡi: Baier, Christel, et al.
Được phát hành: (2020)

Formal Methods for Open Object-Based Distributed Systems
Bỡi: Barthe, Gilles
Được phát hành: (2020)

Formal Techniques for Safety-Critical Systems
Bỡi: Artho, Cyrille, et al.
Được phát hành: (2020)

Formal Techniques for Distributed Objects, Components, and Systems
Bỡi: Bouajjani, Ahmed, et al.
Được phát hành: (2020)

Self-Aware Computing Systems
Bỡi: Kounev, Samuel, et al.
Được phát hành: (2020)

Agent Computing and Multi-Agent Systems
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Bỡi: Leue, Stefan, et al.
Được phát hành: (2020)

Measurement, Modelling and Evaluation of Computing Systems
Bỡi: German, Reinhard, et al.
Được phát hành: (2020)

Trusted Computing
Được phát hành: (2020)

Service-Oriented Computing
Bỡi: Maximilien, Michael, et al.
Được phát hành: (2020)

Autonomic and Trusted Computing
Được phát hành: (2020)

Autonomic and Trusted Computing
Bỡi: Rong, Chunming, et al.
Được phát hành: (2020)

Trustworthy Global Computing
Được phát hành: (2020)

Security in Pervasive Computing
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Được phát hành: (2020)

Trusted Computing - Challenges and Applications
Bỡi: Lipp, Peter, et al.
Được phát hành: (2020)

Software Project Management for Distributed Computing
Bỡi: Mahmood, Zaigham
Được phát hành: (2020)

Requirements Engineering for Service and Cloud Computing
Bỡi: Ramachandran, Muthu, et al.
Được phát hành: (2020)

Advances in Grid Computing - EGC 2005
Được phát hành: (2020)

Software Engineering in the Era of Cloud Computing
Bỡi: Ramachandran, Muthu, et al.
Được phát hành: (2020)

Software Defined Systems
Bỡi: Zeng, Deze, et al.
Được phát hành: (2020)

Computational Science and Its Applications – ICCSA 2017
Bỡi: Gervasi, Osvaldo, et al.
Được phát hành: (2020)

Web Services and Formal Methods
Được phát hành: (2020)

Formal Methods and Hybrid Real-Time Systems
Bỡi: Jones, Cliff B., et al.
Được phát hành: (2020)

Coordination Models and Languages
Bỡi: Lea, Doug, et al.
Được phát hành: (2020)

Engineering Scalable, Elastic, and Cost-Efficient Cloud Computing Applications
Bỡi: Becker, Steffen, et al.
Được phát hành: (2020)

Multiagent System Technologies
Bỡi: Eymann, Torsten, et al.
Được phát hành: (2020)

Testing of Communicating Systems
Được phát hành: (2020)

Principles of Distributed Systems
Được phát hành: (2020)

Self-Organizing Systems
Được phát hành: (2020)

Multiagent System Technologies
Bỡi: Petta, Paolo, et al.
Được phát hành: (2020)

Self-Organizing Systems
Bỡi: Hutchison, David, et al.
Được phát hành: (2020)

Testing Software and Systems
Bỡi: Yevtushenko, Nina, et al.
Được phát hành: (2020)