Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computation programming » communication programming, computation programmatic, simulation programming
computing programming » computer programming, computers programming
concepts case » concepts cases, concepts a, concepts chapter
two concepts » 1 concepts, 2 concepts, 4 concepts
computation programming » communication programming, computation programmatic, simulation programming
computing programming » computer programming, computers programming
concepts case » concepts cases, concepts a, concepts chapter
two concepts » 1 concepts, 2 concepts, 4 concepts
1
Published 2006
Table of Contents:
“... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”View full text
Electronic
eBook
2
Table of Contents:
“...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“...Part I - Lock-Based Synchronization -- Chap. 1 - The Mutual Exclusion Problem -- Chap. 2 - Solving...”
View full text
View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...”View full text
Electronic
eBook
8
“...This paper proposes several concepts that form the basis for slicing object-oriented programs...”
View full text
View full text
Article
9
Published 2005
Table of Contents:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”View full text
Electronic
eBook
11
by Ehrig, Hartmut., Ehrig, Hartmut., Ehrig, Karsten., Prange, Ulrike., Taentzer, Gabriele.
Published 2006
Table of Contents:
“... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...”Published 2006
View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“..., Quantales and Monads -- Automated Reasoning for Hybrid Systems — Two Case Studies — -- Non-termination...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... in Chinese Discourse -- Random Walks on Text Structures -- Shallow Case Role Annotation Using Two-Stage...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”View full text
Electronic
eBook