Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive simulation » interactive simulations, interactive visualization
simulation program » education program
program program » programs program, programming program
program array » program aram, program ray, program alam
https » http
interactive simulation » interactive simulations, interactive visualization
simulation program » education program
program program » programs program, programming program
program array » program aram, program ray, program alam
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:
“...: Interacting with Locations -- Singing with Your Mobile: From DSP Arrays to Low-Cost Low-Power Chip Sets...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
8
Table of Contents:
“... Python -- Fortran Programming with Numerical Python Arrays -- C and C++ Programming with Numerical Python...”
View full text
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:
“... Dynamics Simulation: Testing SCA on Paradigmatic Cases of Emerging Coordination in Negative Interaction...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Sensors for Haptics -- FlexTorque: Exoskeleton Interface for Haptic Interaction with the Digital World...”View full text
Electronic
eBook
12
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
13
Published 2005
Table of Contents:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Approach for Autonomic Profiling and Performance Assessment -- Ladder Metamodeling and PLC Program...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... Segmentation Based on Neuronal Activation Degree of Visual Model.- One-Dimensional-Array Millimeter-Wave...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...-Grained Parallel Algorithm for Irregular Dynamic Programming Applications -- A Feedback-Based Adaptive...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... -- Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes...”View full text
Electronic
eBook
19
Published 2012
Table of Contents:
“... Model of Artistic Creativity (Palle Dahlstedt) -- Chap. 9 Computer Programming in the Creative Arts...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“...: Application of the Computer Program CASPER in Structural Analysis -- Handling and Conversion of Carbohydrate...”View full text
Electronic
eBook