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