Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive simulation » interactive simulations, interactive visualization
simulation programs » simulation program, simulation programming, education programs
programs structures » program structures, programs structured, program structure
structures array » structures arrayed, structured arrays, structures ray
https » http
interactive simulation » interactive simulations, interactive visualization
simulation programs » simulation program, simulation programming, education programs
programs structures » program structures, programs structured, program structure
structures array » structures arrayed, structured arrays, structures ray
https » http
1
Published 2015
Table of Contents:
“... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... Segmentation Based on Neuronal Activation Degree of Visual Model.- One-Dimensional-Array Millimeter-Wave...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Simulation -- Rule Mining for Dynamic Databases -- Session I B: High Performance Computing -- APPLE: A Novel...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Validation through Time Petri Nets -- Array OL Descriptions of Repetitive Structures in VHDL -- Textual...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“...: Application of the Computer Program CASPER in Structural Analysis -- Handling and Conversion of Carbohydrate...”View full text
Electronic
eBook
14
Table of Contents:
“... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...”
View full text
View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Curves using Simulated Evolution on Control Parameters -- Control and Robotics -- Design of A Takagi...”View full text
Electronic
eBook
16
Published 2011
Table of Contents:
“... Satellites -- iCloudMedia: A Business Model for Cloud-Based Interactive Multimedia Services -- Study...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Water Optical Absorption: Large-Scale First-Principles Simulations -- The Electronic Structures...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... genetic programming -- MEMS Dual Axis Accelerometer with H-T Shape Structure -- Prior Data Quality...”View full text
Electronic
eBook