1
Được phát hành 2005
Mục lục: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
lấy văn bản
Điện tử eBook
2
Được phát hành 2008
Mục lục: ...Goals, Approach, Functionality of Resulting Tools, and Project Structure -- A Model-Driven Approach...
lấy văn bản
Điện tử eBook
3
Được phát hành 2010
Mục lục: ... Programming Problems with Interactive Fuzzy Numbers -- Possibilistic Optimization Tasks with Mutually...
lấy văn bản
Điện tử eBook
4
Bằng Sawaneh, Mamma
Được phát hành 2013
.... It gauges the performance of a Decision Making Unit (DMU) for a period of time. This study aims...
lấy văn bản
Luận văn
5
Bằng Sawaneh, Mamma
Được phát hành 2013
.... It gauges the performance of a Decision Making Unit (DMU) for a period of time. This study aims...
lấy văn bản
Luận văn