|
1331 |
A semantic framework for non-functional specifications of component based systems Zschaler, Steffen, 2007
|
|
|
1332 |
A workflow mining approach for deriving software process models Rubin, Vladimir, 2007
|
|
|
1333 |
Abgleich verteilter Datenbestände am Beispiel des Gesundheitswesens Zachewitz, Ludger. - Berlin : Logos-Verl., 2007
|
|
|
1334 |
Abstraktion und Gegenbeispiel-gelenkte Konstruktion von ω-Automaten [Omega-Automaten] zur Verifikation Schritt-diskreter linearer hybrider Systeme Segelken, Marc, 2007
|
|
|
1335 |
Algebraic decoding beyond half the minimum distance based on shift register synthesis Schmidt, Georg. - Düsseldorf : VDI-Verl., 2007, Als Ms. gedr.
|
|
|
1336 |
Algebraic foundations of the unifying theories of programming Guttmann, Walter, 2007
|
|
|
1337 |
Algorithm engineering for large data sets Dementiev, Roman. - Saarbrücken : VDM Verlag Dr. Müller, 2007
|
|
|
1338 |
An algebraic approach to XQuery optimization May, Norman, 2007
|
|
|
1339 |
Analyse, Laufzeitmodellierung und Optimierung paralleler MPI-Programme Kühnemann, Matthias, 2007
|
|
|
1340 |
Analyzing software quality assurance strategies through simulation Müller, Mark. - Stuttgart : Fraunhofer-IRB-Verl., 2007
|
|