Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
The Satisfiability Problem: Algorithms and Analyses
|
EDV / Informatik |
27.90 |
|
Buch |
ANGEKÜNDIGT (Mai 2024) Sprache:
Englisch / Autor: Uwe Schöning / Einband: Kartoniert |
|
|
|
|
|
Boolean algebra: Sigma-algebra, Boolean satisfiability problem, De Morgan's laws, Propositional calculus, Logical conjunction, Logical disjunction, Bo
|
Schulbücher |
36.50 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
|
EDV / Informatik |
135.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
On the Complexity of the Satisfiability Problem
|
Geschichte / Politik / Kultur |
23.90 |
|
Buch |
Sprache:
Englisch / Autor: Allen T. Goldberg / Einband: Kartoniert |
|
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
|
EDV / Informatik |
104.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Multilevel Techniques for solving the Satisfiability Problem: Enhancing Tabu Search and Learning Automata
|
EDV / Informatik |
77.00 |
|
Buch |
Sprache:
Englisch / Autor: Sirar Salih / Einband: Kartoniert |
|
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
|
EDV / Informatik |
120.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Rev
|
EDV / Informatik |
124.00 |
|
Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
|
On the Complexity of the Satisfiability Problem
|
Geschichte / Politik / Kultur |
40.90 |
|
Buch |
Sprache:
Englisch / Autor: Allen T Goldberg / Einband: Gebunden |
|
|
|
| / 1 |