|
241 |
Acoustic source localization Madhu, Nilesh. - Tönning : Der Andere Verl., 2010
|
|
|
242 |
Adaptation by evolutionary algorithms in unfalsified control Wonghong, Tanet. - Aachen : Shaker, 2010
|
|
|
243 |
Adjoint-based algorithms and numerical methods for sensitivity generation and optimization of large scale dynamic systems Albersmeyer, Jan, 2010
|
|
|
244 |
Advanced synthetic aperature radar tomography Nannini, Matteo. - Köln : DLR, Bibliotheks- und Informationswesen, 2010, Als Ms. gedr.
|
|
|
245 |
Algorithms for packing problems Schweer, Nils. - Göttingen : Cuvillier, 2010, 1. Aufl.
|
|
|
246 |
Approximate inference algorithms in large networked systems Na, Chongning, 2010
|
|
|
247 |
Approximation algorithms for scheduling and two-dimensional packing problems Schwarz, Ulrich Michael, 2010
|
|
|
248 |
Bicriteria optimization in electronic design automation Berger, Martin. - Tönning : Der Andere Verl., 2010
|
|
|
249 |
Boolean Gröbner bases Brickenstein, Michael. - Berlin : Logos, 2010
|
|
|
250 |
Computer verification of algorithms using a formal proof system Kaiser, Markus. - Berlin : dissertation.de, 2010, Als Ms. gedr.
|
|