Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
intersections computing » interaction computing, interneurons computing, intersections rotating
program functionals » programs functional, program functionality, problem functionals
computing programs » comparing programs, computing progress, conducting programs
functionals https » functions https, function https, functionals hints
programs program » programming program
intersections computing » interaction computing, interneurons computing, intersections rotating
program functionals » programs functional, program functionality, problem functionals
computing programs » comparing programs, computing progress, conducting programs
functionals https » functions https, function https, functionals hints
programs program » programming program
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é 2007
Table des matières:
“... for Cost-Analysis of Higher-Order Polymorphic Functional Programs -- Subset Coercions in Coq -- A Certified...”Accéder au texte intégral
Électronique
eBook
4
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
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
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
7
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
8
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
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é 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
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é 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
13
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
14
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
15
Publié 2005
Table des matières:
“... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”Accéder au texte intégral
Électronique
eBook
16
Publié 2007
Table des matières:
“... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”Accéder au texte intégral
Électronique
eBook
17
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
18
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
19
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
20
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