Holger H Hoos
Theory and Applications of Satisfiability Testing: 7th International Conference, Sat 2004, Vancouver, Bc, Canada, May 10-13, 2004, Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Holger H Hoos

Name: Theory and Applications of Satisfiability Testing: 7th International Conference, Sat 2004, Vancouver, Bc, Canada, May 10-13, 2004, Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Price: 53.99 EUR
Availability: OutOfStock
Author: Holger H Hoos

Cena

€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 24. sept. - . gada 2. okt.

Saņemiet paziņojumus par jauniem Holger H Hoos izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Theory and Applications of Satisfiability Testing: 7th International Conference, Sat 2004, Vancouver, Bc, Canada, May 10-13, 2004, Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues

Holger H Hoos

Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004. This book contains papers and reports covering a spectrum of research in propositional and quantified Boolean formula satisfiability testing; and the fields of theoretical and experimental computer science.

393 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2005. gada 8. jūlijs
ISBN13	9783540278290
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	393
Izmēri	156 × 234 × 21 mm · 576 g
Valoda	Franču
Redaktors	Hoos, Holger H. (University of British Columbia)
Redaktors	Mitchell, David G. (Simon Fraser University)