1
出版 2007
书本目录: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
获取全文
电子 电子书
2
出版 2007
书本目录: ... -- Investigative Data Mining for Counterterrorism -- Data Integration Using Lazy Types -- Data Generalization...
获取全文
电子 电子书
3
出版 2015
书本目录: ... Didactic Tool with Affective States Recognition -- A Method of the Dynamic Generation of an Infinite...
获取全文
电子 电子书
4
出版 2015
书本目录: ... in Emergency Conditions -- Nonlinear Optimal Tracking With Incomplete State Information Using State Dependent...
获取全文
电子 电子书