Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
functions computational » functions computation, function computation, directions computational
functions computational » functions computation, function computation, directions computational
1
Опубликовано 2010
Оглавление:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2014
Оглавление:
“... Functionalities of Clojure -- Using a Cluster for Efficient Scalability Evaluation of Multithreaded and Event...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2014
Оглавление:
“...Part Agile Development -- UX Design in Agile: A DSDM Case Study -- Agile Principles in the Embedded...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2010
Оглавление:
“... to Hardware Virtualization Using a Purely Hardware-Assisted VMM -- Metrics-Driven Software Quality Prediction...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2006
Оглавление:
“... FUNCTIONS -- MOVING LEAST SQUARE SPH USING FIXED KERNEL FOR LARGE DEFORMATION ELASTO-PLASTIC ANALYSIS -- A...”Полный текст
Электронный ресурс
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
Оглавление:
“...Introduction to Sassur 2012 -- AdvoCATE: An Assurance Case Automation Toolset -- Towards a Case...”Полный текст
Электронный ресурс
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
Оглавление:
“... Shortest Path Computation -- A General Buffer Scheme for the Windows Scheduling Problem -- Implementation...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2008
Оглавление:
“... of Multiple Tree Structured Patterns from Tree-Structured Data Using Clustering -- Application of a Memetic...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2014
Оглавление:
“... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2005
Оглавление:
“... Generation -- Analysing Requirements for Content Mangement -- Reusing a Time Ontology -- Deriving Use Cases...”Полный текст
Электронный ресурс
eКнига
18
Оглавление:
“... -- Rish Management -- Structured Design Methodology -- Object-Oriented Design and Design Methodology...”
Полный текст
Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2005
Оглавление:
“... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2014
Оглавление:
“... Mathematical Functions Using a Novel Implementation of Intelligent Water Drops Algorithm -- A New Centroid...”Полный текст
Электронный ресурс
eКнига
- 1
- 2
- Следующий »
- [2]