Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intersections modeling » intersection modeling, interactions modeling, interaction modeling
modeling processing » modeling proceedings, modeling process, model processing
processing programs » processing programmed, processing problems, processing products
programs complete » programs incomplete, progress complete, programs complex
complete https » complexity https, complete hands, complete heap
intersections modeling » intersection modeling, interactions modeling, interaction modeling
modeling processing » modeling proceedings, modeling process, model processing
processing programs » processing programmed, processing problems, processing products
programs complete » programs incomplete, progress complete, programs complex
complete https » complexity https, complete hands, complete heap
1
Published 2006
Table of Contents:
“... -- On Complexity of Grammars Related to the Safety Problem -- Models -- Jumbo ?-Calculus -- ?-RBAC: Programming...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Models Consistency -- A UML 2 Profile for Business Process Modelling -- Seventh International Bi...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Automata and Their Uses in Natural Languages -- TAGH: A Complete Morphology for German Based on Weighted...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“...-Pi-Calculus Modulo -- Completing Herbelin’s Programme -- Continuation-Passing Style and Strong...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Completeness Proof for the Modal ?-Calculus on Finite Trees -- When Model-Checking Freeze LTL over Counter...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... and Back -- A Complete Axiomatic System for a Process-Based Spatial Logic -- Voronoi Games on Cycle Graphs...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“...Computational Complexity of Generalized Domination: A Complete Dichotomy for Chordal Graphs...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Nonlinear Systems Using a Nonlinear Hybridization -- Modeling and Simulation of Biochemical Processes Using...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“...-vertex cover Problem.- A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second...”View full text
Electronic
eBook