|
2871 |
Simulation-based simplification of omega-automata Fritz, Carsten, 2005
|
|
|
2872 |
Simulation-based simplification of omega-automata Fritz, Carsten, 2005
|
|
|
2873 |
Software-Qualitätssicherung durch Automatisierung Metzger, Andreas. - Kaiserslautern : Fachbereich Informatik, Techn. Univ., 2005, Als Ms. gedr.
|
|
|
2874 |
Software-Qualitätssicherung durch Automatisierung Metzger, Andreas, [2005]
|
|
|
2875 |
Speicherung und Indexierung komplexer Objekte in objektrelationalen Datenbank-Management-Systemen Skatulla, Steffen, 2005
|
|
|
2876 |
Speicherverwaltung und Bootstrategien für ein Betriebssystem mit transaktionalem verteilten Heap Göckelmann, Ralph Harry, 2005
|
|
|
2877 |
Speicherverwaltung und Bootstrategien für ein Betriebssystem mit transaktionalem verteilten Heap Göckelmann, Ralph Harry, 2005, [Online-Ausg.]
|
|
|
2878 |
Statische Analyse von Javaprogrammen Stamm, Frank, 2005
|
|
|
2879 |
Strukturelle Analyse web-basierter Dokumente Dehmer, Matthias, 2005
|
|
|
2880 |
Strukturelle Analyse web-basierter Dokumente Dehmer, Matthias, 2005
|
|