|
20171 |
Logic Based Program Synthesis and Transformation
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
|
20172 |
Methods and tools for ontology evolution
Stojanovic, Ljiljana, 2004
|
|
|
|
20173 |
Model checking software
Berlin : Springer, 2004
|
|
|
|
20174 |
Model generation for natural language interpretation and analysis
Berlin : Springer, 2004
|
|
|
|
20175 |
Modeling Decisions for Artificial Intelligence
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
|
20176 |
Modellierung mit UML
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
|
20177 |
Multilingual European DOI registration agency
[Leipzig : [Dt. Nationalbibliothek], 2004
|
|
|
|
20178 |
Multiple Classifier Systems
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
|
20179 |
nestor - Kompetenznetzwerk Langzeitarchivierung
nestor - Kompetenznetzwerk Langzeitarchivierung und Langzeitverfügbarkeit Digitaler Ressourcen für Deutschland. - Frankfurt, M. : nestor c/o Dt. Nationalbibliothek
|
|
|
|
20180 |
Network and Parallel Computing
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
|
Administration
