1
Published 2006
Table of Contents: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
View full text
Electronic eBook
2
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...
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
Published 2015
Table of Contents: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
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
Published 2006
Table of Contents: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...
View full text
Electronic eBook
9
Table of Contents: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
View full text
Electronic eBook
10
Table of Contents: ...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...
View full text
Electronic eBook
11
Table of Contents: ... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...Formal Methods and the Theory of Social Choice -- Relations Making Their Way from Logics...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
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 2010
Table of Contents: ... Case Study of a Customer Satisfaction Problem: Bootstrap and Imputation Techniques -- Comparison...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...
View full text
Electronic eBook
19
Subjects: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Portfolio Theory -- Harry Markowitz and the Early History of Quadratic Programming -- Ideas in Asset...
View full text
Electronic eBook