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