Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
interactive methods » iterative methods, interactions methods, operative methods
program developing » programs developing, programme developing, programmes developing
developing control » development control, developing countrie, developing country
methods program » methods programmed, methods problem, metrics program
https » http
interactive methods » iterative methods, interactions methods, operative methods
program developing » programs developing, programme developing, programmes developing
developing control » development control, developing countrie, developing country
methods program » methods programmed, methods problem, metrics program
https » http
1
Udgivet 2013
Indholdsfortegnelse:
“... -- Adaptive finite elements and mathematical optimization methods -- Part II Grinding -- High-Performance...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2005
Indholdsfortegnelse:
“... and Dialogue Parts of Multimodal Interactive Systems -- USIXML: A Language Supporting Multi-path Development...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2014
Indholdsfortegnelse:
“... for fruit fly control -- V. PHYTOSANITARY PROGRAMS AND REGULATIONS -- 5.1 Integrating Tephritid Trapping...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2013
Indholdsfortegnelse:
“... by Clawing Key Tops -- Finger Controller: Natural User Interaction Using Finger Gestures -- A Method...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2006
Indholdsfortegnelse:
“... Railway Signaling Manufacturer -- Partially Introducing Formal Methods into Object-Oriented Development...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2014
Indholdsfortegnelse:
“... of the Effective Method of Generating Characteristic Gestures in Nonverbal Communication -- Hand-Object Interaction...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2005
Indholdsfortegnelse:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2014
Indholdsfortegnelse:
“... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2014
Indholdsfortegnelse:
“... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2008
Indholdsfortegnelse:
“... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2014
Indholdsfortegnelse:
“...Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2011
Indholdsfortegnelse:
“...Part I Invited Papers -- Part II Man-Machine Interfaces -- Part III Robot Control and Navigation...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2012
Indholdsfortegnelse:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2010
Indholdsfortegnelse:
“... in the Development of a Robotic Screw Remover System -- A Parameterless Biologically Inspired Control Algorithm...”Få fuldtekst
Electronisk
eBog
15
Indholdsfortegnelse:
“...The concept: methods — content — objectives -- Signals in the time and frequency domain...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
16
Udgivet 2010
Indholdsfortegnelse:
“...New Challenges in the Development of Critical Embedded Systems – An “aeromotive” Perspective -- New...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2008
Indholdsfortegnelse:
“...Towards a Theory of Web Service Choreographies -- Controlling Petri Net Process Models -- Extending...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2012
Indholdsfortegnelse:
“... Policies -- Decentralized Governance of Distributed Systems via Interaction Control -- Managing User...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2006
Indholdsfortegnelse:
“...Invited Papers -- MetateM: The Story so Far -- Agent-Based Computing and Programming of Agent...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2006
Indholdsfortegnelse:
“... Aspects and Formal Methods -- Rigorous Development of Fault-Tolerant Agent Systems -- Formal Service...”Få fuldtekst
Electronisk
eBog