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 computer » interactions computer, interventions computer, intersections completes
program programme » programmes programme, programs program, programs programming
program program » programs program, programming program
function https » functions https, fiction https
intersections computer » interactions computer, interventions computer, intersections completes
program programme » programmes programme, programs program, programs programming
program program » programs program, programming program
function https » functions https, fiction https
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 2015
Obsah:
“... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2007
Obsah:
“... for Cost-Analysis of Higher-Order Polymorphic Functional Programs -- Subset Coercions in Coq -- A Certified...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2008
Obsah:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2007
Obsah:
“... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”Získat plný text
Elektronický zdroj
E-kniha
6
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Vydáno 2006
Obsah:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Získat plný text
Elektronický zdroj
E-kniha
7
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
8
Vydáno 2010
Obsah:
“... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2007
Obsah:
“... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”Získat plný text
Elektronický zdroj
E-kniha
10
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
11
Vydáno 2010
Obsah:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2007
Obsah:
“... Module Checking -- PDL with Intersection and Converse Is 2EXP-Complete -- Symbolic Backwards-Reachability...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2010
Obsah:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2008
Obsah:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2014
Obsah:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2005
Obsah:
“... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2008
Obsah:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2007
Obsah:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”Získat plný text
Elektronický zdroj
E-kniha
19
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
20
Vydáno 2007
Obsah:
“... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”Získat plný text
Elektronický zdroj
E-kniha