1
Publicado 2008
Tabla de Contenidos: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
Enlace del recurso
Electrónico eBook
2
Publicado 2007
Tabla de Contenidos: ... Simulation -- Variable Relaxation Solve for Nonlinear Thermal Conduction -- A Moving Boundary Wave Run-Up...
Enlace del recurso
Electrónico eBook
3
Publicado 2014
Tabla de Contenidos: ...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...
Enlace del recurso
Electrónico eBook
4
Publicado 2007
Tabla de Contenidos: ...-temporal Reflectance Sharing for Relightable 3D Video -- Interactive Hierarchical Level of Detail Level...
Enlace del recurso
Electrónico eBook
5
Publicado 2006
Tabla de Contenidos: ...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...
Enlace del recurso
Electrónico eBook
6
Publicado 2008
Tabla de Contenidos: ... -- Planning for Biodiversity Conservation Using Stochastic Programming -- A Diffusion-Reaction Model of a...
Enlace del recurso
Electrónico eBook
7
Publicado 2010
Tabla de Contenidos: ...Elements of Interaction -- Enterprise Architecture as Language -- Real-Time Animation for Formal...
Enlace del recurso
Electrónico eBook
8
Publicado 2005
Tabla de Contenidos: ... -- An Application of Quantum Finite Automata to Interactive Proof Systems (Extended Abstract) -- Time and Space...
Enlace del recurso
Electrónico eBook
9
Publicado 2011
Tabla de Contenidos: ... Satellites -- iCloudMedia: A Business Model for Cloud-Based Interactive Multimedia Services -- Study...
Enlace del recurso
Electrónico eBook
10
Publicado 2013
Tabla de Contenidos: ...), 99-111): Luis Moreno-Armella & Stephen Hegedus: Intersecting Representation and Communication...
Enlace del recurso
Electrónico eBook
11
Publicado 2013
Tabla de Contenidos: ... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...
Enlace del recurso
Electrónico eBook
12
Publicado 2006
Tabla de Contenidos: ... SIMULATION OF ELECTRIC-MECHANICAL COUPLED TRUSSES -- PROTEIN SECONDARY STRUCTURE PREDICTION METHODS BASED...
Enlace del recurso
Electrónico eBook
13
Publicado 2014
Tabla de Contenidos: ... Allocation in Containers Terminal Using a Hybrid of Genetic Algorithm and Simulated Annealing -- Sensitivity...
Enlace del recurso
Electrónico eBook
14
Publicado 2014
Tabla de Contenidos: ... Allocation in Containers Terminal Using a Hybrid of Genetic Algorithm and Simulated Annealing -- Sensitivity...
Enlace del recurso
Electrónico eBook
15
Publicado 2014
Tabla de Contenidos: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
Enlace del recurso
Electrónico eBook