|
20181 |
Software Process Improvement Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
20182 |
String Processing and Information Retrieval Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
20183 |
Structural, Syntactic, and Statistical Pattern Recognition Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
20184 |
Struktureller Bias in neuronalen Netzen mittels Clifford-Algebren Banarer, Vladimir, 2004
|
|
|
20185 |
Teaching Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
20186 |
"Technische Aspekte der Langzeitarchivierung" Schroeder, Kathrin. - [Leipzig : Die Dt. Bibliothek, 2004
|
|
|
20187 |
The Role of Norms and Electronic Institutions in Multi-Agent Systems Basel : Birkhäuser Basel, 2004
|
|
|
20188 |
Theorem Proving in Higher Order Logics Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
20189 |
Towards otherland Kassel : Kassel Univ. Press, 2004
|
|
|
20190 |
[Types for proofs and programs] [Berlin : [Springer], 2004
|
|