Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
constructive computation » constructive communication, constructive communications, construction competitions
programming two » programming tools, programming network, programming today
concepts case » concepts cases, concepts a, concepts chapter
constructive computation » constructive communication, constructive communications, construction competitions
programming two » programming tools, programming network, programming today
concepts case » concepts cases, concepts a, concepts chapter
1
Publicado 2015
Table of Contents:
“... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2005
Table of Contents:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2006
Table of Contents:
“... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2005
Table of Contents:
“... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...”Ligazón do recurso
Electrónico
eBook
5
Table of Contents:
“...Part I - Lock-Based Synchronization -- Chap. 1 - The Mutual Exclusion Problem -- Chap. 2 - Solving...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
6
Publicado 2008
Table of Contents:
“...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“... Portfolio Theory -- Harry Markowitz and the Early History of Quadratic Programming -- Ideas in Asset...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2010
Table of Contents:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2006
Table of Contents:
“...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...”Ligazón do recurso
Electrónico
eBook
11
Table of Contents:
“...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
12
Publicado 2010
Table of Contents:
“...-SEM and PLS-SEM to Measure a Group Effect in a Regression Model Relating Two Blocks of Binary...”Ligazón do recurso
Electrónico
eBook
13
14
“...This paper proposes several concepts that form the basis for slicing object-oriented programs...”
Ligazón do recurso
Ligazón do recurso
Artigo
15
Publicado 2006
Table of Contents:
“... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...”Ligazón do recurso
Electrónico
eBook
16
Table of Contents:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
17
por Ehrig, Hartmut., Ehrig, Hartmut., Ehrig, Karsten., Prange, Ulrike., Taentzer, Gabriele.
Publicado 2006
Table of Contents:
“... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...”Publicado 2006
Ligazón do recurso
Electrónico
eBook
18
Publicado 2008
Table of Contents:
“...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2012
Table of Contents:
“... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2008
Table of Contents:
“..., Quantales and Monads -- Automated Reasoning for Hybrid Systems — Two Case Studies — -- Non-termination...”Ligazón do recurso
Electrónico
eBook