1
by Lu, Xiaofei
Published 2014
Springer Netherlands
Subjects: ...Natural language processing (Computer science)...

2
by Schäfer, Michael
Published 2022
Springer International Publishing
Table of Contents: ... -- Finite-Volume Methods -- Finite-Element Methods -- Other Discretization Methods -- Time Discretization...

3
Published 2013
Springer New York
Table of Contents: ... and Control -- 21 Modified Integral Equation Method for Stationary Plate Oscillations -- 22 Nonstandard...

4
Published 2004
Birkhäuser
Table of Contents: ...39 Reduction of Computation in the Numerical Resolution of a Second-Kind Weakly Singular Fredholm...

5
Published 2013
Springer Netherlands
Table of Contents: .... Putman, H. Krawinkler.- 6. Preliminary Seismic Assessment Method for Identifying Reinforced Concrete...

6
by Ramanathan, Jayakumar
Published 1998
Birkhäuser
Table of Contents: ... Spaces and Invariant Subspaces -- 2.2 Boundary Values of Harmonic Functions -- 2.3 Hardy Spaces...

7
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... with Spec Explorer -- ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control...

8
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... and Component Designs -- Software Architecture for Correct Components Assembly -- Formal Methods in Testing...

9
Published 1992
Springer US
Table of Contents: ... -- The perturbation theory of electron correlation: IV. concurrent computation Many-body perturbation theory...

10
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... and Performance Evaluation -- Applying the UML Class Diagram in the Performance Analysis -- Dependability...

11
by Røed, Lars Petter
Published 2019
Springer International Publishing
Subjects: ...Applied mathematics...

12
by Mali, Olli, Neittaanmäki, Pekka, Repin, Sergey
Published 2014
Springer Netherlands
Table of Contents: ...1 Errors Arising In Computer Simulation Methods -- 1.1 General scheme -- 1.2 Errors of mathematical...

13
Published 2013
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...

14
by Ohno, Kaoru, Esfarjani, Keivan, Kawazoe, Yoshiyuki
Published 1999
Springer Berlin Heidelberg
Table of Contents: ...1. Introduction -- 1.1 Computer Simulation as a Tool for Materials Science -- 1.2 Modeling...

15
Published 2003
Springer New York
Subjects: ...Statistical Theory and Methods...

16
Published 2018
Springer International Publishing
Table of Contents: ...A High Arithmetic Intensity Krylov Subspace Method Based on Stencil Compiler Programs...

17
by O Ruanaidh, Joseph J.K., Fitzgerald, William J.
Published 1996
Springer New York
Table of Contents: ...1 Introduction -- 2 Probabilistic Inference in Signal Processing -- 2.1 Introduction -- 2.2...

18
by Sprent, Peter
Published 1989
Springer Netherlands
Table of Contents: ... Estimation -- 1.4 Samples and populations -- 1.5 Further reading -- 1.6 Computers and nonparametric methods...

19
Published 1992
Springer New York
Table of Contents: ... and Reliability -- Constrained Least Squares -- Small Sample Performance of Computer Intensive Statistical Methods...

20
by Oden, J.T., Reddy, J.N.
Published 1983
Springer Berlin Heidelberg
Table of Contents: ... Boundary-Value Problems, Monotone Operators, and Variational Inequalities -- 6.1 Direct Variational Methods...