1
Published 2006
Table of Contents: ... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ...Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Aspects and Formal Methods -- Rigorous Development of Fault-Tolerant Agent Systems -- Formal Service...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Using Genetic Programming: The Importance of Theorist-Practitionercomputer Interaction -- Towards...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ...Genetic Programming: Theory and Practice -- Discovering Financial Technical Trading Rules Using...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Transformational Approach -- Modeling Web Service Interactions Using the Coordination Language Reo -- Synthesis...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... -- Selection Methods -- Design of Breeding Programs -- Prediction of Breeding Values -- Genotype — Environment...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
View full text
Electronic eBook
13
Table of Contents: ...Mathematical Auxiliaries -- Numerical Methods -- Optimization -- Variation and Control -- The Road...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...Norms, Diffusion and Social Networks -- A Classification of Normative Architectures -- The Complex...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... Reliability Analysis of Evolving Structured Workflows -- Prototype-Driven Development of Web Applications...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Definitions -- Subformula Linking as an Interaction Method -- Automatically Generated Infrastructure for De...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...
View full text
Electronic eBook
18
Published 2011
Table of Contents: ... Rules Evolved by Genetic Programming? A Test of the Adaptive Efficiency of U.S. Stock Markets...
View full text
Electronic eBook
19
Published 2002
Table of Contents: ... -- Probing CFTR Channel Structure and Function Using the Substituted-Cysteine-Accessibility Method -- Methods...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
View full text
Electronic eBook