1
出版 2008
书本目录: ... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...
获取全文
电子 电子书
2
出版 2010
书本目录: ... – Reusable Elements of User-System Interaction -- A Metamodel-Based Approach for Automatic User Interface...
获取全文
电子 电子书
3
出版 2007
书本目录: ... Hybrid Register File Architecture -- Model Based Performance Evaluation for MPI Programs -- Runtime...
获取全文
电子 电子书
4
出版 2014
书本目录: ... Programming in Maude -- Confluence: The Unifying, Expressive Power of Locality -- Foundations for Ensemble...
获取全文
电子 电子书
5
出版 2005
书本目录: ... the Relevant Instances That May Violate an OCL Constraint -- Event-Based Modeling of Evolution for Semantic...
获取全文
电子 电子书
6
出版 2014
书本目录: ... -- Definition, Semantics and Analysis of Multi rate Synchronous AADL -- Trust Found: Towards a Formal Foundation...
获取全文
电子 电子书
7
出版 2006
书本目录: ... of Personality-Based Agents -- GAPatrol: An Evolutionary Multiagent Approach for the Automatic Definition...
获取全文
电子 电子书
8
出版 2008
书本目录: ... Intelligent Systems -- A Map-based Integration of Ontologies into an Object-Oriented Programming Language....
获取全文
电子 电子书
9
出版 2006
书本目录: ... Definition Questions by Two Machine Learning Approaches -- Fuzzy Rule-Based Hand Gesture Recognition...
获取全文
电子 电子书
10
出版 2008
书本目录: ... Distribution Service -- Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts...
获取全文
电子 电子书