Computer Aided Verification

Κώδικας QR

Computer Aided Verification

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Gupta, Aarti, Malik, Sharad
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Springer Berlin Heidelberg 2020
Θέματα:	Computer Science Programming Techniques Computer System Implementation
Διαθέσιμο Online:	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)