Computer Aided Verification

QRコード

Computer Aided Verification

保存先:

書誌詳細
主要な著者:	Gupta, Aarti, Malik, Sharad
フォーマット:	図書
言語:	English
出版事項:	Springer Berlin Heidelberg 2020
主題:	Computer Science Programming Techniques Computer System Implementation
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81727
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

類似資料

Computer Aided Verification
出版事項: (2020)

Implementing Distributed Systems with Java and CORBA
著者:: Aleksy, Markus, 等
出版事項: (2020)

OpenMP in a New Era of Parallelism
著者:: Eigenmann, Rudi, 等
出版事項: (2020)

Parallel Problem Solving from Nature - PPSN X
出版事項: (2020)

Computer Aided Verification
著者:: Damm, Werner, 等
出版事項: (2020)

Computer Aided Verification
著者:: Majumdar, Rupak, 等
出版事項: (2020)

Computer Aided Verification
著者:: Chockler, Hana, 等
出版事項: (2020)

Computer Aided Verification
著者:: Chockler, Hana, 等
出版事項: (2020)

Computer Aided Verification
著者:: Majumdar, Rupak, 等
出版事項: (2020)

Computer Aided Verification
出版事項: (2020)

Computer Aided Verification
著者:: Dillig, Isil, 等
出版事項: (2020)

Computer Aided Verification
著者:: Dillig, Isil, 等
出版事項: (2020)

Software Verification and Validation
著者:: Fisher, Marcus S.
出版事項: (2020)

High Performance Computing for Computational Science - VECPAR 2006
著者:: Daydé, Michel, 等
出版事項: (2020)

Verification, Model Checking, and Abstract Interpretation
出版事項: (2020)

Languages and Compilers for Parallel Computing
著者:: Ding, Chen, 等
出版事項: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
出版事項: (2020)

Parallel Computing
著者:: Trobec, Roman, 等
出版事項: (2020)

Hybrid Systems: Computation and Control
出版事項: (2020)

Integrated Research in GRID Computing
著者:: Gorlatch, Sergei, 等
出版事項: (2020)

Scientific Applications of Grid Computing
出版事項: (2020)

High Performance Computing Systems
著者:: Bianchini, Calebe, 等
出版事項: (2020)

Architecture of Computing Systems - ARCS 2017
著者:: Knoop, Jens, 等
出版事項: (2020)

Architecture of Computing Systems - ARCS 2007
著者:: Lukowicz, Paul, 等
出版事項: (2020)

Do-All Computing in Distributed Systems
著者:: Georgiou, Chryssis
出版事項: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
著者:: Berekovic, Mladen, 等
出版事項: (2020)

Systems Aspects in Organic and Pervasive Computing - ARCS 2005
出版事項: (2020)

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
著者:: Thulasiraman, Parimala, 等
出版事項: (2020)

Advances in Computer Systems Architecture
著者:: Choi, Lynn, 等
出版事項: (2020)

Advances in Computer Systems Architecture
著者:: Srikanthan, Thambipillai, 等
出版事項: (2020)

Grid and Distributed Computing
出版事項: (2020)

Parallel Computational Technologies
著者:: Sokolinsky, Leonid, 等
出版事項: (2020)

Machines, Computations, and Universality
著者:: Durand-Lose, Jérôme, 等
出版事項: (2020)

Model Driven Architecture - Foundations and Applications
著者:: Schieferdecker, Ina, 等
出版事項: (2020)

Domain Modeling and the Duration Calculus
著者:: George, Chris, 等
出版事項: (2020)

Coordination Models and Languages
著者:: Murphy, Amy L., 等
出版事項: (2020)

Theorem Proving in Higher Order Logics
著者:: Mohamed, Otmane Ait, 等
出版事項: (2020)

Formal Models of Operating System Kernels
著者:: Craig, Iain D.
出版事項: (2020)

Theorem Proving in Higher Order Logics
著者:: Hurd, Joe, 等
出版事項: (2020)

Scalable Information Systems
出版事項: (2020)