Search Results - interactive simulation program program intersection https

Search alternatives:
interactive simulation » interactive simulations , interactive visualization
program intersection » program intervention , problem intersection , programs interaction
simulation program » education program
intersection https » interaction https , interactions https , intersection types
program program » programs program , programming program

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

Published 2008

Table of Contents: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Simulation -- Variable Relaxation Solve for Nonlinear Thermal Conduction -- A Moving Boundary Wave Run-Up...”
View full text

Electronic eBook

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proc...

Published 2014

Table of Contents: “...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...”
View full text

Electronic eBook

Computer Vision/Computer Graphics Collaboration Techniques Third International Conference on Computer Vision/Computer Graphics, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007...

Published 2007

Table of Contents: “...-temporal Reflectance Sharing for Relightable 3D Video -- Interactive Hierarchical Level of Detail Level...”
View full text

Electronic eBook

Business Process Management Workshops BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005. Revised Selected Papers /

Published 2006

Table of Contents: “...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...”
View full text

Electronic eBook

Mathematical Modeling of Biological Systems, Volume II Epidemiology, Evolution and Ecology, Immunology, Neural Systems and the Brain, and Innovative Mathematical Methods /

Published 2008

Table of Contents: “... -- Planning for Biodiversity Conservation Using Stochastic Programming -- A Diffusion-Reaction Model of a...”
View full text

Electronic eBook

Complex Systems Design & Management Proceedings of the First International Conference on Complex Systems Design & Management CSDM 2010 /

Published 2010

Table of Contents: “...Elements of Interaction -- Enterprise Architecture as Language -- Real-Time Animation for Formal...”
View full text

Electronic eBook

Implementation and Application of Automata 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... -- An Application of Quantum Finite Automata to Interactive Proof Systems (Extended Abstract) -- Time and Space...”
View full text

Electronic eBook

The SimCalc Vision and Contributions Democratizing Access to Important Mathematics /

Published 2013

Table of Contents: “...), 99-111): Luis Moreno-Armella & Stephen Hegedus: Intersecting Representation and Communication...”
View full text

Electronic eBook

Advanced Electrical and Electronics Engineering Volume 2 /

Published 2011

Table of Contents: “... Satellites -- iCloudMedia: A Business Model for Cloud-Based Interactive Multimedia Services -- Study...”
View full text

Electronic eBook

Emerging Technologies for Information Systems, Computing, and Management

Published 2013

Table of Contents: “... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...”
View full text

Electronic eBook

Computational Methods

Published 2006

Table of Contents: “... SIMULATION OF ELECTRIC-MECHANICAL COUPLED TRUSSES -- PROTEIN SECONDARY STRUCTURE PREDICTION METHODS BASED...”
View full text

Electronic eBook

Intelligent Information and Database Systems 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Allocation in Containers Terminal Using a Hybrid of Genetic Algorithm and Simulated Annealing -- Sensitivity...”
View full text

Electronic eBook

Intelligent Information and Database Systems 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part II /

Published 2014

Table of Contents: “... Allocation in Containers Terminal Using a Hybrid of Genetic Algorithm and Simulated Annealing -- Sensitivity...”
View full text

Electronic eBook

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

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

Narrow Search