|
3531 |
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme
Kauer, Stefan, 1999
|
|
|
|
3532 |
Case retrieval nets as a model for building flexible information systems
Lenz, Mario, 1999
|
|
|
|
3533 |
Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory
Rothe, Jörg, 1999
|
|
|
|
3534 |
On some promise classes in structural complexity theory
Rothe, Jörg, 1995
|
|
|
|
3535 |
Formal derivation of pointer algorithms
Möller, Bernhard. - Augsburg : Universität Augsburg, 1991
|
|
|
|
3536 |
Wissenschaft als Beruf
Weber, Max. - München : Duncker & Humblot, 1930
|
|
|
3537 |
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
|
|
|
|
3538 |
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
|
|
|
|
3539 |
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
|
|
|
|
3540 |
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
