1
Published 2015
Table of Contents: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
View full text
Electronic eBook
2
Published 2011
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
3
Published 2012
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ...Various aspects of trends in functional programming -- Combining deep and shallow embedding...
View full text
Electronic eBook
5
Published 2014
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ...Introduction -- Kisil, Vladimir V.: Erlangen Program at Large: Brief Outline -- Laurincikas, A...
View full text
Electronic eBook
7
Table of Contents: ...Discrete stochastic processes and time series -- Trend definition -- Finite AR(1) stochastic...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...
View full text
Electronic eBook
9
Published 2011
Table of Contents: ...Series Preface: Gabriele Kaiser and Gloria Stillman -- Chapter 1: Trends in Teaching and Learning...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ..., Isabelle Stengers -- Questions Socialement Vives and Socio-Scientific Issues: New Trends of Research...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... on carcinogenesis.-  The regulation of the jnk cascade and programmed cell death by nf-κb: mechanisms and functions...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... to Students with Mixed Interests -- An Initial Study Identifying Trends in Test Case Selection -- Providing...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... of Retimed Software Loops under Timing and Resource Constraints -- Identification and Removal of Program...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... Needs -- Why the Development Outcome Does Not Meet the Product Owners’ Expectations? -- Functional Size...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... -- Specification and Verification of Applications Based on Function Blocks -- A Model-Based Approach to Formal...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Differentiable Programs -- Slice Convergence of Sums of Convex functions in Banach Spaces and Saddle Point...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... Algebraic Geometry -- Non-Commutative Differential Geometry and Probability -- Modern Trends in Robust...
View full text
Electronic eBook
19
Table of Contents: ... -- Hardware Implementation -- Functional Electrical Stimulation and Rehabilitation Applications of BCIs...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... -- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming -- Information Flow...
View full text
Electronic eBook