The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software (Research Reports Esprit, 1, Band 1)

Wo zu kaufen (3) Eigenschaften
Gesponsert
The Programming and Proof System ATES
preigu.de
95.80 EUR
Preis aktualisiert am: 22-12-2025 11:03:16
Siehe Produktangebot
Gesponsert
The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software (Research Reports Esprit, 1, Band 1)
Medimops DE
106.99 EUR
Preis aktualisiert am: 16-02-2026 20:10:37
Siehe Produktangebot
Gesponsert
The Programming and Proof System ATES
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 12-02-2026 06:13:22
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

The Verilog PLI Handbook
The Verilog PLI Handbook
Produkt anzeigen
Programming With STM32: Getting Started With the Nucleo Board and C/C++
Programming With STM32: Getting Started With the Nucleo Board and C/C++
Produkt anzeigen
Functional Python Programming: Discover the power of functional programming, generator functions, lazy evaluation, the built-in itertools library, and monads (English Edition)
Functional Python Programming: Discover the power of functional programming, generator functions, lazy evaluation, the built-in itertools library, and monads (English Edition)
Produkt anzeigen
Topics in Parallel and Distributed Computing: Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms
Topics in Parallel and Distributed Computing: Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms
Produkt anzeigen
EU Regional and Urban Policy: Innovations and Experiences from the 2014–2020 Programming Period (SpringerBriefs in Applied Sciences and Technology)
EU Regional and Urban Policy: Innovations and Experiences from the 2014–2020 Programming Period (SpringerBriefs in Applied Sciences and Technology)
Produkt anzeigen
Programming With STM32: Getting Started With the Nucleo Board and C/C++
Programming With STM32: Getting Started With the Nucleo Board and C/C++
Produkt anzeigen
Menü