1
Published 2007
Table of Contents: ...Data Integration and Query Reformulation in Service-Based Grids -- Towards a Common Deployment...
View full text
Electronic eBook
2
by Thomas, Adrian., Thomas, Adrian.
Published 2008
Table of Contents: ... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ...Constructions of Free Commutative Integro-Differential Algebras -- Basic Module Theory over Non...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... with Unstable Links -- Sensor Networks Continue to Puzzle: Selected Open Problems -- Distributed Coordination...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... the Symbolic Solution of a Geometric Problem through Numeric Computations -- A Simple Quantifier-free Formula...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... -- An Efficient Genetic Algorithm for the Traveling Salesman Problem -- Constructing a Novel QoS Aggregated Model...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... -- A COMPUTATIONAL METHOD FOR SOLVING CAUCHY PROBLEMS OF ELLIPTIC OPERATORS -- NUMERICAL DETERMINATION...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
View full text
Electronic eBook