Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intersections computer » interactions computer, interventions computer, intersections completes
computer processing » computer programming
processing program » processing programs, processing programmed, proceedings program
program a » program _
https » http
intersections computer » interactions computer, interventions computer, intersections completes
computer processing » computer programming
processing program » processing programs, processing programmed, proceedings program
program a » program _
https » http
1
Published 2006
Table of Contents:
“... Processes -- A Dolev-Yao-Based Definition of Abuse-Free Protocols -- Secrecy and Protocol Analysis...”View full text
Electronic
eBook
2
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
3
Published 2007
Table of Contents:
“...Session 1 -- Inequalities from Two Rows of a Simplex Tableau -- Cuts for Conic Mixed-Integer...”View full text
Electronic
eBook
4
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
5
Published 2007
Table of Contents:
“... -- Computerized Bone Age Assessment Using DCT and LDA -- Natural Image Matting Based on Neighbor Embedding...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”View full text
Electronic
eBook
7
Table of Contents:
“...Grammars as a Generating Device -- to Parsing -- General Non-Directional Parsing -- Regular...”
View full text
View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Equations -- Partial Data Replication as a Strategy for Parallel Computing of the Multilevel Discrete...”View full text
Electronic
eBook
9
Table of Contents:
“... Computational Euclidean Geometry -- Affine Transformations -- Affine Intersections -- Genericity in Geometric...”
View full text
View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Untyped Recursion Schemes and Infinite Intersection Types -- Solvability in Resource Lambda-Calculus -- A...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Sámi Speller Based on TWOL Technology -- A Programming Language for Finite State Transducers -- FIRE...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”View full text
Electronic
eBook
18
Table of Contents:
“... -- Curves in Computer Graphics -- Surfaces in Computer Graphics -- Intersection Algorithms -- Global...”
View full text
View full text
Electronic
eBook
19
Published 2010
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... with an Undecidable First-Order Theory.- Open Bisimulation for Quantum Processes.- A Modular LTS for Open Reactive...”View full text
Electronic
eBook