Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
intersections computing » interaction computing, interneurons computing, intersections rotating
proceedings programmed » processing programmed, proceedings program, process programmed
programmed functionals » programming functionals, programming functional, programs functional
functionals https » functions https, function https, functionals hints
intersections computing » interaction computing, interneurons computing, intersections rotating
proceedings programmed » processing programmed, proceedings program, process programmed
programmed functionals » programming functionals, programming functional, programs functional
functionals https » functions https, function https, functionals hints
1
Publié 2006
Table des matières:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”Accéder au texte intégral
Électronique
eBook
2
Publié 2015
Table des matières:
“... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”Accéder au texte intégral
Électronique
eBook
3
Publié 2008
Table des matières:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”Accéder au texte intégral
Électronique
eBook
4
Publié 2010
Table des matières:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”Accéder au texte intégral
Électronique
eBook
5
Publié 2007
Table des matières:
“... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”Accéder au texte intégral
Électronique
eBook
6
Publié 2010
Table des matières:
“... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”Accéder au texte intégral
Électronique
eBook
7
Publié 2010
Table des matières:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”Accéder au texte intégral
Électronique
eBook
8
Publié 2010
Table des matières:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Accéder au texte intégral
Électronique
eBook
9
Publié 2005
Table des matières:
“... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”Accéder au texte intégral
Électronique
eBook
10
Publié 2014
Table des matières:
“... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”Accéder au texte intégral
Électronique
eBook
11
Publié 2007
Table des matières:
“... Module Checking -- PDL with Intersection and Converse Is 2EXP-Complete -- Symbolic Backwards-Reachability...”Accéder au texte intégral
Électronique
eBook
12
Publié 2007
Table des matières:
“... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”Accéder au texte intégral
Électronique
eBook
13
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publié 2006
Table des matières:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Accéder au texte intégral
Électronique
eBook
14
Publié 2014
Table des matières:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”Accéder au texte intégral
Électronique
eBook
15
Publié 2008
Table des matières:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Accéder au texte intégral
Électronique
eBook
16
Publié 2008
Table des matières:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”Accéder au texte intégral
Électronique
eBook
17
Publié 2007
Table des matières:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”Accéder au texte intégral
Électronique
eBook
18
Publié 2010
Table des matières:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”Accéder au texte intégral
Électronique
eBook
19
Publié 2007
Table des matières:
“... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”Accéder au texte intégral
Électronique
eBook
20
Publié 2014
Table des matières:
“... Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics...”Accéder au texte intégral
Électronique
eBook