|
1191 |
Simulation-based simplification of omega-automata Fritz, Carsten, 2005
|
|
|
1192 |
Software-Qualitätssicherung durch Automatisierung Metzger, Andreas, [2005]
|
|
|
1193 |
Speicherverwaltung und Bootstrategien für ein Betriebssystem mit transaktionalem verteilten Heap Göckelmann, Ralph Harry, 2005, [Online-Ausg.]
|
|
|
1194 |
Strukturelle Analyse web-basierter Dokumente Dehmer, Matthias, 2005
|
|
|
1195 |
Systematische Analyse und Konstruktion integrierter Sicherheitsarchitekturen für mobile verteilte Systeme Görl, Harald, 2005
|
|
|
1196 |
Text analysis for requirements engineering Kof, Leonid, 2005
|
|
|
1197 |
The CircleSegmentView Klein, Peter, [2005]
|
|
|
1198 |
The language Xchange Pătrânjan, Paula-Lavinia, 2005
|
|
|
1199 |
Trace based debugging and visualisation of concurrent Java programs with UML Mehner-Heindl, Katharina, 2005
|
|
|
1200 |
Typsysteme für die Dienstvermittlung in offenen verteilten Systemen Puder, Arno, [2005]
|
|