1
Published 2008
Table of Contents: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... in Nanowires -- Monte Carlo Numerical Treatment of Large Linear Algebra Problems -- Simulation of Multiphysics...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ...-temporal Reflectance Sharing for Relightable 3D Video -- Interactive Hierarchical Level of Detail Level...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- On the Equivalence-Checking Problem for a Model of Programs Related With Multi-tape Automata -- Poster Papers...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... Recommender Systems -- Equivalent Transformation in an Extended Space for Solving Query-Answering Problems...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Recommender Systems -- Equivalent Transformation in an Extended Space for Solving Query-Answering Problems...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... -- Planning for Biodiversity Conservation Using Stochastic Programming -- A Diffusion-Reaction Model of a...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...Elements of Interaction -- Enterprise Architecture as Language -- Real-Time Animation for Formal...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... SIMULATION OF ELECTRIC-MECHANICAL COUPLED TRUSSES -- PROTEIN SECONDARY STRUCTURE PREDICTION METHODS BASED...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ...), 99-111): Luis Moreno-Armella & Stephen Hegedus: Intersecting Representation and Communication...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
View full text
Electronic eBook