Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programs function » programs functional, programme function, programs fiction
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
procedural » procedures, procedure
programs function » programs functional, programme function, programs fiction
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
procedural » procedures, procedure
1
Argitaratua 2008
Aurkibidea:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2014
Aurkibidea:
“...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2015
Aurkibidea:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2006
Aurkibidea:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Testu osoa
Baliabide elektronikoa
eBook
7
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Argitaratua 2015
Aurkibidea:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2008
Aurkibidea:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Testu osoa
Baliabide elektronikoa
eBook
9
Aurkibidea:
“...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
10
Aurkibidea:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
11
Aurkibidea:
“...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
12
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Argitaratua 2006
Aurkibidea:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2005
Aurkibidea:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2006
Aurkibidea:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Testu osoa
Baliabide elektronikoa
eBook
15
Aurkibidea:
“... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2005
Aurkibidea:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2014
Aurkibidea:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2008
Aurkibidea:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2012
Aurkibidea:
“... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2008
Aurkibidea:
“...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- Hurrengoa »
- [2]