Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.99 € Hermes Kurierdienst 5.49 € DHL-Kurier 4.49 € Hermes-Stelle 4.99 € DPD-Stelle 3.49 € GLS-Kurierdienst 5.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Theory and Applications of Satisfiability Testing - SAT 2010

Name: Theory and Applications of Satisfiability Testing - SAT 2010
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656178
Price: 56.39 EUR
Availability: InStock
Author: Ofer Strichman
ISBN: 9783642141850

13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Ofer Strichman

Stefan Szeider

Sprache

Englisch

Buch Broschur

Libristo-Code: 01656178

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2010

This book constitutes the refereed proceedings of the 13th International Conference on Theory and Ap... Vollständige Beschreibung

Libristo-Code: 01656178

138 b

56.39 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 3-6 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Geme MemoRace House

Spiel

11.19 €

Monsieur Personne Joanna Concejo

Hardcover

22.69 €

Astronauta AMELIA ORTIZ GIL

Broschur

25.19 €

Paradoxos Luiz Bonassi

Broschur

40.49 €

LA PETITA BOTIGA DELS MALSONS 3. UN NINOT DE NEU MOLT BROMISTA HALONEN

Hardcover

14.39 €

Schutz von „wirtschaftlich-virtuellen“ Gesellschaftern Ann-Kathrin Jungen

Adobe ePub DRM

81.52 €

Christologie im Horizont pneumatologischer Neuaufbrüche Benjamin Dahlke

Broschur

56.99 €

Clé USB Ressources numériques Histoire CE2 François Fontaine

Broschur

73.99 €

Vojna a mier II (3. a 4. zväzok), 2. vydanie

Hardcover

28.79 €

CBT und Essstörungen Clara Pauchet

Broschur

26.90 €

Psicología social ROBERT A. BARON

Broschur

79.99 €

Kompetenz durch Kommunikationstraining unter besonderer Berucksichtigung der beruflichen Weiterbildung Oliver Kitter

Broschur

58.00 €

Selection Kiera Cass

Broschur

10.99 €

Shakespeare und seine Welt Günter Jürgensmeier

Hardcover

89.00 €

Ruckkehr ins Leben Holger Niederhausen

Broschur

9.90 €

Verdammt! Best Of Wolfgang Ziegler

Audio CD

16.60 €

(Un)endlich Krainer Murtal Express

Audio CD

15.60 €

Praxis Zeichnen - XL Übungsbuch 18: Ballkleider York P. Herpers

Broschur

17.00 €

Un largo sábado GEORGE STEINER

Broschur

16.69 €

LIRE LE FRANCAIS VERSION ORIGINALE LE SECRET DU PROFESSEUR MICRON Dominique Renaud

Broschur

7.59 €

Darwinsche Theorie und der Sozialismus Ludwig Woltmann

Broschur

29.90 €

Finansovye vychisleniya Vladimir Popov

Broschur

36.39 €

Le novelle della Pescara Gabriele D'Annunzio

Broschur

8.69 €

14 Blanko Bildkarten zum Gestalten & Bemalen für das Kamishibai

Spiel

15.00 €

This book constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. The 21 revised full papers presented together with 14 revised short papers and 2 invited talks were carefully selected from 75 submissions. The papers cover a broad range of topics such as proof systems and proof complexity; search algorithms and heuristics; analysis of algorithms; combinatorial theory of satisfiability; random instances vs structured instances; problem encodings; industrial applications; applications to combinatorics; solvers, simplifiers and tools; and exact and parameterized algorithms.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Theory and Applications of Satisfiability Testing - SAT 2010

Autor Ofer Strichman, Stefan Szeider

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 400

EAN 9783642141850

ISBN 3642141854

Libristo-Code 01656178

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 626

Abmessungen 155 x 236 x 28

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Proceedings of the 26th Conference of Spacecraft TT&C Technology in China Weiping Qian

Broschur

160.79 €

Deadly Justice Kathy Ivan

Broschur

14.09 €

Sudoji: 144 Emoji Sudoku Puzzles Al Sweigart

Broschur

9.59 €

Show Me the Mozart: Volume 1 of Mozart Arrangements for the Ukulele Stephanie Yung

Broschur

19.59 €

Effectiveness of Weight Management Programs in Children and Adolescents: Evidence Report/Technology Assessment Number 170 U S Department of Heal Human Services

Broschur

27.79 €