|
19921 |
Formal specification and verification Eschbach, Robert. - Kaiserslautern : Fachbereich Informatik, Techn. Univ., c 2005, Als Ms. gedr.
|
|
|
19922 |
Formal techniques for networked and distributed systems Berlin : Springer, 2005
|
|
|
19923 |
Fundamentals of computation theory Berlin : Springer, 2005
|
|
|
19924 |
Fuzzy classifiers and their relation to cluster analysis and neural networks Schmidt, Birka von, 2005
|
|
|
19925 |
Generating anaphoric expressions Striegnitz, Kristina, 2005
|
|
|
19926 |
Generative mesh modeling Havemann, Sven, 2005
|
|
|
19927 |
Geometrical aspects of statistical learning theory Hein, Matthias, 2005
|
|
|
19928 |
GraphicConverter 5.6.2 Henke, Hagen. - Lorenzkirch : Elbsand-Verl., 2005
|
|
|
19929 |
Handbook of geometric computing Berlin : Springer, 2005
|
|
|
19930 |
Handling the complexity of BGP Maennel, Olaf, 2005
|
|