Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming tools » programming theory, programming problems
tools concepts » schools concepts, models concepts, cores concepts
concepts case » concepts cases, concepts a, concepts chapter
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming tools » programming theory, programming problems
tools concepts » schools concepts, models concepts, cores concepts
concepts case » concepts cases, concepts a, concepts chapter
1
Argitaratua 2015
Aurkibidea:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2006
Aurkibidea:
“... -- Intelligent Grids -- Programming and Process -- A Grid Software Process -- Grid Programming with Java, RMI...”Testu osoa
Baliabide elektronikoa
eBook
3
“...This paper proposes several concepts that form the basis for slicing object-oriented programs...”
Testu osoa
Testu osoa
Artikulua
4
nork McLaughlin, Michael
Argitaratua 2014
Gaiak:
“...PL/SQL (Computer program language)....”Argitaratua 2014
Liburua
5
Argitaratua 2010
Aurkibidea:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”Testu osoa
Baliabide elektronikoa
eBook
6
nork Ahmad, Syarbaini
Argitaratua 2016
Gaiak:
“...Debugging in computer science - Computer programs...”Argitaratua 2016
Testu osoa
Thesis
7
Argitaratua 2006
Aurkibidea:
“... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...”Testu osoa
Baliabide elektronikoa
eBook
8
Aurkibidea:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”Testu osoa
Baliabide elektronikoa
eBook
10
nork Ehrig, Hartmut., Ehrig, Hartmut., Ehrig, Karsten., Prange, Ulrike., Taentzer, Gabriele.
Argitaratua 2006
Aurkibidea:
“... with Inheritance -- Case Study on Model Transformation, and Tool Support by AGG -- Case Study on Model...”Argitaratua 2006
Testu osoa
Baliabide elektronikoa
eBook
11
Aurkibidea:
“...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2014
Aurkibidea:
“... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2006
Aurkibidea:
“... on BE-Vector Clustering -- Deriving Event Relevance from the Ontology Constructed with Formal Concept Analysis...”Testu osoa
Baliabide elektronikoa
eBook
14
nork Rahimian Leilabadi, Farzad Pour
Argitaratua 2009
Gaiak:
“...Architectural design - Case studies...”Argitaratua 2009
Testu osoa
Thesis
15
Argitaratua 2010
Aurkibidea:
“... -- Identifying Architectural Connectors through Formal Concept Analysis of Communication Primitives -- Tool Demo...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2005
Aurkibidea:
“... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2008
Aurkibidea:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2007
Aurkibidea:
“... source software -- Tutorials -- to OSS 2007 Tutorial Program -- How to Gather FLOSS Metrics -- EDOS-Tools...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- Hurrengoa »
- [3]