Here, what we could find on your book search:

Swarat Chaudhuri

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).

Introduction to Reversible Computing

Introduction to Reversible Computing

Kalyan S. Perumalla

Check Price (4 deals)
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Gilles Barthe

Check Price (9 deals)
Developments in Language Theory

Developments in Language Theory

Oscar H. Ibarra and Zhe Dang

Check Price (5 deals)
FSTTCS 2006: foundations of software technology and theoretical computer science [electronic resource]

FSTTCS 2006: foundations of software technology and theoretical computer science [electronic resource]

S. Arun-Kumar

Check Price (7 deals)
Computer Aided Verification

Computer Aided Verification

Ruzica Piskac and Zvonimir Rakamarić

Check Price (9 deals)
Neurosymbolic Programming

Neurosymbolic Programming

Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama and Yisong Yue

Check Price (4 deals)
NEUROSYMBOLIC PROGRAMMING

NEUROSYMBOLIC PROGRAMMING

SWARAT CHAUDHURI; KEVIN ELLIS; OLEKSANDR POLOZOV, Swarat Chaudhuri, Kevin Ellis, Rishabh Singh, Armando Solar-Lezama and Yishong Yue

Check Price (8 deals)
NASA Formal Methods

NASA Formal Methods

Kristin Yvonne Rozier and Swarat Chaudhuri

Check Price (6 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now