|
10501 |
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
|
|
|
|
10502 |
Aspectual mixin layers
Apel, Sven. - Magdeburg : Univ., Fak. für Informatik, 2005
|
|
|
|
10503 |
Aspektorientierte Programmierung
Dornberger, Rolf. - Olten : Fachhochsch. Solothurn Nordwestschweiz, 2005
|
|
|
|
10504 |
Assoziationen in Softwarearchitekturen
Häger, Sebastian. - Potsdam : Inst. für Informatik, 2005
|
|
|
|
10505 |
Automatically generating instances of meta models
Berlin : TU, Professoren der Fak. IV, 2005
|
|
|
|
10506 |
Bounded model checking of pointer programs
Charatonik, Witold. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2005
|
|
|
|
10507 |
Building group awareness in distributed software development projects
Kobylinski, Rafal, 2005
|
|
|
|
10508 |
Challenges and applications of assembly level software model checking
Mehler, Tilman, 2005
|
|
|
|
10509 |
C++
Schumann, Hans-Georg. - Osnabrück : KnowWare, 2005, 1. Ausg., 1. Aufl.
|
|
|
|
10510 |
Compositional scheduling analysis using standard event models
Richter, Kai Robert, 2005
|
|
Administration
