|
411 |
View-based textual modelling Goldschmidt, Thomas. - Karlsruhe : KIT Scientific Publishing, 2011
|
|
|
412 |
Visual shape similarity and retrieval of figurative images Scholz, Sven. - Berlin : Freie Universität Berlin, 2011
|
|
|
413 |
Why and how to control cloning in software artifacts Juergens, Elmar, 2011
|
|
|
414 |
Zielorientierte Erkennung und Behebung von Qualitätsdefiziten in Software-Systemen am Beispiel der Weiterentwicklungsfähigkeit Brcina, Robert. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
|
|
|
415 |
Zur effizienten Verarbeitung XML-repräsentierter Massendaten in der Normbasierten Austauschschnittstelle Ostermeyer, Lars. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
|
|
|
416 |
A formal approach to software product families Gruler, Alexander M., 2010
|
|
|
417 |
A formal verification environment for use in the certification of safety-related C-programs Walter, Dennis, 2010
|
|
|
418 |
A formal, declarative approach to data format description Hartle, Michael, 2010
|
|
|
419 |
A framework for automated HW/SW co-verification of SystemC designs using tmed automata Herber, Paula, 2010
|
|
|
420 |
A framework for XML similarity joins Ribeiro, Leonardo Andrade, 2010
|
|