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

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

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

4
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...

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

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

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
by Røed, Lars Petter
Published 2019
Springer International Publishing
Subjects: ...Applied mathematics...

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

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

11
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...

12
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...

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

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

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

16
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...

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

18
by Ladeveze, Pierre
Published 1999
Springer New York
Table of Contents: ... and Computation for Large Deformations -- 9.1. Material quantities and modeling of their behavior -- 9.2. Pure...

19
Published 2009
Springer Berlin Heidelberg
Table of Contents: ...Computational Agents to Model Knowledge - Theory, and Practice in Visual Surveillance -- Knowledge...

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