1
יצא לאור 2005
תוכן הענינים: ... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2005
תוכן הענינים: ... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2008
תוכן הענינים: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2007
תוכן הענינים: ... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2008
תוכן הענינים: ... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
מאת Simon, Axel., Simon, Axel.
יצא לאור 2008
תוכן הענינים: ...From the Contents: Preface -- Introduction.-Value Range Analysis -- Analysing C -- A Semantics...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2010
תוכן הענינים: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2005
תוכן הענינים: ... Ad Hoc Network -- A Semantic and Adaptive Context Model for Ubiquitous Computing -- Research...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2005
תוכן הענינים: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2013
תוכן הענינים: ...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2014
תוכן הענינים: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2006
תוכן הענינים: ... Programming: A Declarative Approach to Solving Search Problems -- Inconsistencies in Ontologies -- Technical...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2012
תוכן הענינים: ... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2014
תוכן הענינים: ... for Linear Loops -- Modeling and Model Checking Discrete Systems FDR3 — A Modern Refinement Checker for CSP...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים: ... Metrics for Conceptual Models of Data Warehouses -- Design and Development of a Tool for Integrating...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2010
תוכן הענינים: ... Classification -- Benefits of Semantics on Web Service Composition from a Complex Network Perspective...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים: ... -- Combinatorial Optimization -- Memetic Algorithms for Constructing Binary Covering Arrays of Strength Three -- A...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2010
תוכן הענינים: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים: ... Identification in Deep Web Data Integration -- Learning to Detect Web Spam by Genetic Programming -- Semantic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני