1
by Jukna, Stasys., Jukna, Stasys.
Published 2012
Table of Contents: ... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...
View full text
Electronic eBook
4
Published 2011
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
5
by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010
Table of Contents: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
View full text
Electronic eBook
6
Table of Contents: ...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
8
Table of Contents: ...) -- Ramifications of the Geometric Langlands Program -- Equivariant Derived Category and Representation of Real...
View full text
Electronic eBook
9
Subjects: ...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Order -- Renormalization of Interacting Diffusions: A Program and Four Examples -- Reduced Mihlin...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ...R. Boca: Magnetic Parameters and Magnetic Functions in Mononuclear Complexes Beyond the Spin...
View full text
Electronic eBook
12
13
Published 2012
Table of Contents: ...Introduction -- Kisil, Vladimir V.: Erlangen Program at Large: Brief Outline -- Laurincikas, A...
View full text
Electronic eBook
14
by Wegener, Ingo., Wegener, Ingo.
Published 2005
Table of Contents: ... Complexity -- The Complexity of Boolean Functions....
View full text
Electronic eBook
15
Subjects: ...Applications of Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/M...
View full text
Electronic eBook
16
Published 2011
Table of Contents: ... of Lamellipodia and Filopodia -- Regulation of Actin Filaments During Neurite Extension and Guidance -- Functions...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...
View full text
Electronic eBook
18
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
19
Published 2012
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
20
Table of Contents: ...Scheduling Models -- Algorithms and Complexity -- Resource-Constrained Project Scheduling...
View full text
Electronic eBook