Computer Aided Verification

কিউআর কোড

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)