1
Published 2005
Table of Contents: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...Goals, Approach, Functionality of Resulting Tools, and Project Structure -- A Model-Driven Approach...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Programming Problems with Interactive Fuzzy Numbers -- Possibilistic Optimization Tasks with Mutually...
View full text
Electronic eBook
4
by Sawaneh, Mamma
Published 2013
.... It gauges the performance of a Decision Making Unit (DMU) for a period of time. This study aims...
View full text
Thesis
5
by Sawaneh, Mamma
Published 2013
.... It gauges the performance of a Decision Making Unit (DMU) for a period of time. This study aims...
View full text
Thesis