Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intersections computing » interaction computing, interneurons computing, intersections rotating
programming programming » programming programmed, programming program
computing programming » computer programming, computers programming
programming computing » programming comparing, programming composing, programming computer
https » http
intersections computing » interaction computing, interneurons computing, intersections rotating
programming programming » programming programmed, programming program
computing programming » computer programming, computers programming
programming computing » programming comparing, programming composing, programming computer
https » http
1
Published 2005
Table of Contents:
“...On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“...Track B: Logic, Semantics, Automata, and Theory of Programming -- Symmetric Groups and Quotient...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers -- Using Intersection Types...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Module Checking -- PDL with Intersection and Converse Is 2EXP-Complete -- Symbolic Backwards-Reachability...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming...”View full text
Electronic
eBook
17
Published 2011
Table of Contents:
“... -- Selected Combinatorial Properties of Random Intersection Graphs. Weighted Tree Automata over Valuation...”View full text
Electronic
eBook
18
Table of Contents:
“...Preface -- 1 Getting Started -- 2 Integer Programming Models -- 3 Linear Inequalities and Polyhedra...”
View full text
View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... and Practice: New Measures for On-Line Algorithm Analysis -- Simple Geometrical Intersection Graphs...”View full text
Electronic
eBook
20
Table of Contents:
“... Computational Euclidean Geometry -- Affine Transformations -- Affine Intersections -- Genericity in Geometric...”
View full text
View full text
Electronic
eBook