Here, what we could find on your book search:

Zeinab Ganjei

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann and K. Rustan M. Leino

Check Price (5 deals)
Analysis, Design, and Optimization of Embedded Control Systems

Analysis, Design, and Optimization of Embedded Control Systems

Amir Aminifar

Check Price (7 deals)
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar and Lijun Zhang

Check Price (9 deals)
Empirical Studies in Machine Psychology

Empirical Studies in Machine Psychology

Robert Johansson

Check Price (2 deals)
Networked Systems

Networked Systems

Chryssis Georgiou and Rupak Majumdar

Check Price (10 deals)
Representative Synthetic Data for Fair Decision Making

Representative Synthetic Data for Fair Decision Making

Md Fahim Sikder

Check Price (1 deals)
Infinite-Domain CSPs and QBF

Infinite-Domain CSPs and QBF

Leif Eriksson

Check Price (2 deals)
Parameterized Verification of Synchronized Concurrent Programs

Parameterized Verification of Synchronized Concurrent Programs

Zeinab Ganjei

Check Price (8 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free