Theory and Applications of Satisfiability Testing - SAT 2008 Xishun Zhao
Ø 0.0
0 Bewertungen
53,49 €
Titel: Theory and Applications of Satisfiability Testing - SAT 2008, Untertitel: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings, Einband: Taschenbuch, Autor: Xishun Zhao, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 324, Maße: 235x155x18 mm, Gewicht: 493 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Testmethoden 3-SAT Algorithm analysis and problem complexity Constraint Programming Erfüllbarkeitsproblem der Aussagenlogik Optimization Resolution algorithm algorithms complexity local search logic probabilistic algorithms proof proof systems proof theory random walks.
Jetzt bei Ebay:
-
Seiten:324
-
Einband:Taschenbuch
-
Marke:Springer Berlin Heidelberg, Springer Berlin Heidelberg
-
Fachbereich:Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
-
Publikationstitel:Theory and Applications of Satisfiability Testing - SAT 2008
-
Produktart:Bücher
-
Untertitel:11th International Conference, SAT 2008, Guangzhou, China, May...
-
Film-/Fernseh-Titel:Keine Angabe
-
Publikationsname:Theory and Applications of Satisfiability Testing - SAT 2008
-
Musiktitel:Keine Angabe
-
Interpret:Keine Angabe
-
Schlagworte:EDV / Theorie / Software-Entw. / Testmethoden 3-SAT Algorith...
-
ISBN:9783540797180
-
Breite:15 cm
-
Format:Taschenbuch
-
Erscheinungsjahr:2008
-
Anzahl der Seiten:324 Seiten
-
Autor:Hans Kleine Büning, Xishun Zhao
-
Verlag:Springer Berlin Heidelberg, Springer Berlin
-
Sprache:Englisch
-
Buchtitel:Theory And Applications of Satisfiability Testing-Sat 2008
-
Gewicht:493 g
-
Buchreihe:Theoretical Computer Science And General Issues
-
Standardversand:DHL Kleinpaket kostenlos - Lieferung zwischen 16. May 2025 und 20. May 2025 (bei heutigem Zahlungseingang)
-
Standardversand:DHL Paket 3,99 EUR - Lieferung zwischen 16. May 2025 und 20. May 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere
