|
531 |
Towards more useful description logics of time, change and context
Gutiérrez Basulto, Víctor Didier, 2013
|
|
|
532 |
Towards More Useful Description Logics of Time, Change and Context
Gutiérrez Basulto, Víctor Didier. - Bremen : Staats- und Universitätsbibliothek Bremen, 2013
|
|
|
|
533 |
Ageing notions in the analysis of stochastic Petri nets
Alexin, Johann, 2012
|
|
|
|
534 |
Algebraic methods for computing the reliability of networks
Simon, Frank, [2012]
|
|
|
|
535 |
Algebraic Methods for Computing the Reliability of Networks
Simon, Frank. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
|
536 |
Algebraic uncertainty theory
Zimmermann, Jörg, 2012
|
|
|
|
537 |
Algorithmen für das stochastische Steinerbaumproblem auf serien-parallelen Graphen
Bökler, Fritz. - Dortmund : TU, Algorithm Engineering, 2012
|
|
|
|
538 |
Analysis of methods for extraction of programs from non-constructive proofs
Trifonov, Trifon. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
|
|
|
|
539 |
Angewandte diskrete Mathematik mit Schülerinnen und Schülern erkunden
Seelze : Friedrich, 2012
|
|
|
|
540 |
Approximation algorithms for 2-dimensional packing and related scheduling problems
Robenek, Christina, 2012
|
|
Administration
