1
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
View full text
Electronic eBook
2
Table of Contents: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
View full text
Electronic eBook
3
Table of Contents: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... for CHR -- Overlapping Rules and Logic Variables in Functional Logic Programs -- Towards “Propagation...
View full text
Electronic eBook
6
by Kluge, Werner., Kluge, Werner.
Published 2005
Table of Contents: ...Algorithms and Programs -- An Algorithmic Language -- The ?-Calculus -- The se(m)cd Machine...
View full text
Electronic eBook
7
Table of Contents: ... Valued Functions of One Variable -- Continuity and Limits of Functions -- Various Important Classes...
View full text
Electronic eBook
8
Table of Contents: ... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ...Introduction -- Kisil, Vladimir V.: Erlangen Program at Large: Brief Outline -- Laurincikas, A...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... -- The Two-Variable Fragment with Counting Revisited -- Intuitionistic Logic and Computability Theory...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
17
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
18
by Bramer, Max., Bramer, Max.
Published 2015
Table of Contents: ... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...
View full text
Electronic eBook
19
Table of Contents: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
View full text
Electronic eBook
20
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook