|
5001 |
Symbolic and quantitative approaches to reasoning with uncertainty Berlin : Springer, 2007
|
|
|
5002 |
Tableaux between proving, projection and compilation Wernhard, Christoph. - Koblenz : Inst. für Informatik, 2007
|
|
|
5003 |
Tagging and parsing with cascaded Markov models Brants, Thorsten, [2007]
|
|
|
5004 |
Temporal pattern mining in dynamic environments Lattner, Andreas D., 2007
|
|
|
5005 |
Temporal pattern mining in dynamic environments Lattner, Andreas D., 2007
|
|
|
5006 |
Temporal pattern mining in dynamic environments Lattner, Andreas D.. - Berlin : Aka, 2007
|
|
|
5007 |
Text, speech and dialogue Berlin : Springer, 2007
|
|
|
5008 |
Text, speech and dialogue Berlin : Springer, 2007
|
|
|
5009 |
The adaptive Web Berlin : Springer, 2007
|
|
|
5010 |
The adaptive Web Berlin : Springer, 2007
|
|