Je cadeautjes zeker op tijd in huis hebben voor de feestdagen? Kom langs in onze winkels en vind het perfecte geschenk!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Je cadeautjes zeker op tijd in huis hebben voor de feestdagen? Kom langs in onze winkels en vind het perfecte geschenk!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Boeken geschreven door Aarne Ranta
-
Type-Theoretical Grammar
Aarne Ranta
- Hardcover | Engels | Indices | nr. 1
- Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the f... Lees meer
€ 185,45Levering 2 à 3 weken€ 185,45Levering 2 à 3 weken -
Structural Proof Theory
Sara Negri, Jan Von Plato, Aarne Ranta
- Hardcover | Engels
- Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a... Lees meer
€ 183,45Levering 2 à 3 weken€ 183,45Levering 2 à 3 weken -
Implementing Programming Languages. an Introduction to Compilers and Interpreters
Aarne Ranta
- Paperback | Engels | Texts in Computing
- Implementing a programming language means bridging the gap from the programmer's high-level thinking to the machine's zeros and ones. If this is done ... Lees meer
€ 29,95Levering 2 à 3 weken€ 29,95Levering 2 à 3 weken -
Grammatical Framework
Aarne Ranta
- Hardcover | Engels | Studies in Computational Linguistics
- Grammatical Framework is a programming language designed for writing grammars, which has the capability of addressing several languages in parallel. T... Lees meer
€ 75,95Verwachte beschikbaarheidsdatum onbekend€ 75,95Verwachte beschikbaarheidsdatum onbekend
4 van 4 resultaten getoond