Search alternatives:
recursion library » section library, recursion summary, equation library

1
Published 2015
Springer International Publishing
Table of Contents: ... with Recursion at Runtime -- Assuring the Guardians -- A Case Study on Runtime Monitoring of an Autonomous...

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... -- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes -- Algebras -- A Kleene Theorem...

3
Published 2014
Springer International Publishing
Table of Contents: ...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...

4
Published 2017
Springer Berlin Heidelberg
Table of Contents: ... and Efficient Library Summarization --...

5
by Calude, Cristian
Published 1988
North-Holland
Table of Contents: .... Recursive Real Numbers; 2.10. History; 2.11. Exercises and Problems; Chapter 3; 3. BLUM's Complexity Theory...

6
Published 2014
Academic Press
Table of Contents: ... Principles to Recent Standards; 1 Introduction; 2 History of turbo codes; 2.1 The origins of turbo codes; 2.2...

7
by Stewart, Scott Dudley, Piros, Christopher Dixon, Heisler, Jeffrey
Published 2019
John Wiley & Sons, Inc.
Table of Contents: ... with Recursive Shortfall Constraints -- The Impact of Mean Reversion -- Some Intuition about Changing Investment...

8
by Sengupta, Saumyendra, Korobkin, Carl P.
Published 1994
Springer New York
Table of Contents: ...4.4 Recursion and Trace of C++ Stack -- 4.5 OOP Application: The Towers of Hanoi -- 4.6 OOP...

9
by Haug, Anton J.
Published 2012
John Wiley & Sons
Table of Contents: ...; 3.3 Introduction to Recursive Bayesian Filtering of Probability Density Functions; 3.4 Introduction...

10
by Le Ruyet, Didier, Pischella, Mylène
Published 2015
ISTE Ltd
Table of Contents: ...""; ""Introduction""; ""1: Introduction to Information Theory""; ""1.1. Introduction""; ""1.2. Review...

11
by Tan, Kiat Shi, Steeb, Willi-Hans, Hardy, Yorick
Published 2000
Springer London
Table of Contents: ... Functions -- 5.12 Wrapper Class -- 5.13 Standard Template Library -- 5.14 Recursion -- 5.15 Summary -- 6...

12
by Partsch, Helmut A.
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... Embedding -- 5.3 Development of Recursive Solutions from Problem Descriptions -- 5.4 Elimination...

13
Published 1998
Springer Berlin Heidelberg
Table of Contents: ...+22 theory and algorithms for parallel computation -- BSP, LogP, and oblivious programs -- Parallel...

14
by Dexter, A. L.
Published 2012
Wiley
Table of Contents: ... Schemes -- 10.1.1 Recursive Fuzzy Least-Squares -- 10.1.2 Recursive Forms of the RSK Algorithm -- 10.2...

15
by Morris, John
Published 2006
British Computer Society
Table of Contents: ...""USE OF RECURSION""""STAGE 1 CLOSEDOWN""; ""STAGE 1 PROJECT CONTROLS""; ""11 Stage 2 Data...

16
by Haghighi, Aliakbar Montazer, Mishev, D. P.
Published 2016
John Wiley & Sons
Table of Contents: ...1.9.1 Characteristic Equation Method1.9.2 Recursive Method; 1.9.3 Generating Function Method; 1.9.4...

17
by Rapoport, Anatol, Stein, W., Burkheimer, G.
Published 1979
Springer Netherlands
Table of Contents: ...1. Introduction -- 1.1. Behavioral Decision Theory -- 1.2. Introduction to Detection of Change...

18
by Gottinger, H.W.
Published 1983
Springer Netherlands
Table of Contents: ... Systems -- 1.6 Models Using Catastrophe Theory -- 1.7 Aspects of FCS Modelling -- 1.8 Computer Models...

19
Published 1986
Springer Netherlands
Table of Contents: ... -- References -- 6. Time-Series Methods and Recursive Estimation in Hydrological Systems Analysis -- 6.1...

20
by Cohen, L. Jonathan
Published 1982
North-Holland Pub. Co.
Table of Contents: ... of Commutative Rings; PART 3. RECURSION THEORY AND THEORY OF COMPUTATION; Chapter 15. Small Degrees in Ordinary...