1
出版 2014
書本目錄: ... -- Creating a World for Socio-Cultural Agents -- FAtiMA Modular: Towards an Agent Architecture with a Generic...
獲取全文
電子 電子書
2
Lopez, Cesar., Lopez, Cesar.
出版 2014
主題: ...Programming languages (Electronic computers)....
獲取全文
電子 電子書
3
出版 2008
書本目錄: ... Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction -- Deploying...
獲取全文
電子 電子書
4
出版 2008
書本目錄: ... for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool...
獲取全文
電子 電子書
5
出版 2014
書本目錄: ... Assistant Program -- Computational Tools for Designing Smart Libraries -- Computational Tools for Directed...
獲取全文
電子 電子書