Theory and Applications of Satisfiability Testing - SAT 2013. 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings - Brossura

 
9783642390722: Theory and Applications of Satisfiability Testing - SAT 2013. 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
Brossura
ISBN 10: 3642390722 ISBN 13: 9783642390722

Al momento non sono disponibili copie per questo codice ISBN.

Lingua
Inglese
ISBN 10 
3642390722
ISBN 13 
9783642390722
Rilegatura
Copertina flessibile
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9783642390708: Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings: 7962

Edizione in evidenza

ISBN 10:  3642390706 ISBN 13:  9783642390708
Casa editrice: Springer, 2013
Brossura