Domov / Knjiga

Decision Procedures : An Algorithmic Point of View

An Algorithmic Point of View

Daniel Kroening

Založnik: Springer Berlin / Heidelberg

Cena knjige 52,57 EUR

ISBN9783662504963

VezavaTrda vezava

RazpoložljivostNa zalogi

Datum izdaje2017

StraniNi podatka

Brezplačna dostava v Slovenijo.

Naroči knjigo

Sorodne knjige

Decision Procedures : An Algorithmic Point of View

Kroening, Daniel

Datum izdaje: 13. julij 2018

ISBN: 9783662570654

40,46 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

An Introduction to Facial Cosmetic and Reconstructive Surgery

Shreya Das

ISBN: 9781779568182

199,96 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Thoughtfulness and the Rule of Law

Jeremy Waldron

ISBN: 9780674303607

28,02 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Walters & Karram Urogynecology and Reconstructive Pelvic Surgery

Mark D. Walters (associated with work), Mickey M. Karram (associated with work), Matthew D. Barber (editor), Catherine S. Bradley (editor)

ISBN: 9780443286100

203,11 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

The Calculus of Computation : Decision Procedures with Applications to Verification

Bradley, Aaron R.

Datum izdaje: 19. oktober 2010

ISBN: 9783642093470

28,41 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Participatory Modelling and Simulation to Improve AI-Based Public Social Services

Petra Ahrweiler (editor), Nigel Gilbert (editor)

ISBN: 9783032152824

45,62 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo