Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
function computation » function computing, function decomposition, section computational
using metrics » using matrices
metrics case » metric case, metrics:a case, metrics based
function computation » function computing, function decomposition, section computational
using metrics » using matrices
metrics case » metric case, metrics:a case, metrics based
1
Опубликовано 2010
Оглавление:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2014
Оглавление:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2014
Оглавление:
“...-organized Learning in Software Factory: Experiences and Lessons Learned -- Part Methods and Metrics -- Using...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2010
Оглавление:
“... to Hardware Virtualization Using a Purely Hardware-Assisted VMM -- Metrics-Driven Software Quality Prediction...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2006
Оглавление:
“... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2008
Оглавление:
“... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2010
Оглавление:
“... -- Deriving Safety Cases for Hierarchical Structure in Model-Based Development -- Assurance of Automotive...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2012
Оглавление:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2005
Оглавление:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2008
Оглавление:
“... -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2012
Оглавление:
“... Metrics:A Case Study in Equivalence Checking using k-Induction -- The Hierarchical Compositional Interchange...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2008
Оглавление:
“... with Strategy Selection Using Case-Based Reasoning -- Formal and Experimental Foundations of a New Rank Quality...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2007
Оглавление:
“... and Their Reachable State Spaces -- Specification -- Precise Specification of Use Case Scenarios -- Joint Structural...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2005
Оглавление:
“...Invited Talks -- T? ??? ?í ? ??í?? ? The Interaction Between Algorithms and Game Theory -- Using...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2008
Оглавление:
“... with Prudence Analysis -- Soft Computing -- Clustering with XCS on Complex Structure Dataset -- Evolution...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2014
Оглавление:
“... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2005
Оглавление:
“... and Decision Support Systems -- Building Intelligent Credit Scoring Systems Using Decision Tables -- Structural...”Полный текст
Электронный ресурс
eКнига
18
Оглавление:
“... -- Rish Management -- Structured Design Methodology -- Object-Oriented Design and Design Methodology...”
Полный текст
Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2005
Оглавление:
“... Semantics for Logic Programs -- Operational Semantics for DyLPs -- Case Retrieval Nets for Heuristic...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2014
Оглавление:
“... Mathematical Functions Using a Novel Implementation of Intelligent Water Drops Algorithm -- A New Centroid...”Полный текст
Электронный ресурс
eКнига
- 1
- 2
- Следующий »
- [2]