1
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
2
Published 2011
Subjects: ...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ...Algorithms and models for computation on biomolecular Systems -- Computational processes in vitro...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
View full text
Electronic eBook
5
Published 2012
Subjects: ...Management of Computing and Information Systems. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... -- Introducing Programmers to Pair Programming: A Controlled Experiment -- Team Performance in Agile Development...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... Sprints to Lean Flow: Management Strategies for Agile Improvement -- Mob Programming – What Works, What...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... Selection and Question-Answer Ranking in IBM Watson -- Automatic Evolution of Parallel Recursive Programs...
View full text
Electronic eBook
11
Published 2011
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... in a Docking Process.- Semantic Bias in Program Coevolution.- A New Implementation of Geometric...
View full text
Electronic eBook
13
by Shen, Alexander., Shen, Alexander.
Published 2010
Table of Contents: ... (backtracking) -- Sorting -- Finite-state algorithms in text processing -- Data types -- Recursion -- Recursive...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ...ProMAS–2011 -- Part I: Foundations of Agent Programming -- Languages -- Logical Foundations for a...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... for the Tree Homeomorphism Problem -- Datalog Programs over Infinite Databases, Revisited -- XML Query...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Selection Architecture for Genetic Programming -- A Comparison of Cartesian Genetic Programming and Linear...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Accurate Probabilistic Estimates -- Applying Inductive Logic Programming to Process Mining -- A Refinement...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
19
Table of Contents: .... Programs with Selection Logic -- 5. Programs with Repetition Logic -- 6. Working with Characters...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...
View full text
Electronic eBook