Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
problem constructive » problems obstructive, problem constrained, problem structure
problem construction » program construction, proper construction, project construction
services computer » sciences computer
computer programs » computer program
problem constructive » problems obstructive, problem constrained, problem structure
problem construction » program construction, proper construction, project construction
services computer » sciences computer
computer programs » computer program
1
Cyhoeddwyd 2008
Tabl Cynhwysion:
“...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”Cael y testun llawn
Electronig
eLyfr
2
Cyhoeddwyd 2012
Pynciau:
“...Programming languages (Electronic computers)....”Cael y testun llawn
Electronig
eLyfr
3
Cyhoeddwyd 2011
Pynciau:
“...Programming languages (Electronic computers)....”Cael y testun llawn
Electronig
eLyfr
4
Tabl Cynhwysion:
“... -- Case Study: Lattice Cover Graph Construction -- Case Study 2: Classifying MADFA Construction Algorithms....”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
5
Cyhoeddwyd 2006
Tabl Cynhwysion:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”Cael y testun llawn
Electronig
eLyfr
6
Cyhoeddwyd 2013
Tabl Cynhwysion:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Cael y testun llawn
Electronig
eLyfr
7
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... Spectral Radius for Bounded Matrix Languages -- Z-Reachability Problem for Games on 2-Dimensional Vector...”Cael y testun llawn
Electronig
eLyfr
8
Tabl Cynhwysion:
“... -- Extreme Programming (XP) -- Putting XP into Practise -- Agile Modelling and XP -- Agile Modelling and XP...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
9
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Satisfiability and Model-Checking -- On-the-Fly Techniques for Game-Based Software Model Checking -- Computing...”Cael y testun llawn
Electronig
eLyfr
10
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Cael y testun llawn
Electronig
eLyfr
11
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”Cael y testun llawn
Electronig
eLyfr
12
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”Cael y testun llawn
Electronig
eLyfr
13
Cyhoeddwyd 2015
Tabl Cynhwysion:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”Cael y testun llawn
Electronig
eLyfr
14
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”Cael y testun llawn
Electronig
eLyfr
15
Tabl Cynhwysion:
“... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
16
Cyhoeddwyd 2010
Tabl Cynhwysion:
“...-Time Calculus: The Causality Problem and Its Solutions -- Computing the Leakage of Information-Hiding...”Cael y testun llawn
Electronig
eLyfr
17
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”Cael y testun llawn
Electronig
eLyfr
18
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...”Cael y testun llawn
Electronig
eLyfr
19
Cyhoeddwyd 2010
Tabl Cynhwysion:
“...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...”Cael y testun llawn
Electronig
eLyfr
20
Cyhoeddwyd 2014
Tabl Cynhwysion:
“...Construction Contracts -- Contracting: Minefield of Construction Disputes -- Analyzing Construction...”Cael y testun llawn
Electronig
eLyfr