Armin Biere | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006 - 9TH INTERNATIONAL CONFERENCE, SEATTLE, WA, USA, AUGUST 12-15, 200

Armin Biere; Carla P. Gomes
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja

49,60 €

DIGITALTECHNIK - EINE PRAXISNAHE EINFÜHRUNG

Armin Biere; Daniel Kröning; Georg Weissenbacher; Christoph M. Wintersteiger
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

28,40 €

HARDWARE AND SOFTWARE: VERIFICATION AND TESTING - 8TH INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2012, HAIFA, ISRAEL, NOVE

Armin Biere; Amir Nahir; Tanja Vos
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

45,80 €

COMPUTER AIDED VERIFICATION - 26TH INTERNATIONAL CONFERENCE, CAV 2014, HELD AS PART OF THE VIENNA SUMMER OF LOGIC, VSL 2014, VIE

Armin Biere; Roderick Bloem
Springer International Publishing AG (2014)
Pehmeäkantinen kirja

97,90 €

DER WIRTSCHAFTLICHE VERURSACHUNGSZEITPUNKT VON VERBINDLICHKEITSRUECKSTELLUNGEN

Armin Tischbierek
Peter Lang AG (1994)
Pehmeäkantinen kirja

113,80 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS - 26TH INTERNATIONAL CONFERENCE, TACAS 2020, HELD AS PART OF T

Armin Biere; David Parker
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

40,00 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS - 26TH INTERNATIONAL CONFERENCE, TACAS 2020, HELD AS PART OF T

Armin Biere; David Parker
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

40,00 €

Theory and Applications of Satisfiability Testing - SAT 2006 - 9th International Conference, Seattle, WA, USA, August 12-15, 200

Armin Biere, Carla P. Gomes

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 440 sivua
Asu: Pehmeäkantinen kirja
Painos: 2006
Julkaisuvuosi: 2006, 26.07.2006 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks. Coverage extends to all current research issues in propositional and quantified Boolean formula satisfiability testing. The papers are organized in topical sections on proofs and cores, heuristics and algorithms, and more.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus