1
Wydane 2010
Spis treści: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2007
Spis treści: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2010
Spis treści: ...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2013
Spis treści: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2005
Spis treści: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2015
Spis treści: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2012
Spis treści: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2005
Spis treści: ... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2010
Spis treści: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Dokumenty pełnotekstowe
Elektroniczne E-book
10
Wydane 2008
Spis treści: ...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...
Dokumenty pełnotekstowe
Elektroniczne E-book
11
Wydane 2010
Spis treści: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Spis treści: ... Strategies -- Benchmarking Differential Evolution -- On the usage of differential evolution for function...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2014
Spis treści: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2007
Spis treści: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Wydane 2008
Spis treści: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
Wydane 2005
Spis treści: ... -- Implementing Minimum Cycle Basis Algorithms -- Rounding to an Integral Program -- Rectangle Covers Revisited...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
Wydane 2008
Spis treści: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
Dokumenty pełnotekstowe
Elektroniczne E-book
18
Wydane 2014
Spis treści: ... -- Direct and Inverse Second Order Kinematics for Hyper-Redundant Parallel Robots -- Kinematic Design...
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2007
Spis treści: ... -- Approximate Interpolation by Neural Networks with the Inverse Multiquadric Functions -- Decomposition Mixed...
Dokumenty pełnotekstowe
Elektroniczne E-book
20
Wydane 2015
Spis treści: ... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...
Dokumenty pełnotekstowe
Elektroniczne E-book