Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computer programming » computer program, computer programs
programming problem » programming problems
problem constructs » problem construction, problem constructive, problem constructing
services computer » sciences computer
constructs https » construction https, constructs loops, constructs arti
computer programming » computer program, computer programs
programming problem » programming problems
problem constructs » problem construction, problem constructive, problem constructing
services computer » sciences computer
constructs https » construction https, constructs loops, constructs arti
1
Published 2008
Table of Contents:
“...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”View full text
Electronic
eBook
2
Published 2012
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
3
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
4
Table of Contents:
“... -- Case Study: Lattice Cover Graph Construction -- Case Study 2: Classifying MADFA Construction Algorithms....”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“... -- Extreme Programming (XP) -- Putting XP into Practise -- Agile Modelling and XP -- Agile Modelling and XP...”
View full text
View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Spectral Radius for Bounded Matrix Languages -- Z-Reachability Problem for Games on 2-Dimensional Vector...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”View full text
Electronic
eBook
14
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Satisfiability and Model-Checking -- On-the-Fly Techniques for Game-Based Software Model Checking -- Computing...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“...The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems -- Learning...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...”View full text
Electronic
eBook