Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing programs » processing programmed, processing problems, processing products
turing computing » during commuting, using computing, strings computing
https turing » hopf turing, tape turing, types turing
processing programs » processing programmed, processing problems, processing products
turing computing » during commuting, using computing, strings computing
https turing » hopf turing, tape turing, types turing
1
Artificial Intelligence, Evolutionary Computing and Metaheuristics In the Footsteps of Alan Turing /
Published 2013
Table of Contents:
“... Evolved from Random Behaviour -- Turing: Then, Now and Still Key -- Imitation Programming Unorganised...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- PlasmidPL: A Plasmid-Inspired Language for Genetic Programming -- Using Genetic Programming for Turing...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... Programming -- A Computational Journey into Nonlinearity -- Computable Scientists, Uncomputable World...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Associated to a Turing Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically...”View full text
Electronic
eBook
6
S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management First International...
Published 2010
Table of Contents:
“...Visionary Engagements -- The Relevance of Management of Business Processes and Orchestration...”View full text
Electronic
eBook
7
Table of Contents:
“... Systems -- Automating Control -- Logic and the Invention of the Computer -- Machine Code Programming...”
View full text
View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Processes -- A Theory for Observational Fault Tolerance -- Smooth Orchestrators -- On the Relative...”View full text
Electronic
eBook
9
Table of Contents:
“...Introduction -- Instruction Sequences -- Instruction Processing -- Expressiveness of Instruction...”
View full text
View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Decision Processes -- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Invited Papers -- Graph Machines and Their Applications to Computer-Aided Drug Design: A New...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... of IT Outsourcing Processes -- Living Labs: Arbiters of Mid- and Ground-Level Innovation -- Realising the Real...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... by Cells -- Turing Machines with Cells on the Tape -- Insights into a Biological Computer: Detangling...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“...From Logic to Theoretical Computer Science – An Update -- Reminiscences -- Boris A. Trakhtenbrot...”View full text
Electronic
eBook
15
Table of Contents:
“... Zuse -- Computer Programming Languages -- Object-oriented Languages -- Functional Programming Languages...”
View full text
View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...”View full text
Electronic
eBook
17
18
Published 2010
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... as Acceptors -- On the Processing Power of Protozoa -- Computing Equilibria in Large Games We Play -- A Week...”View full text
Electronic
eBook