|
16861 |
String Processing and Information Retrieval Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
16862 |
Structural, Syntactic, and Statistical Pattern Recognition Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
16863 |
Struktureller Bias in neuronalen Netzen mittels Clifford-Algebren Banarer, Vladimir, 2004
|
|
|
16864 |
Teaching Formal Methods Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
16865 |
The Role of Norms and Electronic Institutions in Multi-Agent Systems Basel : Birkhäuser Basel, 2004
|
|
|
16866 |
Theorem Proving in Higher Order Logics Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
16867 |
Towards otherland Kassel : Kassel Univ. Press, 2004
|
|
|
16868 |
[Types for proofs and programs] [Berlin : [Springer], 2004
|
|
|
16869 |
UML-based test specification for communication systems Ebner, Michael, 2004
|
|
|
16870 |
Visual C++ - Windows-Programmierung mit den MFC Budszuhn, Frank. - München : Pearson Deutschland, 2004
|
|