|
7491 |
Formal verification of a processor with memory management units Dalinger, Iakov, 2006
|
|
|
7492 |
Foundations of software technology and theoretical computer science Berlin : Springer, 2006
|
|
|
7493 |
Fully-parameterized, first-class modules with hygienic macros Gasbichler, Josef Martin, 2006
|
|
|
7494 |
Generative and transformational techniques in software engineering Berlin : Springer, 2006
|
|
|
7495 |
Generierung interaktiver Lerneinheiten aus visuellen Spezifikationen Aschenbrenner, Peter, 2006
|
|
|
7496 |
Graph transformation Berlin : Springer, 2006
|
|
|
7497 |
Groupware: design, implementation, and use Berlin : Springer, 2006
|
|
|
7498 |
High capacity analog channels for smart documents Iqbal, Taswar, 2006
|
|
|
7499 |
IDL-Referenz der ICG-Daten-Struktur Jülich : Forschungszentrum, Zentralbibliothek, 2006
|
|
|
7500 |
Implementation and application of functional languages Berlin : Springer, 2006
|
|