|
5951 |
Saturation based decision procedures for extensions of the guarded fragment
Kazakov, Yevgeny, 2005
|
|
|
|
5952 |
Semantische und lexikalische Aspekte der mathematischen Fachsprache des 19. Jahrhunderts
Becker, Holger, 2005
|
|
|
|
5953 |
Semilocal convergence of Newton's method for finite-dimensional variational inequalities and nonlinear complementarity problems
Wang, Zhengyu, 2005
|
|
|
5954 |
Semilocal convergence of Newton's method for finite-dimensional variational inequalities and nonlinear complementarity problems
Wang, Zhengyu, 2005
|
|
|
|
5955 |
Shape representations of digital sets based on convexity properties
Dörksen, Helene, 2005
|
|
|
|
5956 |
Shape representations of digital sets based on convexity properties
Dörksen, Helene, 2005
|
|
|
|
5957 |
Simultaneous inference for ratios of location parameters
Gemechis Dilba Djira, 2005
|
|
|
|
5958 |
Simultaneous inference for ratios of location parameters
Gemechis Dilba Djira, 2005
|
|
|
|
5959 |
Single- and multi-objective evolutionary design optimization
Emmerich, Michael T. M., 2005
|
|
|
|
5960 |
Single- and multi-objective evolutionary design optimization assisted by gaussian random field metamodels
Emmerich, Michael, 2005
|
|
Administration
