2001, ISBN: 9783540741046
[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on … Meer...
booklooker.de Buchhandlung - Bides GbR Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
ISBN: 9783540741046
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real … Meer...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - gebonden uitgave, pocketboek
2008, ISBN: 3540741046
[EAN: 9783540741046], Gebraucht, wie neu, [PU: Springer], LIKE NEW, Books
AbeBooks.de Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)] NOT NEW BOOK. Verzendingskosten: EUR 29.19 Details... |
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - gebonden uitgave, pocketboek
2008, ISBN: 3540741046
[EAN: 9783540741046], Neubuch, [PU: Springer], Clean and crisp and new!, Books
AbeBooks.de Welcome Back Books, Toledo, OH, U.S.A. [64434632] [Rating: 4 (von 5)] NEW BOOK. Verzendingskosten: EUR 36.89 Details... |
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) [Hardcover ] - gebonden uitgave, pocketboek
2008, ISBN: 3540741046
[EAN: 9783540741046], Neubuch, [PU: Springer], Books
AbeBooks.de booksXpress, Bayonne, NJ, U.S.A. [71410708] [Rating: 4 (von 5)] NEW BOOK. Verzendingskosten: EUR 8.30 Details... |
2001, ISBN: 9783540741046
[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on … Meer...
ISBN: 9783540741046
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real … Meer...
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - gebonden uitgave, pocketboek
2008
ISBN: 3540741046
[EAN: 9783540741046], Gebraucht, wie neu, [PU: Springer], LIKE NEW, Books
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - gebonden uitgave, pocketboek
2008, ISBN: 3540741046
[EAN: 9783540741046], Neubuch, [PU: Springer], Clean and crisp and new!, Books
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) [Hardcover ] - gebonden uitgave, pocketboek
2008, ISBN: 3540741046
[EAN: 9783540741046], Neubuch, [PU: Springer], Books
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Decision Procedures: An Algorithmic Point of View
EAN (ISBN-13): 9783540741046
ISBN (ISBN-10): 3540741046
Gebonden uitgave
Verschijningsjaar: 2008
Uitgever: Springer Berlin
304 Bladzijden
Gewicht: 0,623 kg
Taal: Englisch
Boek bevindt zich in het datenbestand sinds 2007-10-16T08:45:30+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-03-04T14:16:34+01:00 (Amsterdam)
ISBN/EAN: 3540741046
ISBN - alternatieve schrijfwijzen:
3-540-74104-6, 978-3-540-74104-6
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: ofer, kröning, strich, daniel
Titel van het boek: procedures, theoretical computer science, point view, procedure, algorithmic, decision points, point zero, view beside, buch daniel, kröning, decisiones
Gegevens van de uitgever
Auteur: Daniel Kroening; Ofer Strichman
Titel: Texts in Theoretical Computer Science. An EATCS Series; Decision Procedures - An Algorithmic Point of View
Uitgeverij: Springer; Springer Berlin
306 Bladzijden
Verschijningsjaar: 2008-05-23
Berlin; Heidelberg; DE
Taal: Engels
69,54 € (DE)
71,49 € (AT)
77,00 CHF (CH)
Available
XVI, 306 p.
BB; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Algorithms; Automat; C++; algorithm; logic; operations research; optimization; proving; verification; Artificial Intelligence; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Theory of Computation; Software Engineering; Theoretische Informatik; Software Engineering; BC
and Basic Concepts.- Decision Procedures for Propositional Logic.- Equality Logic and Uninterpreted Functions.- Decision Procedures for Equality Logic and Uninterpreted Functions.- Linear Arithmetic.- Bit Vectors.- Arrays.- Pointer Logic.- Quantified Formulas.- Deciding a Combination of Theories.- Propositional Encodings.Includes supplementary material: sn.pub/extras
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9783662570654 Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) (Kroening, Daniel, Strichman, Ofer)
- 9783662570654 Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) (Kroening, Daniel, Strichman, Ofer)
- 9783540741053 Decision Procedures (Daniel Kroening/ Ofer Strichman)
- 9783662504963 Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) (Kroening, Daniel, Strichman, Ofer)
- 9783642093449 Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) (R. E. Bryant Daniel Kroening,Ofer Strichman,Ofer Strichman)
< naar Archief...