1
Published 2024
Springer Nature Switzerland
Table of Contents: ...Part I Physics -- Part II Molecules, Interfaces, and Solids -- Part III Computational Fluid...

2
Published 2021
Springer International Publishing
Table of Contents: ... Metaheuristic Algorithm -- N. Mehdi, M. Abdelmoutalib, H. Imad, VRPTW: From mathematical models to computing...

3
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Probabilistic Timed Automata -- A Computational Proof of Complexity of Some Restricted Counting Problems...

4
Published 1992
Springer Berlin Heidelberg
Table of Contents: ...) -- Examples of semicomputable sets of real and complex numbers -- Bringing mathematics education...

5
Published 1992
Springer New York
Table of Contents: ... Computations -- Bayesian Applications -- Modern APL -- Neural Networks and Related Techniques -- Nonlinear...

6
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... -- Specifying computations using hyper transition systems -- A shift-invariant metric on S zz inducing a non...

7
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... -- Absolutely Non-effective Predicates and Functions in Computable Analysis -- Linear-Size Log-Depth Negation...

8
Published 2012
Springer Berlin Heidelberg
Subjects: ...Computer science / Mathematics...

9
Published 2022
Springer International Publishing
Subjects: ...Computer science / Mathematics...

10
Published 2022
Springer International Publishing
Subjects: ...Computer science / Mathematics...

11
Published 2017
Springer International Publishing
Table of Contents: ...Type Theory and Formalization of Mathematics -- Advances in Parameterized Verification...

12
Published 1997
Springer Berlin Heidelberg
Table of Contents: ...-tolerant topologies -- Shortest path algorithms for nearly acyclic directed graphs -- Computing disjoint...

13
Published 2014
Springer International Publishing
Subjects: ...Computer scienceMathematics...

14
Published 2015
Springer International Publishing
Table of Contents: ... and Dynamic Programming -- Applications of DFT to the Theory of Twentieth-Century Harmony -- Utilizing...

15
Published 2017
Springer International Publishing
Table of Contents: ...Computability -- Computer science logic -- Complexity -- Algorithms -- Models of computation...

16
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...Computability -- complexity -- algorithms -- present current research...

17
Published 2018
Springer Nature Singapore
Table of Contents: ... Difference Systems -- Chapter 22. Discrete Legendre collocation methods for Fredholm-Hammerstein integral...

18
Published 2014
Springer India
Table of Contents: ... Function -- Chapter 5. Frames and Erasures -- Chapter 6. Semi-inner Product: Application to Frame Theory...

19
Published 2023
Springer Nature Switzerland
Table of Contents: ... Bruijn Words -- Transduction of Automatic Sequences and Applications -- Measuring Power of Generalised...

20
Published 2019
Springer International Publishing
Table of Contents: ...Engineering and Real World Applications -- Games -- General -- Image and Signal Processing -- Life...