Der Compilerbau ist eine der ältesten Disziplinen der Informatik, und ohne Compiler gäbe es ke...
This collection of essays celebrates the career of Judith Bishop, one of the most influential wom...
Unser bisheriger Preis:ORGPRICE: 112,11 €
Compilers: Principles, Techniques and Tools, known to professors, students, and developers wor...
Unser bisheriger Preis:ORGPRICE: 88,80 €
Understanding the Machine, the first volume in the landmark Write Great Code ser...
Unser bisheriger Preis:ORGPRICE: 61,50 €
Take your distributed applications to the next level and see what the reference architectures ass...
Unser bisheriger Preis:ORGPRICE: 81,00 €
Part I of this book is a practical introduction to working with the Isabelle proof assistant. ...
Unser bisheriger Preis:ORGPRICE: 80,24 €
A Software Process Model Handbook for Incorporating People's Capabilities off...
Unser bisheriger Preis:ORGPRICE: 161,63 €
Introduction The goal of this book is to introduce XML to a bioinformatics audience. It does so b...
Unser bisheriger Preis:ORGPRICE: 56,24 €
This is the second of our books designed to help the professional verifier manage complexity. Thi...
Unser bisheriger Preis:ORGPRICE: 124,43 €
Verilog and its usage has come a long way since its original invention in the mid-80s by Phil Moo...
Unser bisheriger Preis:ORGPRICE: 129,54 €
Functional veri?cation is hard. Period. No disagreement here. But why is this so? Consider today’...
Unser bisheriger Preis:ORGPRICE: 164,66 €
This volume focuses on the deeper aspects of software and hardware -- the two recognized subdi...
Unser bisheriger Preis:ORGPRICE: 56,54 €