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 … Plus…
booklooker.de Buchhandlung - Bides GbR Frais d'envoiVersandkostenfrei, 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 … Plus…
Springer.com Nr. 978-3-540-74104-6. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00) Details... |
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - edition reliée, livre de poche
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. Frais d'envoi EUR 29.19 Details... |
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - edition reliée, livre de poche
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. Frais d'envoi EUR 36.89 Details... |
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) [Hardcover ] - edition reliée, livre de poche
2008, ISBN: 3540741046
[EAN: 9783540741046], Neubuch, [PU: Springer], Books
AbeBooks.de booksXpress, Bayonne, NJ, U.S.A. [71410708] [Rating: 4 (von 5)] NEW BOOK. Frais d'envoi 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 … Plus…
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 … Plus…
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) - edition reliée, livre de poche
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) - edition reliée, livre de poche
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 ] - edition reliée, livre de poche
2008, ISBN: 3540741046
[EAN: 9783540741046], Neubuch, [PU: Springer], Books
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le CD - Decision Procedures: An Algorithmic Point of View
EAN (ISBN-13): 9783540741046
ISBN (ISBN-10): 3540741046
Version reliée
Date de parution: 2008
Editeur: Springer Berlin
304 Pages
Poids: 0,623 kg
Langue: Englisch
CD dans la base de données depuis2007-10-16T08:45:30+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-04-24T16:55:48+02:00 (Paris)
EAN: 3540741046
EAN - Autres types d'écriture:
3-540-74104-6, 978-3-540-74104-6
Autres types d'écriture et termes associés:
Auteur du CD: ofer, kröning, strich, daniel
Titre du CD: procedures, theoretical computer science, point view, procedure, algorithmic, decision points, point zero, view beside, buch daniel, kröning, decisiones
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
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)
< pour archiver...