|
4881 |
Model-based runtime analysis of distributed reactive systems Bauer, Andreas, 2007
|
|
|
4882 |
Model-based runtime analysis of distributed reactive systems Bauer, Andreas, 2007
|
|
|
4883 |
Model checking and artificial intelligence Berlin : Springer, 2007
|
|
|
4884 |
Model checking and artificial intelligence Berlin : Springer, 2007
|
|
|
4885 |
Modeling and using context Berlin : Springer, 2007
|
|
|
4886 |
Modeling and using context Berlin : Springer, 2007
|
|
|
4887 |
Modeling decisions Berlin : Springer, 2007
|
|
|
4888 |
Modeling decisions Torra, Vicenç. - Berlin : Springer, 2007
|
|
|
4889 |
Modeling decisions for artificial intelligence Berlin : Springer, 2007
|
|
|
4890 |
Modeling decisions for artificial intelligence Berlin : Springer, 2007
|
|