Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Medimops DE
71.00 EUR
Preis aktualisiert am: 06-09-2026 03:41:59
Siehe Produktangebot
Gesponsert
Decision Procedures, Fachbücher von Daniel Kroening, Ofer Strichman
Galaxus.de
85.59 EUR
Preis aktualisiert am: 06-09-2026 09:54:27
Siehe Produktangebot
Gesponsert
Decision Procedures
SpringerLink DE
87.99 EUR
Preis aktualisiert am: 06-09-2026 10:33:21
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Systems, Procedures and Voting Rules in Context: A Primer for Voting Rule Selection (Advances in Group Decision and Negotiation (9), Band 9)
Systems, Procedures and Voting Rules in Context: A Primer for Voting Rule Selection (Advances in Group Decision and Negotiation (9), Band 9)
Produkt anzeigen
The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification
Produkt anzeigen
Fuzzy Decision Procedures with Binary Relations: Towards A Unified Theory (Theory and Decision Library D:, 13, Band 13)
Fuzzy Decision Procedures with Binary Relations: Towards A Unified Theory (Theory and Decision Library D:, 13, Band 13)
Produkt anzeigen
Decision Procedures: An Algorithmic Point of View
Decision Procedures: An Algorithmic Point of View
Produkt anzeigen
Criminal Procedure and the Supreme Court: A Guide to the Major Decisions on Search and Seizure, Privacy, and Individual Rights
Criminal Procedure and the Supreme Court: A Guide to the Major Decisions on Search and Seizure, Privacy, and Individual Rights
Produkt anzeigen
The Law of National Banks Containing the National Bank Act as Amended with Forms of Procedure and Notes Referring to All Decisions Reported to November 1 1880
The Law of National Banks Containing the National Bank Act as Amended with Forms of Procedure and Notes Referring to All Decisions Reported to November 1 1880
Produkt anzeigen
Menü