Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
constructive https » construction https, constructive help, instruction https
services computer » sciences computer
computer programs » computer program
constructive type » construction types, constructive side, constructive graph
programs problem » programs problems, program problem, programmes problems
constructive https » construction https, constructive help, instruction https
services computer » sciences computer
computer programs » computer program
constructive type » construction types, constructive side, constructive graph
programs problem » programs problems, program problem, programmes problems
1
Udgivet 2008
Indholdsfortegnelse:
“...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2006
Indholdsfortegnelse:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2013
Indholdsfortegnelse:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2007
Indholdsfortegnelse:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“... Refinement Algorithm for Strong Preservation -- Dependent Types for Program Understanding -- Automata...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2006
Indholdsfortegnelse:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”Få fuldtekst
Electronisk
eBog
7
Indholdsfortegnelse:
“... -- Case Study: Lattice Cover Graph Construction -- Case Study 2: Classifying MADFA Construction Algorithms....”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2012
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
10
Udgivet 2011
Fag:
“...Programming languages (Electronic computers)....”Få fuldtekst
Electronisk
eBog
11
Indholdsfortegnelse:
“... (backtracking) -- Sorting -- Finite-state algorithms in text processing -- Data types -- Recursion -- Recursive...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
12
Udgivet 2010
Indholdsfortegnelse:
“... Spectral Radius for Bounded Matrix Languages -- Z-Reachability Problem for Games on 2-Dimensional Vector...”Få fuldtekst
Electronisk
eBog
13
Indholdsfortegnelse:
“... -- Extreme Programming (XP) -- Putting XP into Practise -- Agile Modelling and XP -- Agile Modelling and XP...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2008
Indholdsfortegnelse:
“... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2015
Indholdsfortegnelse:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2014
Indholdsfortegnelse:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”Få fuldtekst
Electronisk
eBog
18
Indholdsfortegnelse:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
19
Udgivet 2008
Indholdsfortegnelse:
“... Satisfiability and Model-Checking -- On-the-Fly Techniques for Game-Based Software Model Checking -- Computing...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2006
Indholdsfortegnelse:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Få fuldtekst
Electronisk
eBog