|
501 |
Visual shape similarity and retrieval of figurative images Scholz, Sven. - Berlin : Freie Universität Berlin, 2011
|
|
|
502 |
Why and how to control cloning in software artifacts Juergens, Elmar, 2011
|
|
|
503 |
Zielorientierte Erkennung und Behebung von Qualitätsdefiziten in Software-Systemen am Beispiel der Weiterentwicklungsfähigkeit Brcina, Robert. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
|
|
|
504 |
Zur effizienten Verarbeitung XML-repräsentierter Massendaten in der Normbasierten Austauschschnittstelle Ostermeyer, Lars. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
|
|
|
505 |
A Dependable Middleware for Enhancing the Fault Tolerance of Distributed Computations in Grid Environments Luckow, André. - Aachen : Shaker, 2010, 1. Auflage
|
|
|
506 |
A formal approach to software product families Gruler, Alexander M., 2010
|
|
|
507 |
A formal verification environment for use in the certification of safety-related C-programs Walter, Dennis, 2010
|
|
|
508 |
A formal, declarative approach to data format description Hartle, Michael, 2010
|
|
|
509 |
A framework for automated HW/SW co-verification of SystemC designs using tmed automata Herber, Paula, 2010
|
|
|
510 |
A framework for XML similarity joins Ribeiro, Leonardo Andrade, 2010
|
|