Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
programming abstraction » programming abstract, programming introduction
interactive computing » interactive computer
computing programming » computer programming, computers programming
abstraction https » instruction https, arbitration https, extraction https
programming programming » programming programmed, programming program
programming abstraction » programming abstract, programming introduction
interactive computing » interactive computer
computing programming » computer programming, computers programming
abstraction https » instruction https, arbitration https, extraction https
1
Published 2007
Table of Contents:
“... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Computing -- to Amorphous Computing -- Abstractions for Directing Self-organising Patterns -- Programming...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... and Load Balancing [Extended Abstract] -- Determining Majority in Networks with Local Interactions and Very...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“...-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“...Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”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 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”View full text
Electronic
eBook
15
Table of Contents:
“...The Abstract Rational Outlook -- A Grab Bag of Computational Models -- Some Formal Technology...”
View full text
View full text
Electronic
eBook
16
Table of Contents:
“...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...”
View full text
View full text
Electronic
eBook
17
18
Published 2005
Table of Contents:
“... Understanding of Communication-Oriented Concerns in Human-Computer Interaction: A Lexicon-Based Approach -- A...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“...: Eliminating Abstraction Overhead from Generic Code -- Implicitly Heterogeneous Multi-stage Programming...”View full text
Electronic
eBook