Domov / Knjiga

Decision Procedures : An Algorithmic Point of View

An Algorithmic Point of View

Daniel Kroening

Založnik: Springer

Cena knjige 40,49 EUR

ISBN9783662570654

VezavaMehka vezava

RazpoložljivostNa zalogi

Datum izdaje13. julij 2018

Strani380

Brezplačna dostava v Slovenijo.

Naroči knjigo

Sorodne knjige

Decision Procedures : An Algorithmic Point of View

Kroening, Daniel

Datum izdaje: 2017

ISBN: 9783662504963

52,59 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,97 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo

Thoughtfulness and the Rule of Law

Jeremy Waldron

ISBN: 9780674303607

28,03 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,42 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,12 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,63 EUR

Brezplačna dostava v Slovenijo.

Več o knjigi Naroči knjigo