Isabelle/HOL: A Proof Assistant for Higher-Order Logic
(9783540433767 / 1)
Preis von (3 Angebote)60.37 EUR
Weitere Informationen
Higher-Order Perl: Transforming Programs with Programs
Elsevier LTD, Oxford (9781558607019 / Illustrated) | Higher-Order Perl
GesponsertDiese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
preigu.de
67.40 EUR
Siehe Produktangebot
Dieses Produkt im Comparor
KategorieDieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
InternationalFinden Sie dieses Produkt in einem unserer internationalen Geschäfte
Dieses Produkt wurde in anderen Ländern nicht gefunden
FarbenVorherrschende Farben des Produkts
Tags
Higher-Order Perl
Bezeichner
Marke
Elsevier LTD, Oxford Elsevier LTD, Oxford ist ein weltweit tätiger Verlag, der vor allem wissenschaftliche Literatur publiziert. Er wurde im Jahr 1880 gegründet und hat seinen Hauptsitz in Oxford, England.
ISBN
Elsevier LTD, Oxford 1558607013
MPN
Elsevier LTD, Oxford Illustrated
ID
11627270
Configurable Software Performance Completions through Higher-Order Model Transformations
Kit Scientific Publishing (9783866449909) | Configurable Software Performance
Preis von (2 Angebote)51.00 EUR
Weitere Informationen
Gifted Biographies: Higher Order Thinking with Picture Book Biographies
Preis von (2 Angebote)52.50 EUR
Weitere Informationen
The vocabulary of high school Latin, being the vocabulary of: Caesar's Gallic war, books I-V; Cicero against Catiline, on Pompey's command, for the ... alphabetically and in the order of Occurrence
Alpha Editions (9789354006654) | For the, The Vocabulary of
Preis von (1 Angebote)25.49 EUR
Weitere Informationen
The Hybrid High-Order Method for Polytopal Meshes: Design, Analysis, and Applications
Springer (9783030372026) | The Hybrid
Preis von (1 Angebote)165.50 EUR
Weitere Informationen