|
37341 |
Formal specification and verification Eschbach, Robert. - Kaiserslautern : Fachbereich Informatik, Techn. Univ., c 2005, Als Ms. gedr.
|
|
|
37342 |
Formal techniques for networked and distributed systems Berlin : Springer, 2005
|
|
|
37343 |
Formal techniques for networked and distributed systems Berlin : Springer, 2005
|
|
|
37344 |
Foundations of Intelligent Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
|
|
|
37345 |
From homing behavior to cognitive mapping Hübner, Wolfgang, [2005]
|
|
|
37346 |
Fundamental Approaches to Software Engineering FASE (20. : 2017 : Uppsala). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
|
|
|
37347 |
Fundamentals of computation theory Berlin : Springer, 2005
|
|
|
37348 |
Fundamentals of computation theory Berlin : Springer, 2005
|
|
|
37349 |
Fuzzy classifiers and their relation to cluster analysis and neural networks Schmidt, Birka von, 2005
|
|
|
37350 |
Generating anaphoric expressions Striegnitz, Kristina, 2005
|
|