Theory And Applications Of Satisfiability Testing - Sat 2015: 18th International Conference, Austin, TX, USA, September 24-27, 201
8 Angebote vergleichen

Bester Preis: 3,69 (vom 28.03.2019)
1
9783319243177 - Theory and Applications of Satisfiability Testing - SAT 2015

Theory and Applications of Satisfiability Testing - SAT 2015 (2015)

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783319243177 bzw. 3319243179, in Deutsch, Taschenbuch, neu.

Lieferung aus: Deutschland, Next Day, Versandkostenfrei.
Erscheinungsdatum: 04.11.2015, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Theory and Applications of Satisfiability Testing -- SAT 2015, Titelzusatz: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, Redaktion: Heule, Marijn // Weaver, Sean, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Allgemeines // Roboter // Robotik // Industrieroboter // Mathematik // Computer // Intelligenz // Künstliche Intelligenz // KI // AI // COMPUTERS // Computer Science // Mathematik für Informatiker, Rubrik: Informatik, Seiten: 436, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 9340) // Theoretical Computer Science and General Issues, Informationen: Book, Gewicht: 684 gr, Verkäufer: averdo.
2
9783319243177 - Marijn Heule: Gebr. - Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedin
Marijn Heule

Gebr. - Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedin (2015)

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783319243177 bzw. 3319243179, in Deutsch, Taschenbuch, neu.

Lieferung aus: Deutschland, 01-3 Tage.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
9783319243177 - Marijn Heule (Editor), Sean Weaver (Editor): Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Marijn Heule (Editor), Sean Weaver (Editor)

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

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika DE NW

ISBN: 9783319243177 bzw. 3319243179, in Deutsch, Springer International Publishing, Springer International Publishing, Springer International Publishing, neu.

84,75 ($ 95,00)¹
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Free Shipping on eligible orders over $25, in-stock.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
9783319243177 - Marijn Heule: Theory And Applications Of Satisfiability Testing - Sat 2015: 18th International Conference, Austin, TX, USA, September 24-27, 201
Marijn Heule

Theory And Applications Of Satisfiability Testing - Sat 2015: 18th International Conference, Austin, TX, USA, September 24-27, 201 (2015)

Lieferung erfolgt aus/von: Kanada DE NW

ISBN: 9783319243177 bzw. 3319243179, in Deutsch, Springer-Verlag/Sci-Tech/Trade, neu.

71,20 (C$ 107,52)¹
unverbindlich
Lieferung aus: Kanada, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
9783319243177 - Heule, Marijn; Weaver, Sean: Theory and Applications of Satisfiability Testing - SAT 2015
Heule, Marijn; Weaver, Sean

Theory and Applications of Satisfiability Testing - SAT 2015 (2015)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika DE NW EB

ISBN: 9783319243177 bzw. 3319243179, in Deutsch, Springer International Publishing, neu, E-Book.

71,03 ($ 79,99)¹
versandkostenfrei, unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, E-Book zum download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
9783319243177 - Marijn Heule; Sean Weaver: Theory and Applications of Satisfiability Testing - SAT 2015
Marijn Heule; Sean Weaver

Theory and Applications of Satisfiability Testing - SAT 2015 (2015)

Lieferung erfolgt aus/von: Mexiko DE PB NW

ISBN: 9783319243177 bzw. 3319243179, in Deutsch, Springer Shop, Taschenbuch, neu.

3,69 ($ 80)¹
unverbindlich
Lieferung aus: Mexiko, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
9783319243177 - Heule: / Weaver | Theory and Applications of Satisfiability Testing - SAT 2015 | Springer | 1st ed. 2015 | 2015
Heule

/ Weaver | Theory and Applications of Satisfiability Testing - SAT 2015 | Springer | 1st ed. 2015 | 2015

Lieferung erfolgt aus/von: Deutschland DE NW

ISBN: 9783319243177 bzw. 3319243179, in Deutsch, Springer, neu.

Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
9783319243177 - Theory and Applications of Satisfiability Testing - SAT 2015

Theory and Applications of Satisfiability Testing - SAT 2015 (2015)

Lieferung erfolgt aus/von: Vereinigtes Königreich Großbritannien und Nordirland DE NW

ISBN: 9783319243177 bzw. 3319243179, in Deutsch, neu.

68,96
unverbindlich
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lieferzeit: 11 Tage, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…