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