|
61 |
Ökonomische und effiziente Kooperation Schirmbacher, Peter. - Berlin : Humboldt-Universität zu Berlin, 2006
|
|
|
62 |
Workshop Leistungsmessung Umlauf, Konrad. - Workshop Leistungsmessung (2006 : Prag). - Berlin : Humboldt-Universität zu Berlin, 2006
|
|
|
63 |
Formal specification of a Web services protocol Johnson, James E.. - Hamburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg, 2004
|
|
|
64 |
Verifying concurrent systems with symbolic execution Balser, Michael. - Augsburg : Universität Augsburg, 2002
|
|
|
65 |
Schriftenverzeichnis Ludwig Boltzmann Dörflinger, Gabriele. - Heidelberg : Universitätsbibliothek Heidelberg, 2001
|
|
|
66 |
A Public Key Cryptosystem Based on Non-abelian Finite Groups Enthalten in Journal of cryptology Bd. 22, 11.11.2008, Nr. 1, date:1.2009: 62-74
|
|
|
67 |
Adaptive Erkennung von Software-Entwurfsmängeln Enthalten in Informatik, Forschung und Entwicklung Bd. 19, 11.3.2005, Nr. 3, date:4.2005: 151-161
|
|
|
68 |
An efficient image-based verification scheme by fusion of double random phase encoding and dynamic chaotic map Enthalten in Multimedia tools and applications Bd. 78, 17.5.2019, Nr. 17, date:9.2019: 25001-25018
|
|
|
69 |
An ensemble bat algorithm for large-scale optimization Enthalten in International journal of machine learning and cybernetics Bd. 10, 26.8.2019, Nr. 11, date:11.2019: 3099-3113
|
|
|
70 |
An exponential similarity measure for collaborative filtering Enthalten in SN applied sciences Bd. 1, 6.9.2019, Nr. 10, date:10.2019: 1-4
|
|