1
Table of Contents: ...: The Central Path, Newton's Method for the Primal-Dual System, Path-Following Algorithms, Predictor-Corrector...
View full text
Electronic eBook
2
Table of Contents: ...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...
View full text
Electronic eBook
3
by Han, Maoan., Han, Maoan., Yu, Pei.
Published 2012
Table of Contents: ... -- Application (I)—Hilbert’s 16th Problem -- Application (II)—Practical Problems -- Fundamental Theory...
View full text
Electronic eBook
4
Published 2011
Table of Contents: ... in Patients with Genitourinary Tract Cancer -- Central Nervous System Infections in Patients with Cancer...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- Principles and Practice of Image-guided Neurosurgery -- Stereotactic Radiosurgery -- Tumors -- Low-grade...
View full text
Electronic eBook
6
Table of Contents: ...IP Meta-Models for SoC Assembly and HW/SW Interfaces -- Functional Models -- Testbench Models...
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
Published 2010
Table of Contents: ...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...
View full text
Electronic eBook
9
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
10
Table of Contents: ...R Fundamentals -- Probability -- Statistical Theory -- Frequency Distributions -- Central Tendency...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Architectural Knowledge Go? -- REST in Practice -- Full Research Papers -- An ADL-Approach to Specifying...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... for Integrating Formal Logic and Artificial Neural Systems: A Practical Exploration -- A Clustering Application...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
View full text
Electronic eBook
15
Table of Contents: ...Functions and Transformations -- Functions and Graphs -- Rigid Motions (Isometries) -- Affine...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Principles and Practice -- 82. Interdisciplinary Functional Restoration and Pain Programs -- 83. Pain...
View full text
Electronic eBook
17
Published 2011
Table of Contents: ...Preface -- Pairwise Sequence Alignment -- Sequence and Sequence Alignment Statistics -- Practical...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Care -- System Analysis and Methodologies for Design and Development -- Nurses’ Working Practices: What...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ...Modelling Seasonal Dynamics from Temporal Variation in Agricultural Practices in the UK Ammonia...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... -- Twenty-Eight Years of the US-LTER Program: Experience, Results, and Research Questions -- Introducing...
View full text
Electronic eBook