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í:
intersections computing » interaction computing, interneurons computing, intersections rotating
computing programming » computer programming, computers programming
program constructing » program construction, diagram constructing, programs conducting
programming program » programming programmed, programming problem, programming problems
constructing https » construction https, consulting https, constructing better
intersections computing » interaction computing, interneurons computing, intersections rotating
computing programming » computer programming, computers programming
program constructing » program construction, diagram constructing, programs conducting
programming program » programming programmed, programming problem, programming problems
constructing https » construction https, consulting https, constructing better
1
Vydáno 2006
Obsah:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2007
Obsah:
“... Assistant -- On Constructive Cut Admissibility in Deduction Modulo -- Fast Reflexive Arithmetic Tactics...”Získat plný text
Elektronický zdroj
E-kniha
3
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Vydáno 2006
Obsah:
“... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2005
Obsah:
“... -- Constructing the Numerical Method for Navier — Stokes Equations Using Computer Algebra System -- Nonlinear...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2006
Obsah:
“...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2005
Obsah:
“... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2008
Obsah:
“... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”Získat plný text
Elektronický zdroj
E-kniha
8
Obsah:
“... -- Generalized Deterministic Parsers -- Substring Parsing -- Parsing as Intersection -- Parallel Parsing -- Non...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2008
Obsah:
“...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”Získat plný text
Elektronický zdroj
E-kniha
10
Obsah:
“... Computational Euclidean Geometry -- Affine Transformations -- Affine Intersections -- Genericity in Geometric...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2010
Obsah:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2006
Obsah:
“... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2006
Obsah:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2013
Obsah:
“...From the Contents: Part I Mechanisms in Programs and Nature -- Hyperbolic Cellular Automata -- A...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2007
Obsah:
“... -- Efficient Computation in Groups Via Compression -- Constructing a Secret Binary Partition of a Digital Image...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2014
Obsah:
“...On Normal Numbers -- Dependence Logic -- Syntax and Semantics for Translation -- Intersection types...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2015
Obsah:
“...ALife Using Adaptive, Autonomous, and Individual Agent Control -- Computational Understanding...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2010
Obsah:
“... for Intersection Graphs -- An O(logn)-Approximation Algorithm for the Disjoint Paths Problem in Eulerian Planar...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2010
Obsah:
“...Continuous and Discrete Methods in Computer Science -- Colorful Strips -- The Mono- and Bichromatic...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2007
Obsah:
“... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...”Získat plný text
Elektronický zdroj
E-kniha