Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
programs function » programs functional, programme function, programs fiction
function toward » functions towards, function hard, action toward
function https » functions https, fiction https
https function » its function, sites function, ups function
toward https » towns https
programs function » programs functional, programme function, programs fiction
function toward » functions towards, function hard, action toward
function https » functions https, fiction https
https function » its function, sites function, ups function
toward https » towns https
1
Cyhoeddwyd 2010
Tabl Cynhwysion:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Cael y testun llawn
Electronig
eLyfr
2
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”Cael y testun llawn
Electronig
eLyfr
3
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Cael y testun llawn
Electronig
eLyfr
4
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Cael y testun llawn
Electronig
eLyfr
5
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”Cael y testun llawn
Electronig
eLyfr
6
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...”Cael y testun llawn
Electronig
eLyfr
7
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... for CHR -- Overlapping Rules and Logic Variables in Functional Logic Programs -- Towards “Propagation...”Cael y testun llawn
Electronig
eLyfr
8
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Cael y testun llawn
Electronig
eLyfr
9
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Cael y testun llawn
Electronig
eLyfr
10
Cyhoeddwyd 2007
Tabl Cynhwysion:
“...Invited Talks -- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog...”Cael y testun llawn
Electronig
eLyfr
11
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Cael y testun llawn
Electronig
eLyfr
12
Tabl Cynhwysion:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
13
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... and Data Refinement -- Contributed Papers -- Towards Generic Programming with Sized Types -- Relational...”Cael y testun llawn
Electronig
eLyfr
14
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... Reconstruction of a System for Experimental Mathematics -- Context Aware Calculation and Deduction -- Towards...”Cael y testun llawn
Electronig
eLyfr
15
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Cael y testun llawn
Electronig
eLyfr
16
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Cael y testun llawn
Electronig
eLyfr
17
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”Cael y testun llawn
Electronig
eLyfr
18
Cyhoeddwyd 2010
Tabl Cynhwysion:
“...Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a...”Cael y testun llawn
Electronig
eLyfr
19
Cyhoeddwyd 2015
Tabl Cynhwysion:
“...Towards the Graph Minor Theorems for Directed Graphs -- Automated Synthesis of Distributed...”Cael y testun llawn
Electronig
eLyfr
20
Cyhoeddwyd 2015
Tabl Cynhwysion:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Cael y testun llawn
Electronig
eLyfr