Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
constructive computation » constructive communication, constructive communications, construction competitions
programming tools » programming problems
concepts cases » concepts chapter
constructive computation » constructive communication, constructive communications, construction competitions
programming tools » programming problems
concepts cases » concepts chapter
1
Published 2015
Table of Contents:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”View full text
Electronic
eBook
4
Table of Contents:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
View full text
View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”View full text
Electronic
eBook
6
Table of Contents:
“...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...”
View full text
View full text
Electronic
eBook
7
by Ehrig, Hartmut., Ehrig, Hartmut., Ehrig, Karsten., Prange, Ulrike., Taentzer, Gabriele.
Published 2006
Table of Contents:
“... with Inheritance -- Case Study on Model Transformation, and Tool Support by AGG -- Case Study on Model...”Published 2006
View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...”View full text
Electronic
eBook
10
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Interface for Security Tools -- Posters -- WAPE - a system for distance learning of programming -- Topic...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Geometric Nonlinearities -- Mathematical Programming Issues -- The Worst-Case Multiple Load FMO Problem...”View full text
Electronic
eBook
16
Table of Contents:
“...The Fundamentals -- Digital Representation -- Logic Circuitry -- Stored Program Processing...”
View full text
View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Environments Using Wookie Widgets -- e-Training DS: An Authoring Tool for Integrating Portable Computer Science...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... -- A Collaborative and Collective Concept Mapping Tool -- WSHLA: Web Services-Based HLA Collaborative...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...-Oriented Programming Language for Computing in Context -- Search -- A Little Respect (for the Role...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Games -- A Multimodal Virtual Anatomy E-Learning Tool for Medical Education -- To Construct...”View full text
Electronic
eBook