1
出版 2007
书本目录: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
获取全文
电子 电子书
2
出版 2006
书本目录: ...Keynotes -- A Value-Based Software Process Framework -- Exploring the Business Process-Software...
获取全文
电子 电子书
3
Carsetti, A., Carsetti, A.
出版 2013
书本目录: ... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...
获取全文
电子 电子书
4
出版 2010
书本目录: ... Evidences Based on Natural Language to Drive the Process of Fusing Multimodal Sources -- An Experimental...
获取全文
电子 电子书
5
书本目录: ...Modeling Form-Based Systems -- The Form-Based System Paradigm -- Exploring the Online Bookshop...
获取全文
电子 电子书
6
Thomas, Adrian., Thomas, Adrian.
出版 2008
书本目录: ...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...
获取全文
电子 电子书
7
出版 2010
书本目录: ... -- Investigating the Affective Quality of Motion in User Interfaces to Improve User Experience -- The MINWii...
获取全文
电子 电子书
8
出版 2008
书本目录: ... -- Beyond Frontier Exploration -- Robot Building for Preschoolers -- A Simulation Environment for Middle...
获取全文
电子 电子书
9
出版 2005
书本目录: ... into Robust Human-Scale Dynamically Balanced Soccer Robots -- A Constructive Feature Detection Approach...
获取全文
电子 电子书
10
出版 2006
书本目录: ...Keynote and Invited Talks -- The Age of Content and Knowledge Processing -- Cyber Science...
获取全文
电子 电子书
11
出版 2014
书本目录: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
获取全文
电子 电子书
12
出版 2015
书本目录: ... and CSCW -- Mining Programming Activity to Promote Help -- “It’s About Business not Politics”: Software...
获取全文
电子 电子书
13
出版 2014
书本目录: ... Applications -- Harmonic Navigator: An Innovative, Gesture-Driven User Interface for Exploring Harmonic Spaces...
获取全文
电子 电子书
14
出版 2010
书本目录: ... Interface -- Multi-dimensional Data Visualization using Concentric Coordinates -- Construct Connotation...
获取全文
电子 电子书
15
出版 2005
书本目录: ... Process -- On Building a DyQE – A Medical Information System for Exploring Imprecise Queries -- A Proposal...
获取全文
电子 电子书
16
出版 2010
书本目录: ... -- Fixing Collaborative Edition on Typed Documents -- Towards the Construction of a Knowledge Building...
获取全文
电子 电子书
17
出版 2005
书本目录: ... Modeling – A ”ConstructiveExploration -- DynaMo-AID: A Design Process and a Runtime Architecture...
获取全文
电子 电子书
18
出版 2010
书本目录: ... Discovery on Grid Systems -- Metamodel of Ontology Learning from Text -- An Analysis of Constructed...
获取全文
电子 电子书
19
出版 2008
书本目录: ... Interface for Security Tools -- Posters -- WAPE - a system for distance learning of programming -- Topic...
获取全文
电子 电子书
20
出版 2006
书本目录: ...Awarded Papers -- Overview of Awarded Papers: The 19th Annual Conference of JSAI -- On Constructing...
获取全文
电子 电子书