1
Table of Contents: ...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
View full text
Electronic eBook
3
by Kleiner, Israel., Kleiner, Israel.
Published 2012
Table of Contents: ... for the Teacher -- 5. A Brief History of the Function Concept -- 6. More on the History of Functions, Including...
View full text
Electronic eBook
4
by O'Regan, Gerard., O'Regan, Gerard.
Published 2008
Table of Contents: ... Zuse -- Computer Programming Languages -- Object-oriented Languages -- Functional Programming Languages...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... -- History-Independent Cuckoo Hashing -- Building a Collision-Resistant Compression Function from Non...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... a Promise -- Session C2 -- Deterministic History-Independent Strategies for Storing Information...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... A Proposal to Measure the Functional Efficiency of Futures Markets: M. Consuegra et al -- 12...
View full text
Electronic eBook
11
Subjects: ...Education, general. https://scigraph.springernature.com/ontologies/product-market-codes/O00000...
View full text
Electronic eBook
12
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... with Specifications -- Specification and Verification of Atomic Operations in GPGPU Programs -- History-based...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Science -- Roles, Stacks, Histories: A Triple for Hoare -- Forward with Hoare -- Probabilistic Programming...
View full text
Electronic eBook
17
Table of Contents: ...Introducing Rich Internet Applications (RIA) -- A short history -- Different approaches...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
19
Table of Contents: ...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...
View full text
Electronic eBook
20
Table of Contents: ...Mathematics in Civilization -- Sets, Relations and Functions -- Logic -- Software Engineering...
View full text
Electronic eBook