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

Tekijä: Armin Biere (ed.); Carla P. Gomes (ed.)
Kustantaja: Springer (2006)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

DIGITALTECHNIK - EINE PRAXISNAHE EINFÜHRUNG

Tekijä: Armin Biere; Daniel Kröning; Georg Weissenbacher; Christoph M. Wintersteiger
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Saatavuus: Noin 17-20 arkipäivää

EUR 28,40

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

Tekijä: Armin Biere (ed.); Amir Nahir (ed.); Tanja Vos (ed.)
Kustantaja: Springer (2013)
Saatavuus: Noin 17-20 arkipäivää

EUR 45,80

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

Tekijä: Armin Biere (ed.); Roderick Bloem (ed.)
Kustantaja: Springer (2014)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

DER WIRTSCHAFTLICHE VERURSACHUNGSZEITPUNKT VON VERBINDLICHKEITSRUECKSTELLUNGEN

Tekijä: Armin Tischbierek
Kustantaja: Peter Lang AG (1994)
Saatavuus: Ei tiedossa

EUR 112,20

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

Tekijä: Armin Biere (ed.); David Parker (ed.)
Kustantaja: Springer (2020)
Saatavuus: Noin 17-20 arkipäivää

EUR 40,00

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

Tekijä: Armin Biere (ed.); David Parker (ed.)
Kustantaja: Springer (2020)
Saatavuus: Noin 17-20 arkipäivää

EUR 40,00

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

Armin Biere (ed.), Carla P. Gomes (ed.)

49,60 €

Springer
Sivumäärä: 440 sivua
Asu: Pehmeäkantinen kirja
Painos: 2006
Julkaisuvuosi: 2006, 26.07.2006 (lisätietoa)
Kieli: Englanti

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 17-20 arkipäivässä

Myymäläsaatavuus