1
Gepubliceerd in 2006
Inhoudsopgave: ... Aspects and Formal Methods -- Rigorous Development of Fault-Tolerant Agent Systems -- Formal Service...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2006
Inhoudsopgave: ... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2010
Inhoudsopgave: ...Norms, Diffusion and Social Networks -- A Classification of Normative Architectures -- The Complex...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2013
Inhoudsopgave: ... Definitions -- Subformula Linking as an Interaction Method -- Automatically Generated Infrastructure for De...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2008
Inhoudsopgave: ... of Complexity and Reasons for Muddling through -- Applying Graph Theory to Interaction Design -- Mathematical...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2010
Inhoudsopgave: ... Steel Under Elevated Temperatures -- Interaction Between Concrete Cylinders and Shape-Memory Wires...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2013
Inhoudsopgave: ... of Diffusion-Convection-Reaction Equations Using Upwind Symmetric Interior Penalty Galerkin (SIPG) Method.-   A...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2005
Inhoudsopgave: ...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2014
Inhoudsopgave: ...Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2015
Inhoudsopgave: ... and Correlated Development of Vision, Strategies and Projects in Complex Environments.-20 Chaotic Interaction...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2008
Inhoudsopgave: ... Using Genetic Programming: The Importance of Theorist-Practitionercomputer Interaction -- Towards...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2006
Inhoudsopgave: ...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2005
Inhoudsopgave: ...Genetic Programming: Theory and Practice -- Discovering Financial Technical Trading Rules Using...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2012
Inhoudsopgave: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2010
Inhoudsopgave: ...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2010
Inhoudsopgave: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2008
Inhoudsopgave: ... Transformational Approach -- Modeling Web Service Interactions Using the Coordination Language Reo -- Synthesis...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2005
Inhoudsopgave: ... -- Selection Methods -- Design of Breeding Programs -- Prediction of Breeding Values -- Genotype — Environment...
Volledige tekst
Elektronisch E-boek
19
door Gekeler, Eckart W., Gekeler, Eckart W.
Gepubliceerd in 2008
Inhoudsopgave: ...Mathematical Auxiliaries -- Numerical Methods -- Optimization -- Variation and Control -- The Road...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2011
Inhoudsopgave: ... Software Development Projects -- Classification of Software Projects' Complexity -- Application of Project...
Volledige tekst
Elektronisch E-boek