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