Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
program computers » program computer, programs computer, program komputer
function section » function detection, function relation, function solution
computers https » computing https, computers gtt, computers help
https function » its function, sites function, ups function
section https » sedation https, fiction https, infection https
program computers » program computer, programs computer, program komputer
function section » function detection, function relation, function solution
computers https » computing https, computers gtt, computers help
https function » its function, sites function, ups function
section https » sedation https, fiction https, infection https
1
2
Publicat 2013
Taula de continguts:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook
6
Publicat 2006
Taula de continguts:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”Obtenir text complet
Electrònic
eBook
7
Publicat 2007
Taula de continguts:
“... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”Obtenir text complet
Electrònic
eBook
8
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Obtenir text complet
Electrònic
eBook
9
Publicat 2012
Matèries:
“...Programming languages (Electronic computers)....”Obtenir text complet
Electrònic
eBook
10
Publicat 2012
Taula de continguts:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Obtenir text complet
Electrònic
eBook
11
Publicat 2011
Matèries:
“...Programming languages (Electronic computers)....”Obtenir text complet
Electrònic
eBook
12
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicat 2013
Taula de continguts:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”Obtenir text complet
Electrònic
eBook
14
Taula de continguts:
“...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
15
Publicat 2015
Matèries:
“...Programming languages (Electronic computers)....”Obtenir text complet
Electrònic
eBook
16
Publicat 2015
Taula de continguts:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Obtenir text complet
Electrònic
eBook
17
Publicat 2014
Taula de continguts:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”Obtenir text complet
Electrònic
eBook
18
Publicat 2015
Taula de continguts:
“... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...”Obtenir text complet
Electrònic
eBook
19
Publicat 2013
Taula de continguts:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Obtenir text complet
Electrònic
eBook
20
Publicat 2011
Taula de continguts:
“... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...”Obtenir text complet
Electrònic
eBook