1
出版 2005
书本目录: ... Attribute Definitions -- Session: Tool Support -- CZT Support for Z Extensions -- Embedding the Stable...
获取全文
电子 电子书
2
出版 2007
书本目录: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
获取全文
电子 电子书
3
出版 2007
书本目录: ... -- Answer-Set Programming Based Dynamic User Modeling for Recommender Systems -- Application of Logic...
获取全文
电子 电子书
4
出版 2006
书本目录: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
获取全文
电子 电子书
5
出版 2006
书本目录: ... for Accessibility -- Automatic Annotation of Web Services Based on Workflow Definitions -- A Constraint-Based...
获取全文
电子 电子书