Rezultati - intersections computing processing programs a https

Poišči alternative:
intersections computing » interaction computing , interneurons computing , intersections rotating
computing processing » computing proceeding , computing proceedings , computer processing
processing programs » processing programmed , processing problems , processing products
programs a » programs _
https » http

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Izdano 2006

Kazalo: “... Processes -- A Dolev-Yao-Based Definition of Abuse-Free Protocols -- Secrecy and Protocol Analysis...”
Polni tekst

Elektronski eKnjiga

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Izdano 2015

Kazalo: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
Polni tekst

Elektronski eKnjiga

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings /

Izdano 2007

Kazalo: “...Session 1 -- Inequalities from Two Rows of a Simplex Tableau -- Cuts for Conic Mixed-Integer...”
Polni tekst

Elektronski eKnjiga

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Izdano 2010

Kazalo: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Polni tekst

Elektronski eKnjiga

Computer Vision/Computer Graphics Collaboration Techniques Third International Conference...

Izdano 2007

Kazalo: “... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...”
Polni tekst

Elektronski eKnjiga

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Izdano 2007

Kazalo: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
Polni tekst

Elektronski eKnjiga

Parsing Techniques A Practical Guide /

od Grune, Dick., Grune, Dick., Jacobs, Ceriel J.H.
Izdano 2008

Kazalo: “...Grammars as a Generating Device -- to Parsing -- General Non-Directional Parsing -- Regular...”
Polni tekst

Elektronski eKnjiga

Parallel Processing and Applied Mathematics, Part I 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 /

Izdano 2010

Kazalo: “... Equations -- Partial Data Replication as a Strategy for Parallel Computing of the Multilevel Discrete...”
Polni tekst

Elektronski eKnjiga

Introduction to Geometric Computing

od Ghali, Sherif., Ghali, Sherif.
Izdano 2008

Kazalo: “... Computational Euclidean Geometry -- Affine Transformations -- Affine Intersections -- Genericity in Geometric...”
Polni tekst

Elektronski eKnjiga

Business Process Management Workshops BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM...

Izdano 2006

Kazalo: “...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...”
Polni tekst

Elektronski eKnjiga

Computer Vision -- ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II /

Izdano 2013

Kazalo: “... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...”
Polni tekst

Elektronski eKnjiga

Classification as a Tool for Research Proceedings of the 11th IFCS Biennial Conference and 33rd...

Izdano 2010

Teme: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Polni tekst

Elektronski eKnjiga

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS...

Izdano 2010

Kazalo: “... -- Untyped Recursion Schemes and Infinite Intersection Types -- Solvability in Resource Lambda-Calculus -- A...”
Polni tekst

Elektronski eKnjiga

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

Izdano 2008

Kazalo: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
Polni tekst

Elektronski eKnjiga

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers /

Izdano 2006

Kazalo: “... Sámi Speller Based on TWOL Technology -- A Programming Language for Finite State Transducers -- FIRE...”
Polni tekst

Elektronski eKnjiga

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Izdano 2008

Kazalo: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Polni tekst

Elektronski eKnjiga

Computational Methods

Izdano 2006

Kazalo: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Polni tekst

Elektronski eKnjiga

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Izdano 2008

Kazalo: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Polni tekst

Elektronski eKnjiga

Computer Graphics and Geometric Modelling Implementation & Algorithms /

od Agoston, Max K., Agoston, Max K.
Izdano 2005

Kazalo: “... -- Curves in Computer Graphics -- Surfaces in Computer Graphics -- Intersection Algorithms -- Global...”
Polni tekst

Elektronski eKnjiga

Theoretical Computer Science 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings /

Izdano 2012

Kazalo: “... with an Undecidable First-Order Theory.- Open Bisimulation for Quantum Processes.- A Modular LTS for Open Reactive...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje