Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
program computing » program comparing, programs compiling, problem computing
https function » its function, sites function, ups function
function role » functional role, functional roles
role https » europe https
program computing » program comparing, programs compiling, problem computing
https function » its function, sites function, ups function
function role » functional role, functional roles
role https » europe https
1
Vydáno 2013
Obsah:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2006
Obsah:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2010
Obsah:
“... Computations for Finding Universal Denominators -- A Role of Symbolic Computations in Beam Physics -- Thomas...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2007
Obsah:
“... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2014
Obsah:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2015
Obsah:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Získat plný text
Elektronický zdroj
E-kniha
7
Obsah:
“...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2007
Obsah:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2005
Obsah:
“... Ventricular Shear Strain in Model and Experiment: The Role of Myofiber Orientation -- Cardiac Function...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2006
Obsah:
“... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2005
Obsah:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2010
Obsah:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2005
Obsah:
“... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2010
Obsah:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”Získat plný text
Elektronický zdroj
E-kniha
15
Obsah:
“...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2014
Témata:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2014
Obsah:
“... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”Získat plný text
Elektronický zdroj
E-kniha
18
Obsah:
“...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
19
Obsah:
“.... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2011
Obsah:
“... -- Gene-environment interactions: their role in hypertension development -- Phenotypic overlap of lethal...”Získat plný text
Elektronický zdroj
E-kniha