|
261 |
Spanning subgraphs of growing degree Würfl, Andreas, 2013
|
|
|
262 |
The satisfiability problem Schöning, Uwe. - Berlin : Lehmanns Media, 2013
|
|
|
263 |
Three models of ordinal computability Seyfferth, Benjamin, 2013
|
|
|
264 |
Towards an arithmetic for partial computable functionals Karádais, Basil A., 2013
|
|
|
265 |
Towards more useful description logics of time, change and context Gutiérrez Basulto, Víctor Didier, 2013
|
|
|
266 |
Ageing notions in the analysis of stochastic Petri nets Alexin, Johann, 2012
|
|
|
267 |
Algebraic methods for computing the reliability of networks Simon, Frank, [2012]
|
|
|
268 |
Algebraic uncertainty theory Zimmermann, Jörg, 2012
|
|
|
269 |
Algorithmen für das stochastische Steinerbaumproblem auf serien-parallelen Graphen Bökler, Fritz. - Dortmund : TU, Algorithm Engineering, 2012
|
|
|
270 |
Angewandte diskrete Mathematik mit Schülerinnen und Schülern erkunden Seelze : Friedrich, 2012
|
|