|
15301 |
Künstliche Intelligenz Norvig, Peter. - München : Pearson Deutschland, 2004, 2. Auflage
|
|
|
15302 |
Languages, tools and patterns for the specification of distributed real-time tests Neukirchen, Helmut Wolfram, 2004
|
|
|
15303 |
Linux Kofler, Michael. - München : Pearson Deutschland, 2004, 7. Aufl.
|
|
|
15304 |
Logic Based Program Synthesis and Transformation Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
15305 |
Methods and tools for ontology evolution Stojanovic, Ljiljana, 2004
|
|
|
15306 |
Model checking software Berlin : Springer, 2004
|
|
|
15307 |
Model generation for natural language interpretation and analysis Berlin : Springer, 2004
|
|
|
15308 |
Modeling Decisions for Artificial Intelligence Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
15309 |
Modellierung mit UML Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
15310 |
Multiple Classifier Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|