Tests and Proofs

Mã QR

Tests and Proofs

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Gabmeyer, Sebastian, Johnsen, Einar Broch
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Computer Science Software Engineering Computer Systems Organization and Communication Networks
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83387
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ự

Tests and Proofs
Bỡi: Meyer, Bertrand, et al.
Được phát hành: (2020)

Tests and Proofs
Được phát hành: (2020)

Tests and Proofs
Bỡi: Beckert, Bernhard, et al.
Được phát hành: (2020)

Tests and Proofs
Bỡi: Dubois, Catherine, 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)

SDL 2005: Model Driven
Được phát hành: (2020)

Parallel Processing and Applied Mathematics
Bỡi: Wyrzykowski, Roman, et al.
Được phát hành: (2020)

Software Engineering for Self-Adaptive Systems III. Assurances
Bỡi: Lemos, Rogério de, et al.
Được phát hành: (2020)

Cyber-Physical Systems of Systems
Bỡi: Bondavalli, Andrea, et al.
Được phát hành: (2020)

Computer Security
Bỡi: Katsikas, Sokratis K., et al.
Được phát hành: (2020)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection
Bỡi: Demazeau, Yves, et al.
Được phát hành: (2020)

Software Architecture
Bỡi: Lopes, Antónia, et al.
Được phát hành: (2020)

Parallel Processing and Applied Mathematics
Bỡi: Wyrzykowski, Roman, et al.
Được phát hành: (2020)

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

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

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

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

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation. 1st ed. 2018
Bỡi: Jarvis, Stephen, et al.
Được phát hành: (2020)

Cloud Broker and Cloudlet for Workflow Scheduling. 1st ed. 2017
Bỡi: Youn, Chan-Hyun, et al.
Được phát hành: (2020)

Human Interactive Proofs
Được phát hành: (2020)

Evaluation of Novel Approaches to Software Engineering
Bỡi: Damiani, Ernesto, 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)

Public-Key Cryptography – PKC 2018
Bỡi: Abdalla, Michel, et al.
Được phát hành: (2020)

Public-Key Cryptography – PKC 2018
Bỡi: Abdalla, Michel, et al.
Được phát hành: (2020)

Provable Security
Bỡi: Baek, Joonsang, et al.
Được phát hành: (2020)

Computer Science – CACIC 2017
Bỡi: Giusti, Armando Eduardo De
Được phát hành: (2020)

Network and Parallel Computing
Bỡi: Shi, Xuanhua, et al.
Được phát hành: (2020)

Reliable Software Technologies – Ada-Europe 2018
Bỡi: Casimiro, António, et al.
Được phát hành: (2020)

Formal Methods for Open Object-Based Distributed Systems
Bỡi: Bonsangue, Marcello M., et al.
Được phát hành: (2020)

Types for Proofs and Programs
Bỡi: Miculan, Marino, et al.
Được phát hành: (2020)

Software Engineering and Formal Methods
Bỡi: Johnsen, Einar Broch, et al.
Được phát hành: (2020)

Model-Driven Engineering and Software Development
Bỡi: Hammoudi, Slimane, et al.
Được phát hành: (2020)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2015)

Introduction to Network Simulator NS2
Bỡi: Issariyakul, Teerawat, et al.
Được phát hành: (2020)

AD HOC NETWORKS
Bỡi: Mohapatra, Prasant, et al.
Được phát hành: (2020)

Advanced Intelligent Environments
Bỡi: Minker, Wolfgang, et al.
Được phát hành: (2020)

Next Generation Intelligent Optical Networks
Bỡi: Kartalopoulos, Stamatios
Được phát hành: (2020)

Next Generation Transport Networks
Bỡi: Ellanti, Manohar Naidu, et al.
Được phát hành: (2020)

Cognitive Wireless Networks
Bỡi: Fitzek, Frank H. P., et al.
Được phát hành: (2020)

Principles of Computer Systems and Network Management
Bỡi: Verma, Dinesh Chandra
Được phát hành: (2020)