الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
interactive simulations » interactive visualization, interactive applications
simulations program » simulation program, simulation programs, stimulation program
programs compiling » programs combining, programs compiler, programs containing
program programs » program program, programs program, program progress
compiling https » computing https, counseling https, consulting https
interactive simulations » interactive visualization, interactive applications
simulations program » simulation program, simulation programs, stimulation program
programs compiling » programs combining, programs compiler, programs containing
program programs » program program, programs program, program progress
compiling https » computing https, counseling https, consulting https
1
منشور في 2005
جدول المحتويات:
“... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2005
جدول المحتويات:
“... Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specifications to Oz...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2008
جدول المحتويات:
“... Parallelization -- Static Nonconcurrency Analysis of OpenMP Programs -- CCRG OpenMP Compiler: Experiments...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2006
جدول المحتويات:
“... Analysis -- Regular Papers -- Infinite Qualitative Simulations by Means of Constraint Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2006
جدول المحتويات:
“... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2005
جدول المحتويات:
“...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2015
جدول المحتويات:
“...: At the Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2010
جدول المحتويات:
“... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2005
جدول المحتويات:
“...-Based Program Inspection -- Visualizing and Simulating Semantic Web Services Ontologies -- A Model...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2014
جدول المحتويات:
“....- IOCO as a Simulation.- Modeling and Simulating Interaction Protocols Using Nested Petri Nets...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
جدول المحتويات:
“... Methods and Tools for the Design of Advanced Interactive Techniques -- Transforming Discourse Models...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2008
جدول المحتويات:
“... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2007
جدول المحتويات:
“... 2.0 Interactions -- W3 – Reverse Engineering -- 3rd International Workshop on Metamodels, Schemas...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2008
جدول المحتويات:
“... Simulators to Analysis Models -- Conceptual Models, UML -- Orthographic Modeling Environment -- HOL-OCL: A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2010
جدول المحتويات:
“... -- Leveraging Business Process Models for ETL Design -- Adaptation in Open Systems: Giving Interaction Its...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
جدول المحتويات:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2011
جدول المحتويات:
“... Feasible Interactions in Distributed Real-Time Systems -- Puff, The Magic Protocol -- A Formal Methodology...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2012
جدول المحتويات:
“...Distributed Simulation -- Flight Simulation on Tiled Displays with Distributed Computing Scheme...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2014
جدول المحتويات:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2012
جدول المحتويات:
“...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”احصل على النص الكامل
الكتروني
كتاب الكتروني