1
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook
3
by George, Nigel., George, Nigel.
Published 2015
Subjects: ...Computer programming....
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... of BCK-?-Terms -- A Finite-State Functional Grammar Architecture -- Pregroup Calculus as a Logic Functor...
View full text
Electronic eBook
6
by Holt, Alan., Holt, Alan.
Published 2008
Table of Contents: ...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- A Computerized Interactive Toy: TSU.MI.KI -- Multimodal Wayfinding in a Driving Simulator...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... of Semantic Web Services Using Constraint Programming -- Architectural Decisions and Patterns...
View full text
Electronic eBook
9
Table of Contents: ...Inductive Genetic Programming -- Tree-Like PNN Representations -- Fitness Functions and Landscapes...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Computing; J.Kim, et al -- An Efficient Algorithm for High Utility Sequential Pattern Mining; J.-Z. Wang, et...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... Algorithms -- Cluster Head Selection Using Modified ACO -- Comparison of Soft Computing Techniques...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
View full text
Electronic eBook
16
Table of Contents: ...) The Gamma Function and Related Functions: Methods and Programs for their Computation -- E) Utility Programs...
View full text
Electronic eBook
17
by Wu, Chaur., Wu, Chaur.
Published 2010
Table of Contents: ... and Interoperability -- Dynamic Objects -- DLR Hosting API -- Applying the DLR -- DLR and Aspect-Oriented Programming...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... for equality of an increasing number of spectral density functions -- Multiscale local polynomial models...
View full text
Electronic eBook