|
20541 |
Structural, Syntactic, and Statistical Pattern Recognition Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
20542 |
Struktureller Bias in neuronalen Netzen mittels Clifford-Algebren Banarer, Vladimir, 2004
|
|
|
20543 |
Teaching Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
20544 |
"Technische Aspekte der Langzeitarchivierung" Schroeder, Kathrin. - [Leipzig : Die Dt. Bibliothek, 2004
|
|
|
20545 |
The Role of Norms and Electronic Institutions in Multi-Agent Systems Basel : Birkhäuser Basel, 2004
|
|
|
20546 |
Theorem Proving in Higher Order Logics Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
20547 |
Towards otherland Kassel : Kassel Univ. Press, 2004
|
|
|
20548 |
[Types for proofs and programs] [Berlin : [Springer], 2004
|
|
|
20549 |
UML-based test specification for communication systems Ebner, Michael, 2004
|
|
|
20550 |
URN-Vergabe in der Schweizerischen Landesbibliothek Bättig, Yvonne. - [Leipzig : [Dt. Nationalbibliothek], 2004
|
|