|
1261 |
Why and how to control cloning in software artifacts
Juergens, Elmar, 2011
|
|
|
|
1262 |
Wissenschaftsförderung und forschungspolitische Prioritäten der Notgemeinschaft der Deutschen Wissenschaft
Kirchhoff, Jochen. - München : Universitätsbibliothek München, 2011
|
|
|
|
1263 |
Zielorientierte Erkennung und Behebung von Qualitätsdefiziten in Software-Systemen am Beispiel der Weiterentwicklungsfähigkeit
Brcina, Robert. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
|
|
|
|
1264 |
Zur effizienten Verarbeitung XML-repräsentierter Massendaten in der Normbasierten Austauschschnittstelle
Ostermeyer, Lars. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
|
|
|
|
1265 |
A formal approach to software product families
Gruler, Alexander M., 2010
|
|
|
|
1266 |
A formal verification environment for use in the certification of safety-related C-programs
Walter, Dennis, 2010
|
|
|
|
1267 |
A formal, declarative approach to data format description
Hartle, Michael, 2010
|
|
|
|
1268 |
A framework for automated HW/SW co-verification of SystemC designs using tmed automata
Herber, Paula, 2010
|
|
|
|
1269 |
A framework for XML similarity joins
Ribeiro, Leonardo Andrade, 2010
|
|
|
|
1270 |
A log-linear discriminative modeling framework for speech recognition
Heigold, Georg, 2010
|
|
Administration
