1
Published 2006
Table of Contents: ... Computing -- Position Papers -- Tools for Developing Large Systems (A Proposal) -- Why Programming Languages...
View full text
Electronic eBook
2
Published 2011
Table of Contents: ... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...
View full text
Electronic eBook
3
by Wegener, Ingo., Wegener, Ingo.
Published 2005
Table of Contents: ... Complexity Classes -- Interactive Proofs -- The PCP Theorem and the Complexity of Approximation Problems...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... of Complexity and Reasons for Muddling through -- Applying Graph Theory to Interaction Design -- Mathematical...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Norms, Diffusion and Social Networks -- A Classification of Normative Architectures -- The Complex...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...
View full text
Electronic eBook
9
Subjects: ...Computer games—Programming....
View full text
Electronic eBook
10
Published 2014
Table of Contents: ...One Artefact – Many Phenomena -- Taming the Complexity of Natural and Artificial Evolutionary...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Steel Under Elevated Temperatures -- Interaction Between Concrete Cylinders and Shape-Memory Wires...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... Octopus Fishery in Portugal: Framing its Governability -- Part III: Governing System Complexity – Aligning...
View full text
Electronic eBook
13
Subjects: ...Computer Applications. https://scigraph.springernature.com/ontologies/product-market-codes/I23001...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ...,  Plasmid-Free Competition -- Development of Computer Algorithms for Simulation of Grain Structures...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Using Genetic Programming: The Importance of Theorist-Practitionercomputer Interaction -- Towards...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Software on SMP Computers -- Development of Predictive TFRC with Neural Network -- Planning of Parallel...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...
View full text
Electronic eBook