5 Titel
Klassifikation
Schliessen
Filter
3

zu den Filteroptionen

Decomposition for compositional verification
Metzler, Björn
2010
Deterministic two-way one-head pushdown automata are very powerful
Monien, Burkhard
In: Information processing letters, Jg. 18.1984, S. 239-242
2009
Diffusion along pipe dislocations
Mimkes, Jürgen
In: Physica status solidi, Jg. 1973 H. 58, S. K31-K34
2009
Disturbed diffusive processes for solving partitioning problems on graphs
Meyerhenke, Henning
2008
Dynamic hashing strategies
Meyer auf der Heide, Friedhelm
In: Mathematical foundations of computer science 1990, Jg. 1990, S. 76-87
2009