Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming programming » programming programmed, programming program
evaluating programming » computing programming, exploring programming
programming constructs » programming concepts, programming contest
services evaluating » services evaluation, service evaluation, devices evaluation
constructs https » construction https, constructs loops, constructs arti
programming programming » programming programmed, programming program
evaluating programming » computing programming, exploring programming
programming constructs » programming concepts, programming contest
services evaluating » services evaluation, service evaluation, devices evaluation
constructs https » construction https, constructs loops, constructs arti
1
Publicat 2013
Taula de continguts:
“... with Relational Features for Drug Design -- Pairwise Markov Logic -- Evaluating Inference Algorithms...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... Normalization by Evaluation for the ??-Calculus of Constructions -- Defunctionalized Interpreters for Call...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... Extension Trees -- Feature Construction Using Theory-Guided Sampling and Randomised Search -- Foundations...”Obtenir text complet
Electrònic
eBook
4
Publicat 2007
Taula de continguts:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”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 2010
Taula de continguts:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Obtenir text complet
Electrònic
eBook
7
Publicat 2013
Taula de continguts:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Obtenir text complet
Electrònic
eBook
8
Publicat 2015
Taula de continguts:
“... Technologies -- Ch 2 Renewable Energy Technology Adoption in the Pacific Northwest -- Ch 3 Evaluating Polices...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“... into Isabelle -- Experimental Evaluation of Classical Automata Constructions -- Automatic Validation...”Obtenir text complet
Electrònic
eBook
10
Publicat 2008
Taula de continguts:
“... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...”Obtenir text complet
Electrònic
eBook
11
Publicat 2007
Taula de continguts:
“... -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline...”Obtenir text complet
Electrònic
eBook
12
Publicat 2013
Taula de continguts:
“... service -- 2 Conceptual framework underlying the development of a positive youth development program...”Obtenir text complet
Electrònic
eBook
13
Taula de continguts:
“...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
14
Publicat 2008
Taula de continguts:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”Obtenir text complet
Electrònic
eBook
15
Publicat 2013
Taula de continguts:
“..., Optimization, Synthesis and Performance Evaluation of Real-Time Systems -- Unifying Theories of Programming...”Obtenir text complet
Electrònic
eBook
16
Publicat 2006
Taula de continguts:
“... of ?-Calculus Systems -- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols -- Evaluating...”Obtenir text complet
Electrònic
eBook
17
18
Taula de continguts:
“...and Definitions -- Definitions -- General Constructions -- Semi-honest Adversaries -- Malicious...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
19
Publicat 2014
Taula de continguts:
“...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”Obtenir text complet
Electrònic
eBook
20
Publicat 2005
Taula de continguts:
“...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”Obtenir text complet
Electrònic
eBook