Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programming function » programming functional, programming functionals, programme function
https quantifying » sets quantifying, attacks quantifying, biopsy quantifying
function https » functions https, fiction https
programming function » programming functional, programming functionals, programme function
https quantifying » sets quantifying, attacks quantifying, biopsy quantifying
function https » functions https, fiction https
1
Indholdsfortegnelse:
“...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
2
Udgivet 2010
Indholdsfortegnelse:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2014
Indholdsfortegnelse:
“...D. Belomestny, C. Bender, F. Dickmann, and N. Schweizer: Solving Stochastic Dynamic Programs...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2008
Indholdsfortegnelse:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2005
Indholdsfortegnelse:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2006
Indholdsfortegnelse:
“... Semantics for Higher-Order Programs -- Proofs of Randomized Algorithms in Coq -- Exercises in Quantifier...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2006
Indholdsfortegnelse:
“... -- Preserving Secrecy Under Refinement -- Quantifying Information Leakage in Process Calculi -- Symbolic...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2006
Indholdsfortegnelse:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2010
Indholdsfortegnelse:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2015
Indholdsfortegnelse:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2015
Indholdsfortegnelse:
“... Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2007
Indholdsfortegnelse:
“...: Examples and Counterexamples -- Exotic Quantifiers, Complexity Classes, and Complete Problems -- Session A7...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2008
Indholdsfortegnelse:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”Få fuldtekst
Electronisk
eBog
15
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Udgivet 2006
Indholdsfortegnelse:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2005
Indholdsfortegnelse:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2013
Indholdsfortegnelse:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Få fuldtekst
Electronisk
eBog
18
Indholdsfortegnelse:
“... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
19
Udgivet 2010
Indholdsfortegnelse:
“... for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2007
Indholdsfortegnelse:
“... Selection Criteria for Quantifier-Free First-Order Specifications -- Formal Testing of Systems Presenting...”Få fuldtekst
Electronisk
eBog