Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
composition microprogram » compositional microprogram, composition programs
interactive simulation » interactive simulations, interactive visualization
compositional program » composition programs, computational program, compositional problems
simulation program » education program
composition microprogram » compositional microprogram, composition programs
interactive simulation » interactive simulations, interactive visualization
compositional program » composition programs, computational program, compositional problems
simulation program » education program
1
Argitaratua 2005
Aurkibidea:
“... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2006
Aurkibidea:
“... Interaction -- Modeling Web Interactions and Errors -- Composition of Interacting Computations -- From...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2005
Aurkibidea:
“...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2008
Aurkibidea:
“... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...”Testu osoa
Baliabide elektronikoa
eBook
5
nork Sahroni, Taufik Roni, Sulaiman, Shamsuddin, Abdullah, Tajul Ariffin, Subramonian, Sivarao
Argitaratua 2011
“... presents the tasks pertaining to metal matrix composites and their interactions in designing of compressor...”Argitaratua 2011
Testu osoa
Artikulua
6
nork Sahroni, Taufik Roni, Sulaiman, Shamsuddin, Abdullah, Tajul Ariffin, Subramonian, Sivarao
Argitaratua 2011
“.... Therefore, this study presents the tasks pertaining to metal matrix composites and their interactions. As a...”Argitaratua 2011
Testu osoa
Artikulua
7
Argitaratua 2013
Aurkibidea:
“...1. Scientific summary of the German CAWSES priority program -- 2. Models of solar total...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2006
Aurkibidea:
“... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2010
Aurkibidea:
“... with Coupled Cellular Automata -- Hierarchical Cellular Automata Methods -- Cellular Automata Composition...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... Checking Component Interactions -- Formal Definition of MOF 2.0 Metamodel Components and Composition...”Testu osoa
Baliabide elektronikoa
eBook
11
Aurkibidea:
“... Approach for Automatic Model Composition -- MATA: A Tool for Aspect-Oriented Modeling Based on Graph...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2010
Aurkibidea:
“... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2010
Aurkibidea:
“... Dynamic Models of Service Compositions with Simulation of Provision Resources -- Consistency...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2008
Aurkibidea:
“... and Ontology Concept Ranking for Semantic Web Service Composition -- Towards the Use of XPDL as Planning...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2005
Aurkibidea:
“...-Based Program Inspection -- Visualizing and Simulating Semantic Web Services Ontologies -- A Model...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2008
Aurkibidea:
“... Improvement Via Pattern Matching -- Object Composition in Scenario-Based Programming -- Regular Inference...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2010
Aurkibidea:
“... of Robot-Environment Interaction Have a Meaning? -- Information Dynamics of Evolved Agents -- Taming...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2011
Aurkibidea:
“... Feasible Interactions in Distributed Real-Time Systems -- Puff, The Magic Protocol -- A Formal Methodology...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2014
Aurkibidea:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2007
Aurkibidea:
“... -- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs -- Model Composition in Product...”Testu osoa
Baliabide elektronikoa
eBook