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