1
Publicado em 2005
Sumário: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2008
Sumário: ...Goals, Approach, Functionality of Resulting Tools, and Project Structure -- A Model-Driven Approach...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2010
Sumário: ... Programming Problems with Interactive Fuzzy Numbers -- Possibilistic Optimization Tasks with Mutually...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
por Sawaneh, Mamma
Publicado em 2013
.... It gauges the performance of a Decision Making Unit (DMU) for a period of time. This study aims...
Obter o texto integral
Tese
5
por Sawaneh, Mamma
Publicado em 2013
.... It gauges the performance of a Decision Making Unit (DMU) for a period of time. This study aims...
Obter o texto integral
Tese