1
Argitaratua 2010
Aurkibidea: ...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2014
Aurkibidea: ... Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2012
Aurkibidea: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2012
Aurkibidea: ...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2008
Aurkibidea: ... Human Motion Reconstruction Using Video Processing -- New Interfaces -- Personal Recognition Using...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2015
Aurkibidea: ... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...
Testu osoa
Baliabide elektronikoa eBook
7
Aurkibidea: ...User Guide -- Brain–Computer Interfaces -- Brain Sensors and Signals -- Introducing BCI2000 -- Tour...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2015
Aurkibidea: ... -- Shifting processes with cyclically exchangeable increments at random -- Asymptotic Behaviour of Poisson...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2012
Aurkibidea: ....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2012
Aurkibidea: ....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2012
Aurkibidea: ... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...
Testu osoa
Baliabide elektronikoa eBook
12
Argitaratua 2006
Aurkibidea: ... for Lexical Normalization -- A Framework for Integrating Natural Language Tools -- Methods and Tools...
Testu osoa
Baliabide elektronikoa eBook
13
Argitaratua 2013
Aurkibidea: ...On The Move Academy -- Industry Case Studies Program -- Adaptive Case Management and other non...
Testu osoa
Baliabide elektronikoa eBook
14
Argitaratua 2008
Aurkibidea: ... in the Widespread Adoption of Hybrid Learning Strategies -- A Proposal for a Lifecycle Process for Hybrid Learning...
Testu osoa
Baliabide elektronikoa eBook
15
Argitaratua 2013
Aurkibidea: ... Based Early Programming Education: The More You Play, the More You Learn -- Story Guided Virtual...
Testu osoa
Baliabide elektronikoa eBook
16
Argitaratua 2005
Aurkibidea: ... Process to Meet Agile Needs Using Method Engineering -- A Generative Approach for Multi-agent System...
Testu osoa
Baliabide elektronikoa eBook
17
Argitaratua 2008
Aurkibidea: ... Epistemic Interface Design -- Enhancing State-Space Tree Diagrams for Collaborative Problem Solving...
Testu osoa
Baliabide elektronikoa eBook
18
Argitaratua 2008
Aurkibidea: ... Methods of Web Learning -- An Online Special Terminology Interpreting System for Bilingual Instruction...
Testu osoa
Baliabide elektronikoa eBook
19
Argitaratua 2008
Aurkibidea: ...Performance Analysis of an Adaptive User Interface System Based on Mobile Agents -- Combining Human...
Testu osoa
Baliabide elektronikoa eBook
20
Argitaratua 2005
Aurkibidea: ... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...
Testu osoa
Baliabide elektronikoa eBook