1
出版 2005
书本目录: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
获取全文
电子 电子书
2
出版 2008
书本目录: ...Goals, Approach, Functionality of Resulting Tools, and Project Structure -- A Model-Driven Approach...
获取全文
电子 电子书
3
出版 2010
书本目录: ... Programming Problems with Interactive Fuzzy Numbers -- Possibilistic Optimization Tasks with Mutually...
获取全文
电子 电子书
4
Sawaneh, Mamma
出版 2013
.... It gauges the performance of a Decision Making Unit (DMU) for a period of time. This study aims...
获取全文
Thesis
5
Sawaneh, Mamma
出版 2013
.... It gauges the performance of a Decision Making Unit (DMU) for a period of time. This study aims...
获取全文
Thesis