|
41 |
A HyperTransport-Enabled Global Memory Model For Improved Memory Efficiency (revised 08/2009)
Young, Jeffrey. - Heidelberg : Universitätsbibliothek Heidelberg, 2009
|
|
|
|
42 |
Relations and Kleene Algebra in computer science
Berghammer, Rudolf. - Augsburg : Universität Augsburg, 2009
|
|
|
|
43 |
On an analogy between spreadsheets and dynamic geometry environments
Oldenburg, Reinhard. - Augsburg : Universität Augsburg, 2008
|
|
|
|
44 |
Phrasendreschmaschine und Text-Evolution: Unterrichtsideen für Zeichenketten mit PYTHON
Oldenburg, Reinhard. - Augsburg : Universität Augsburg, 2008
|
|
|
45 |
Biologically Inspired Methods for Organizing Distributed Services on Sensor Networks
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Seminar Proceedings 2008, Volume 8141, page 1-8
|
|
|
|
46 |
Formal specification of a Web services protocol
Johnson, James E.. - Hamburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg, 2004
|
|
|
|
47 |
Verifying concurrent systems with symbolic execution
Balser, Michael. - Augsburg : Universität Augsburg, 2002
|
|
|
|
48 |
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
|
|
|
|
49 |
Adaptive Erkennung von Software-Entwurfsmängeln
Enthalten in Informatik, Forschung und Entwicklung Bd. 19, 11.3.2005, Nr. 3, date:4.2005: 151-161
|
|
|
|
50 |
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
|
|
Administration
