|
81 |
Satisfiability Characterizations of Upward Planarity Problems Zeranski, Robert. - München : Verlag Dr. Hut, 2014
|
|
|
82 |
Symbolic on-the-fly analysis of stochastic Petri nets Schwarick, Martin. - Cottbus : BTU Cottbus - Senftenberg, 2014
|
|
|
83 |
Symbolic on-the-fly analysis of stochastic Petri nets Schwarick, Martin, 2014
|
|
|
84 |
TEMPLAR Frank, Mario. - Potsdam : Universität Potsdam, 2014
|
|
|
85 |
The spectral distance based on the normalized Laplacian and applications to large networks Gu, Jiao, 2014
|
|
|
86 |
Topics in graph theory Wagner, Peter. - Rostock, 2014
|
|
|
87 |
Ageing notions in the analysis of stochastic Petri nets Alexin, Johann. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
88 |
An den Grenzen des Endlichen Tapp, Christian. - Berlin : Springer Spektrum, 2013
|
|
|
89 |
Approximation Algorithms for 2-dimensional Packing and Related Scheduling Problems Robenek, Christina. - Kiel : Universitätsbibliothek Kiel, 2013
|
|
|
90 |
Approximation Algorithms for Geometric Packing Problems Prädel, Lars Dennis. - Kiel : Universitätsbibliothek Kiel, 2013
|
|