1
Опубликовано 2012
Оглавление: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2006
Оглавление: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2008
Оглавление: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2014
Оглавление: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2008
Оглавление: ... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2010
Оглавление: ... -- Skeleton Composition Using Remote Data -- Netlog, a Rule-Based Language for Distributed Programming -- Code...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2007
Оглавление: ... -- Logic–Based Detection of Conflicts in Appel Policies -- Hoare Logic for ARM Machine Code -- Action...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2008
Оглавление: ..., and Compliant Action -- Keynote -- Modelling Coordination and Compensation -- Tools and Applications...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2008
Оглавление: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2012
Оглавление: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2010
Оглавление: ...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2006
Оглавление: ... of the Parallel Knock-Out Problem -- Reconfigurations in Graphs and Grids -- -Varieties, Actions and Wreath...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2006
Оглавление: ... Patterns in Action Sequences with Noise in Programming by Demonstration -- Knowledge Engineering...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2005
Оглавление: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2006
Оглавление: ... and Function of Anastomosis in Filamentous Ascomycete Fungi -- Heterogenic Incompatibility in Fungi...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2005
Оглавление: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2013
Оглавление: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2005
Оглавление: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2012
Оглавление: ... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2014
Оглавление: ... -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane...
Полный текст
Электронный ресурс eКнига