1
Publicerad 2006
Innehållsförteckning: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Hämta fulltext
Elektronisk E-bok
2
av Raynal, Michel., Raynal, Michel.
Publicerad 2013
Innehållsförteckning: ...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2005
Innehållsförteckning: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2015
Innehållsförteckning: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2010
Innehållsförteckning: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2006
Innehållsförteckning: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2006
Innehållsförteckning: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2008
Innehållsförteckning: ...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...
Hämta fulltext
Elektronisk E-bok
9
Innehållsförteckning: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
Hämta fulltext
Elektronisk E-bok
10
Innehållsförteckning: ...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...
Hämta fulltext
Elektronisk E-bok
11
Innehållsförteckning: ... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2005
Innehållsförteckning: ... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2008
Innehållsförteckning: ...Formal Methods and the Theory of Social Choice -- Relations Making Their Way from Logics...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2012
Innehållsförteckning: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2010
Innehållsförteckning: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2008
Innehållsförteckning: ...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2010
Innehållsförteckning: ... Case Study of a Customer Satisfaction Problem: Bootstrap and Imputation Techniques -- Comparison...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2008
Innehållsförteckning: ...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2010
Innehållsförteckning: ... Portfolio Theory -- Harry Markowitz and the Early History of Quadratic Programming -- Ideas in Asset...
Hämta fulltext
Elektronisk E-bok
20
Ämnen: ...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...
Hämta fulltext
Elektronisk E-bok