Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
intersections computing » interaction computing, interneurons computing, intersections rotating
computing processing » computing proceeding, computing proceedings, computer processing
processing program » processing programs, processing programmed, proceedings program
program a » program _
https » http
intersections computing » interaction computing, interneurons computing, intersections rotating
computing processing » computing proceeding, computing proceedings, computer processing
processing program » processing programs, processing programmed, proceedings program
program a » program _
https » http
1
Publicat 2006
Taula de continguts:
“... Processes -- A Dolev-Yao-Based Definition of Abuse-Free Protocols -- Secrecy and Protocol Analysis...”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 2007
Taula de continguts:
“...Session 1 -- Inequalities from Two Rows of a Simplex Tableau -- Cuts for Conic Mixed-Integer...”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 2007
Taula de continguts:
“... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...”Obtenir text complet
Electrònic
eBook
6
Publicat 2007
Taula de continguts:
“... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”Obtenir text complet
Electrònic
eBook
7
Taula de continguts:
“...Grammars as a Generating Device -- to Parsing -- General Non-Directional Parsing -- Regular...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“... Equations -- Partial Data Replication as a Strategy for Parallel Computing of the Multilevel Discrete...”Obtenir text complet
Electrònic
eBook
9
Taula de continguts:
“... Computational Euclidean Geometry -- Affine Transformations -- Affine Intersections -- Genericity in Geometric...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
10
Publicat 2013
Taula de continguts:
“... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...”Obtenir text complet
Electrònic
eBook
11
Publicat 2006
Taula de continguts:
“...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“... -- Untyped Recursion Schemes and Infinite Intersection Types -- Solvability in Resource Lambda-Calculus -- A...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Matèries:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”Obtenir text complet
Electrònic
eBook
15
Publicat 2006
Taula de continguts:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”Obtenir text complet
Electrònic
eBook
16
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
17
Publicat 2006
Taula de continguts:
“... Sámi Speller Based on TWOL Technology -- A Programming Language for Finite State Transducers -- FIRE...”Obtenir text complet
Electrònic
eBook
18
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
19
Taula de continguts:
“... -- Curves in Computer Graphics -- Surfaces in Computer Graphics -- Intersection Algorithms -- Global...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
20
Publicat 2012
Taula de continguts:
“... with an Undecidable First-Order Theory.- Open Bisimulation for Quantum Processes.- A Modular LTS for Open Reactive...”Obtenir text complet
Electrònic
eBook