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 2010
Table of Contents: ... Steel Under Elevated Temperatures -- Interaction Between Concrete Cylinders and Shape-Memory Wires...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... of Diffusion-Convection-Reaction Equations Using Upwind Symmetric Interior Penalty Galerkin (SIPG) Method.-   A...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... and Correlated Development of Vision, Strategies and Projects in Complex Environments.-20 Chaotic Interaction...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...Norms, Diffusion and Social Networks -- A Classification of Normative Architectures -- The Complex...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Definitions -- Subformula Linking as an Interaction Method -- Automatically Generated Infrastructure for De...
View full text
Electronic eBook
8
Published 2011
Table of Contents: ... Software Development Projects -- Classification of Software Projects' Complexity -- Application of Project...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...’ Information Retrieval Environment. -Genetic Programming Modeling and Complexity Analysis...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Using Genetic Programming: The Importance of Theorist-Practitionercomputer Interaction -- Towards...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Human Computer Interaction and Software Engineering in Practice -- Convergence or Competition between...
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 2008
Table of Contents: ... of Complexity and Reasons for Muddling through -- Applying Graph Theory to Interaction Design -- Mathematical...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ...Genetic Programming: Theory and Practice -- Discovering Financial Technical Trading Rules Using...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ..., and Person in Lifelong Professional Learning -- New methods and perspectives on teacher evaluation -- Trends...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... the Vocabulary Problem in Multi-Case-Base Reasoning -- Evaluation and Monitoring of the Air-Sea Interaction Using...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... Articles Using User’s Judgments -- Part III -- Chapter 7 - From Invisible Algorithms to Interactive...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Sequential Patterns in Wireless Cellular Networks -- Agile Software Development Methods and its Advantages...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ...Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined...
View full text
Electronic eBook