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