Preis-Detektiv.deArvidson, P. Sven: The Sphere of Attention
The Sphere of Attention
EAN 9781402035715
Bester Preis:
77,92€von: Averdo Bilder+Infos
Produktvorschläge:
|
von: Averdo Bilder+Infos | |
|
Graph-Grammars and Their Application to Computer Science
Graph-Grammars and Their Application to Computer Science
EAN 9783540187714
Bester Preis:
77,92€von: Averdo Bilder+Infos | |
|
Grammatical Inference and Applications
This volume presents the proceedings of the Second International Colloquium on Grammatical Inference (ICGI-94), held in Alicante, Spain in September 1994. Besides 25 research papers carefully selected and refereed by the program[...]
EAN 9783540584735
Bester Preis:
40,02€von: Averdo Bilder+Infos | |
|
Gunderson, Louise F.: Robots, Reasoning, and Reification
Robots, Reasoning, and Reification
EAN 9780387874876
Bester Preis:
77,92€von: Averdo Bilder+Infos | |
|
Huth, Michael: Logic in Computer Science 2ed
Logic in Computer Science 2ed
EAN 9780521543101
Bester Preis:
87,70€von: Averdo Bilder+Infos | |
|
Managing and Mining Uncertain Data
Managing and Mining Uncertain Data
EAN 9780387096896
Bester Preis:
75,94€von: Averdo Bilder+Infos | |
|
The Inferior Colliculus
The Inferior Colliculus
EAN 9780387220383
Bester Preis:
231,08€von: Averdo Bilder+Infos | |
|
Friedman, George: Constraint Theory
Constraint Theory
EAN 9780387234182
Bester Preis:
130,98€von: Averdo Bilder+Infos |
Computer Aided Verification
EAN-Nummer: 9783540733676
TOP PREIS!
Anbieter: Averdo
Computer Aided Verification
This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking¿from foundational and methodological issues to the evaluation of major tools and systems¿are addressed.
This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking¿from foundational and methodological issues to the evaluation of major tools and systems¿are addressed.
Anbieter-Kategorie: Fachbücher, Lernen & Nachschlagen > Studium & Erwachsenenbildung
Preis: 40,02 Euro (+ Versandkosten 0,00 Euro)
ID: 15350486153
Schlagworte der gewählten Anbieter-Kategorien:
fachbücher, von, history, systems, john, michael, del, on, mit, en, das, im, des, to, la, nachschlagen, for, für, die, de, der, und, of, and, in, the, lernen, studium, erwachsenenbildung, an
fachbücher, von, history, systems, john, michael, del, on, mit, en, das, im, des, to, la, nachschlagen, for, für, die, de, der, und, of, and, in, the, lernen, studium, erwachsenenbildung, an