Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integrative computational » integrating computational, interactive computational, interactive computationally
computational programming » computation programming, computational program, computing programming
programming semantics » programming mathematics, programming series, programming secrets
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
integrative computational » integrating computational, interactive computational, interactive computationally
computational programming » computation programming, computational program, computing programming
programming semantics » programming mathematics, programming series, programming secrets
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
1
Publicado 2005
Table of Contents:
“... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2005
Table of Contents:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2008
Table of Contents:
“... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2007
Table of Contents:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”Ligazón do recurso
Electrónico
eBook
5
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicado 2008
Table of Contents:
“... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”Ligazón do recurso
Electrónico
eBook
6
Table of Contents:
“...From the Contents: Preface -- Introduction.-Value Range Analysis -- Analysing C -- A Semantics...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2010
Table of Contents:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2005
Table of Contents:
“... Ad Hoc Network -- A Semantic and Adaptive Context Model for Ubiquitous Computing -- Research...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2005
Table of Contents:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2013
Table of Contents:
“...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2006
Table of Contents:
“... -- cc?: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics -- A Logic...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2012
Table of Contents:
“... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2014
Table of Contents:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2005
Table of Contents:
“... Metrics for Conceptual Models of Data Warehouses -- Design and Development of a Tool for Integrating...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2010
Table of Contents:
“... Classification -- Benefits of Semantics on Web Service Composition from a Complex Network Perspective...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2010
Table of Contents:
“... -- Combinatorial Optimization -- Memetic Algorithms for Constructing Binary Covering Arrays of Strength Three -- A...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2010
Table of Contents:
“... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2010
Table of Contents:
“... Identification in Deep Web Data Integration -- Learning to Detect Web Spam by Genetic Programming -- Semantic...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- Seguinte »
- [2]