Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
theory concepts » theories concepts, therapy concepts
concepts case » concepts cases, concepts a, concepts chapter
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
theory concepts » theories concepts, therapy concepts
concepts case » concepts cases, concepts a, concepts chapter
1
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...”Tam Metin Erişim
Elektronik
Ekitap
5
İçindekiler:
“...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2008
İçindekiler:
“...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...”Tam Metin Erişim
Elektronik
Ekitap
7
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Portfolio Theory -- Harry Markowitz and the Early History of Quadratic Programming -- Ideas in Asset...”Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”Tam Metin Erişim
Elektronik
Ekitap
9
İçindekiler:
“...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
10
Baskı/Yayın Bilgisi 2006
İçindekiler:
“...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...”Tam Metin Erişim
Elektronik
Ekitap
11
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Case Study of a Customer Satisfaction Problem: Bootstrap and Imputation Techniques -- Comparison...”Tam Metin Erişim
Elektronik
Ekitap
12
13
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...”Tam Metin Erişim
Elektronik
Ekitap
14
İçindekiler:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
15
Yazar: Ehrig, Hartmut., Ehrig, Hartmut., Ehrig, Karsten., Prange, Ulrike., Taentzer, Gabriele.
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...”Baskı/Yayın Bilgisi 2006
Tam Metin Erişim
Elektronik
Ekitap
16
Baskı/Yayın Bilgisi 2012
İçindekiler:
“... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”Tam Metin Erişim
Elektronik
Ekitap
17
Baskı/Yayın Bilgisi 2008
İçindekiler:
“...Formal Methods and the Theory of Social Choice -- Relations Making Their Way from Logics...”Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2008
İçindekiler:
“...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...”Tam Metin Erişim
Elektronik
Ekitap
20
Konular:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap