|
1481 |
Algorithmische Eigenschaften von Branching-Time-Logiken Bauer, Sebastian, 2006
|
|
|
1482 |
An exact mathematical approach for the automatic reconstruction, modification, and design of regulatory networks Wagler, Annegret. - Magdeburg : Univ., Fak. für Mathematik, 2006
|
|
|
1483 |
Analogiebildung in der Mathematik und im Mathematikunterricht Seelze-Velber : Friedrich, 2006
|
|
|
1484 |
Analysis, Modeling and Simulation of Multiscale Problems Heidelberg : Springer Berlin Heidelberg, 2006
|
|
|
1485 |
Analysis, modeling and simulation of multiscale problems Berlin : Springer, 2006
|
|
|
1486 |
Approximability of unsplittable shortest path routing problems Bley, Andreas. - Berlin : ZIB, 2006
|
|
|
1487 |
Approximation and learning by greedy algorithms Aachen : Inst. für Geometrie und Praktische Mathematik, 2006
|
|
|
1488 |
Approximation of global MAX CSP problems Fernandez de la Vega, Wenceslas. - Bonn : Inst. für Informatik, 2006
|
|
|
1489 |
Blattsprachen und Blattfunktionen Galota, Matthias, 2006
|
|
|
1490 |
Blattsprachen und Blattfunktionen Galota, Matthias, 2006
|
|