Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
evaluation programming » evaluating programming, evolution programming, variation programming
programming constructs » programming concepts, programming contest
internal evaluation » external evaluation, interface evaluation, material evaluation
constructs https » construction https, constructs loops, constructs arti
programming programming » programming programmed, programming program
evaluation programming » evaluating programming, evolution programming, variation programming
programming constructs » programming concepts, programming contest
internal evaluation » external evaluation, interface evaluation, material evaluation
constructs https » construction https, constructs loops, constructs arti
1
Published 2010
Table of Contents:
“... Normalization by Evaluation for the ??-Calculus of Constructions -- Defunctionalized Interpreters for Call...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Extension Trees -- Feature Construction Using Theory-Guided Sampling and Randomised Search -- Foundations...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... with Relational Features for Drug Design -- Pairwise Markov Logic -- Evaluating Inference Algorithms...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... into Isabelle -- Experimental Evaluation of Classical Automata Constructions -- Automatic Validation...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“..., Optimization, Synthesis and Performance Evaluation of Real-Time Systems -- Unifying Theories of Programming...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Technologies -- Ch 2 Renewable Energy Technology Adoption in the Pacific Northwest -- Ch 3 Evaluating Polices...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... of ?-Calculus Systems -- Easy Parameterized Verification of Biphase Mark and 8N1 Protocols -- Evaluating...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs -- Typelets — A Rule-Based Evaluation...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Business Applications -- A Composition-Based Approach to the Construction and Dynamic Reconfiguration...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”View full text
Electronic
eBook
19
Published 2005
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“...The Global Scope and Politics of ELT: Critiquing Current Policies and Programs -- Introduction...”View full text
Electronic
eBook