|
7481 |
Formal verification of a processor with memory management units Dalinger, Iakov, 2006
|
|
|
7482 |
Foundations of software technology and theoretical computer science Berlin : Springer, 2006
|
|
|
7483 |
Fully-parameterized, first-class modules with hygienic macros Gasbichler, Josef Martin, 2006
|
|
|
7484 |
Generative and transformational techniques in software engineering Berlin : Springer, 2006
|
|
|
7485 |
Generierung interaktiver Lerneinheiten aus visuellen Spezifikationen Aschenbrenner, Peter, 2006
|
|
|
7486 |
Graph transformation Berlin : Springer, 2006
|
|
|
7487 |
Groupware: design, implementation, and use Berlin : Springer, 2006
|
|
|
7488 |
High capacity analog channels for smart documents Iqbal, Taswar, 2006
|
|
|
7489 |
IDL-Referenz der ICG-Daten-Struktur Jülich : Forschungszentrum, Zentralbibliothek, 2006
|
|
|
7490 |
Implementation and application of functional languages Berlin : Springer, 2006
|
|