Buchportal für Bücher die eine ISBN tragen.

Reihe Kiel Computer Science Series

Buchcover SCCharts - Language and Interactive Incremental Compilation

SCCharts - Language and Interactive Incremental Compilation

Christian Motika

BoD – Books on Demand

Buchcover Normalization and Partial Evaluation of Functional Logic Programs

Normalization and Partial Evaluation of Functional Logic Programs

Björn Peemöller

BoD – Books on Demand

Buchcover Formal Verification of Concurrent Embedded Software

Formal Verification of Concurrent Embedded Software

Johannes Frederik Jesper Traub

BoD – Books on Demand

Buchcover Live Trace Visualization for System and Program Comprehension in Large Software Landscapes

Live Trace Visualization for System and Program Comprehension in Large Software Landscapes

Florian Fittkau

BoD – Books on Demand