|
161 |
Efficient symbolic analysis of bounded Petri nets using interval decision diagrams Tovchigrechko, Alexey A., 2008
|
|
|
162 |
Eine Verallgemeinerung der lokalen Gross-Zagier-Formeln von Zhang Maurischat, Kathrin, 2008
|
|
|
163 |
Enumeration of generalized polyominoes Koch, Matthias. - [Bayreuth] : [Univ.-Bibliothek], [2008]
|
|
|
164 |
Hamiltonian cycles in certain graphs and out-arc pancyclic vertices in tournaments Feng, Jinfeng, 2008
|
|
|
165 |
Identifying dependencies among delays Conte, Carla, 2008
|
|
|
166 |
Lifting planar graphs to realize integral 3-polytopes and topics in pseudo-triangulations Schulz, André. - Berlin : Freie Universität Berlin, 2008
|
|
|
167 |
Logical tomography Arndt, Michael, 2008, [Online-Ausg.]
|
|
|
168 |
Markov chain based heuristics for the feedback vertex set problem for digraphs Lemaić, Mile, 2008
|
|
|
169 |
Modifizierte parametrische Komplexitätstheorie Weyer, Mark, [2008]
|
|
|
170 |
Multi-limited Lindenmayer systems Seemann, Markus, [2008]
|
|