|
19831 |
An introduction to (co)algebras and (co)induction and their application to the semantics of programming languages
Glesner, Sabine. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
|
|
|
|
19832 |
Analyse und Bewertung von Erstellungssystemen für Augmented Reality-Anwendungen
Abawi, Daniel F.. - Frankfurt am Main : Inst. für Informatik, 2005
|
|
|
|
19833 |
Analysis of a simple (1+1) ES for the class of positive definite quadratic forms with bounded condition number
Jägersküpper, Jens. - Dortmund : Sekretariat des SFB 531, 2005
|
|
|
|
19834 |
Analysis of the autonomous system network and of overlay networks using visualization
Karlsruhe : Univ., Fak. für Informatik, Bibliothek, 2005
|
|
|
|
19835 |
Analytical considerations for transactional cache protocols
Pfeifer, Daniel. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
|
|
|
|
19836 |
Ant colony optimization on runtime reconfigurable architectures
Scheuermann, Bernd, 2005
|
|
|
|
19837 |
Approximation properties of non-separable wavelet bases with isotropic scaling matrices and their relation to Besov spaces
Lindemann, Mathias. - Bremen : University Bremen, 2005
|
|
|
|
19838 |
Architectural synthesis of a coarse-grained run-time-reconfigurable accelerator for DSP applications
Obeid, Abdulfattah Mohammad, 2005
|
|
|
|
19839 |
Articulatory features for conversational speech recognition
Metze, Florian, 2005
|
|
|
|
19840 |
Artificial immune systems
Berlin : Springer, 2005
|
|
Administration
