Articoli correlati a Theory and Applications of Satisfiability Testing --...

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings - Brossura

 
9783319243191: Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Brossura
ISBN 10: 3319243195 ISBN 13: 9783319243191
Casa editrice: Springer, 2015

Al momento non sono disponibili copie per questo codice ISBN.

Editore
Springer
Data di pubblicazione
2015
Lingua
Inglese
ISBN 10 
3319243195
ISBN 13 
9783319243191
Rilegatura
Paperback
Numero di pagine
458
Redattore
Heule Marijn, Weaver Sean
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783319243177: Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings: 9340

Edizione in evidenza

ISBN 10:  3319243179 ISBN 13:  9783319243177
Casa editrice: Springer, 2015
Brossura