1
Table of Contents: ...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...
View full text
Electronic eBook
2
Table of Contents: ...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...
View full text
Electronic eBook
3
Table of Contents: ...Basic concepts -- Finite elements and Green's functions -- The discretization error -- Modeling...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...
View full text
Electronic eBook
5
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
6
Table of Contents: ...Elementary Logic and Set Theory -- Real Numbers -- Sequences -- Limits of Functions -- Continuity...
View full text
Electronic eBook
7
Table of Contents: ... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...
View full text
Electronic eBook
9
Table of Contents: ...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... -- Decidability and implementation of parameterized logic programs -- Non-monotonic Temporal Goals...
View full text
Electronic eBook
11
Table of Contents: ...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...
View full text
Electronic eBook
12
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... of the Hip -- Gender Differences in Core Strength and Lower Extremity Function During the Single-leg Squat...
View full text
Electronic eBook
14
Published 2011
Table of Contents: ...-stage dementia -- Lessons learned from training interventions -- Part II: Community-Based Programs...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... for Autonomous Robots -- Event-Specific Software Composition in Context-Oriented Programming -- Predicated...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... IS Problem: The Roles of IS and Application Domain Knowledge -- Finding Solutions in Goal Models...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ...COTS Selection, Integration -- A Goal-Oriented Strategy for Supporting Commercial Off-the-Shelf...
View full text
Electronic eBook
18
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Framework for Integrating New Functionalities into Software Architectures -- Beyond ATAM: Architecture...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
View full text
Electronic eBook