Formal Methods for Mobile Computing

Mã QR

Formal Methods for Mobile Computing

Đã lưu trong:

Chi tiết về thư mục
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Computer Communication Networks Software Engineering
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81166
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 Techniques for Computer Systems and Business Processes
Bỡi: Bravetti, Mario, et al.
Được phát hành: (2020)

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

Web Services and Formal Methods
Đượ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 Networked and Distributed Systems - FORTE 2007
Bỡi: Derrick, John, 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 Methods for Computational Systems Biology
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2020)

Ad-hoc, Mobile and Wireless Networks
Được phát hành: (2020)

Ad-Hoc, Mobile, and Wireless Networks
Bỡi: Syrotiuk, Violet R., et al.
Được phát hành: (2020)

Ad-Hoc, Mobile, and Wireless Networks
Bỡi: Kranakis, Evangelos, et al.
Được phát hành: (2020)

Mobile Agents
Bỡi: Suri, Niranjan
Được phát hành: (2020)

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

Structured Object-Oriented Formal Language and Method
Bỡi: Miao, Huaikou, et al.
Được phát hành: (2020)

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

Formal Methods: Applications and Technology
Bỡi: Brim, Lubos, et al.
Được phát hành: (2020)

Formal Methods: Foundations and Applications
Bỡi: Cavalheiro, Simone, et al.
Được phát hành: (2020)

The Handbook of Formal Methods in Human-Computer Interaction
Bỡi: Weyers, Benjamin, et al.
Được phát hành: (2020)

Trusted 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 and Testing
Bỡi: Hierons, Robert M., et al.
Được phát hành: (2020)

Formal Methods for Industrial Critical Systems
Bỡi: Leue, Stefan, et al.
Đượ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
Bỡi: Rong, Chunming, et al.
Được phát hành: (2020)

Autonomic and Trusted Computing
Đượ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)

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

Trusted Computing - Challenges and Applications
Bỡi: Lipp, Peter, et al.
Đượ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 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)

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

Formal Methods and Stochastic Models for Performance Evaluation
Bỡi: Wolter, Katinka
Đượ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)

FM 2009: Formal Methods
Được phát hành: (2020)

Formal Methods for Components and Objects
Bỡi: Boer, Frank S. de, et al.
Được phát hành: (2020)

Formal Methods for Components and Objects
Bỡi: Boer, Frank S. de, et al.
Được phát hành: (2020)

Formal Methods and Software Engineering
Bỡi: Lau, Kung-Kiu, et al.
Được phát hành: (2020)

Access to Mobile Services
Bỡi: Yang, Xu, et al.
Được phát hành: (2020)