Cover Image
Read Now

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

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

3
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Specifying computations using hyper transition systems -- A shift-invariant metric on S zz inducing a non...”
Cover Image
Read Now

4
Published 2012
Springer Berlin Heidelberg
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

5
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Probabilistic Timed Automata -- A Computational Proof of Complexity of Some Restricted Counting Problems...”
Cover Image
Read Now

6
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...) -- Examples of semicomputable sets of real and complex numbers -- Bringing mathematics education...”
Cover Image
Read Now

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

8
Published 2015
Springer International Publishing
Table of Contents: “... and Dynamic Programming -- Applications of DFT to the Theory of Twentieth-Century Harmony -- Utilizing...”
Cover Image
Read Now

9
Published 2022
Springer International Publishing
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

10
Published 2022
Springer International Publishing
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

11
Published 1992
Springer New York
Table of Contents: “... Computations -- Bayesian Applications -- Modern APL -- Neural Networks and Related Techniques -- Nonlinear...”
Cover Image
Read Now

12
Published 2017
Springer International Publishing
Table of Contents: “...Type Theory and Formalization of Mathematics -- Advances in Parameterized Verification...”
Cover Image
Read Now

13
Published 2018
Springer Nature Singapore
Table of Contents: “... Difference Systems -- Chapter 22. Discrete Legendre collocation methods for Fredholm-Hammerstein integral...”
Cover Image
Read Now

14
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”
Cover Image
Read Now

15
Published 2017
Springer International Publishing
Table of Contents: “...Computability -- Computer science logic -- Complexity -- Algorithms -- Models of computation...”
Cover Image
Read Now

16
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Computability -- complexity -- algorithms -- present current research...”
Cover Image
Read Now

17
Published 2014
Springer International Publishing
Subjects: “...Computer science—Mathematics...”
Cover Image
Read Now

18
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...-tolerant topologies -- Shortest path algorithms for nearly acyclic directed graphs -- Computing disjoint...”
Cover Image
Read Now

19
Published 2014
Springer India
Table of Contents: “... Function -- Chapter 5. Frames and Erasures -- Chapter 6. Semi-inner Product: Application to Frame Theory...”
Cover Image
Read Now

20
Published 2024
Springer Nature Switzerland
Subjects: “...Mathematical Applications in Computer Science...”