|
3241 |
Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen
Heinlein, Christian, 2000, [Online-Ausg.]
|
|
|
|
3242 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999
|
|
|
|
3243 |
Case retrieval nets as a model for building flexible information systems
Lenz, Mario, 1999
|
|
|
|
3244 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Rothe, Jörg, 1999
|
|
|
|
3245 |
On some promise classes in structural complexity theory
Rothe, Jörg, 1995
|
|
|
|
3246 |
Formal derivation of pointer algorithms
Möller, Bernhard. - Augsburg : Universität Augsburg, 1991
|
|
|
3247 |
Building feature extraction method based on double reflection imaging dictionary
Enthalten in European Association for Speech, Signal and Image Processing: EURASIP journal on wireless communications and networking Bd. 2019, 11.10.2019, Nr. 1, date:12.2019: 1-9
|
|
|
|
3248 |
Classes of random walks on temporal networks with competing timescales
Enthalten in Applied network science Bd. 4, 23.9.2019, Nr. 1, date:12.2019: 1-20
|
|
|
|
3249 |
Deep residual learning for denoising Monte Carlo renderings
Enthalten in Computational Visual Media Bd. 5, 9.5.2019, Nr. 3, date:9.2019: 239-255
|
|
|
|
3250 |
Efficiently counting complex multilayer temporal motifs in large-scale networks
Enthalten in Computational Social Networks Bd. 6, 14.9.2019, Nr. 1, date:12.2019: 1-34
|
|
Administration
