|
99981 |
Model-based transformations for quantified boolean formulas Bubeck, Uwe. - Heidelberg : AKA, 2010
|
|
|
99982 |
Model order reduction for efficient EMC simulation Mouil Sil, Ghislain. - Göttingen : Cuvillier, 2010, 1. Aufl.
|
|
|
99983 |
Model reduction methods for FE-BE coupling applied to vibro-acoustic simulations and experimental validation Junge, Michael. - Tönning : Der Andere Verl., 2010
|
|
|
99984 |
Modeling and model-based testing of service choreographies Wieczorek, Sebastian. - München : AVM, 2010
|
|
|
99985 |
Modeling and numerical analysis of wave propagation in saturated and partially saturated porous media Albers, Bettina. - Aachen : Shaker, 2010
|
|
|
99986 |
Modeling of electrically pumped vertical-external-cavity surface-emitting lasers Kreuter, Philipp. - Konstanz : Hartung-Gorre, 2010, 1. Aufl.
|
|
|
99987 |
Modeling of gene regulative networks in developmental systems Hohm, Tim. - Aachen : Shaker, 2010
|
|
|
99988 |
Modeling of subcortical anatomy and variability from stereotactic anatomical atlases Krauth, Axel Günther. - Konstanz : Hartung-Gorre, 2010, 1. ed.
|
|
|
99989 |
Modeling Petri net-based multi-agent applications Cabac, Lawrence. - Berlin : Logos-Verl., 2010
|
|
|
99990 |
Modeling the impact of ICT on business performance Almadhoun, Mahmoud R. M.. - Duisburg : WiKu-Verl., 2010
|
|