Computer Aided Verification

QR Kod

Computer Aided Verification

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Gupta, Aarti, Malik, Sharad
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science Programming Techniques Computer System Implementation
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81727
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Computer Aided Verification
Baskı/Yayın Bilgisi: (2020)

Implementing Distributed Systems with Java and CORBA
Yazar:: Aleksy, Markus, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

OpenMP in a New Era of Parallelism
Yazar:: Eigenmann, Rudi, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Parallel Problem Solving from Nature - PPSN X
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Damm, Werner, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Majumdar, Rupak, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Chockler, Hana, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Chockler, Hana, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Majumdar, Rupak, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Dillig, Isil, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Dillig, Isil, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Software Verification and Validation
Yazar:: Fisher, Marcus S.
Baskı/Yayın Bilgisi: (2020)

High Performance Computing for Computational Science - VECPAR 2006
Yazar:: Daydé, Michel, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Verification, Model Checking, and Abstract Interpretation
Baskı/Yayın Bilgisi: (2020)

Languages and Compilers for Parallel Computing
Yazar:: Ding, Chen, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Baskı/Yayın Bilgisi: (2020)

Parallel Computing
Yazar:: Trobec, Roman, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Hybrid Systems: Computation and Control
Baskı/Yayın Bilgisi: (2020)

Integrated Research in GRID Computing
Yazar:: Gorlatch, Sergei, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Scientific Applications of Grid Computing
Baskı/Yayın Bilgisi: (2020)

High Performance Computing Systems
Yazar:: Bianchini, Calebe, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Architecture of Computing Systems - ARCS 2017
Yazar:: Knoop, Jens, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Architecture of Computing Systems - ARCS 2007
Yazar:: Lukowicz, Paul, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Do-All Computing in Distributed Systems
Yazar:: Georgiou, Chryssis
Baskı/Yayın Bilgisi: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Yazar:: Berekovic, Mladen, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Systems Aspects in Organic and Pervasive Computing - ARCS 2005
Baskı/Yayın Bilgisi: (2020)

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
Yazar:: Thulasiraman, Parimala, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advances in Computer Systems Architecture
Yazar:: Choi, Lynn, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advances in Computer Systems Architecture
Yazar:: Srikanthan, Thambipillai, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Grid and Distributed Computing
Baskı/Yayın Bilgisi: (2020)

Parallel Computational Technologies
Yazar:: Sokolinsky, Leonid, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Machines, Computations, and Universality
Yazar:: Durand-Lose, Jérôme, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model Driven Architecture - Foundations and Applications
Yazar:: Schieferdecker, Ina, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Domain Modeling and the Duration Calculus
Yazar:: George, Chris, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Coordination Models and Languages
Yazar:: Murphy, Amy L., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Theorem Proving in Higher Order Logics
Yazar:: Mohamed, Otmane Ait, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Models of Operating System Kernels
Yazar:: Craig, Iain D.
Baskı/Yayın Bilgisi: (2020)

Theorem Proving in Higher Order Logics
Yazar:: Hurd, Joe, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Scalable Information Systems
Baskı/Yayın Bilgisi: (2020)