Search alternatives:
communication methods » communication meetings
computation methods » computational methods, computational method, computing methods

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

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

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

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

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

6
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... Threats and Countermeasures -- COP: A Step toward Children Online Privacy -- A Hybrid Method to Detect...

7
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... developments -- Quantitative analysis of an application of formal methods -- Applying the B technologies...

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

9
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... formal methods using vdm -- Model-checking the architectural design of a fail-safe communication system...

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

11
Published 1992
Springer US
Table of Contents: ...-and Second-Order Convex Programming Scaling Algorithms Applied to Geometric Programming -- 31 An Optimal...

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

13
Published 2014
Springer International Publishing
Table of Contents: ...Cryptographic building blocks -- Mini tutorial -- Attacks and countermeasures -- Tools and methods...

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

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

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

17
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... and Components (APGAC2005) -- International Workshop on Computational Nano-Science and Technology -- Workshop...

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

19
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...Numerical Methods -- Algorithms and Computational Kernels -- Nonnumerical Algorithms -- Parallel...

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