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: ... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...
Získat plný text
Elektronický zdroj E-kniha
4
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
5
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
6
Vydáno 2007
Obsah: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2006
Obsah: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2007
Obsah: ... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...
Získat plný text
Elektronický zdroj E-kniha
9
Vydáno 2008
Obsah: ... Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2013
Obsah: ... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2010
Obsah: ... Process Analysis Using PARDISO Solver -- Internet and Web Computing -- Heuristics Backtracking and a...
Získat plný text
Elektronický zdroj E-kniha
12
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
13
Vydáno 2008
Obsah: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
Získat plný text
Elektronický zdroj E-kniha
14
Vydáno 2014
Obsah: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
Získat plný text
Elektronický zdroj E-kniha
15
Vydáno 2008
Obsah: ... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...
Získat plný text
Elektronický zdroj E-kniha
16
Vydáno 2013
Obsah: ... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...
Získat plný text
Elektronický zdroj E-kniha
17
Vydáno 2008
Obsah: ... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2013
Obsah: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Získat plný text
Elektronický zdroj E-kniha
19
20
Vydáno 2010
Obsah: ... -- MXL3: An Efficient Algorithm for Computing Gröbner Bases of Zero-Dimensional Ideals -- Improved Linear...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání