Search alternatives:
communication methods » communication meetings
computational method » computational methods, computational models, computational model
Cover Image
Read Now

1
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Component Designs -- Software Architecture for Correct Components Assembly -- Formal Methods in Testing...”
Cover Image
Read Now

2
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...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... and Performance Evaluation -- Applying the UML Class Diagram in the Performance Analysis -- Dependability...”
Cover Image
Read Now

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...”
Cover Image
Read Now

5
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Threats and Countermeasures -- COP: A Step toward Children Online Privacy -- A Hybrid Method to Detect...”
Cover Image
Read Now

6
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... developments -- Quantitative analysis of an application of formal methods -- Applying the B technologies...”
Cover Image
Read Now

7
Published 1992
Springer US
Table of Contents: “...-and Second-Order Convex Programming Scaling Algorithms Applied to Geometric Programming -- 31 An Optimal...”
Cover Image
Read Now

8
Published 2015
Springer International Publishing
Table of Contents: “...Genetic Algorithms for the Construction of 22 and 23-level Response Surface Designs -- Reactive...”
Cover Image
Read Now

9
Published 2014
Springer International Publishing
Table of Contents: “...Cryptographic building blocks -- Mini tutorial -- Attacks and countermeasures -- Tools and methods...”
Cover Image
Read Now

10
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... formal methods using vdm -- Model-checking the architectural design of a fail-safe communication system...”
Cover Image
Read Now

11
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... and Components (APGAC2005) -- International Workshop on Computational Nano-Science and Technology -- Workshop...”
Cover Image
Read Now

12
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Numerical Methods -- Algorithms and Computational Kernels -- Nonnumerical Algorithms -- Parallel...”
Cover Image
Read Now

13
by Gustafson, Grant B., Wilcox, Calvin H.
Published 1998
Springer New York
Table of Contents: “... Systems of Linear Equations -- 5.2 The Gauss Elimination Method -- 5.3 Vector Spaces -- 5.4 Matrices...”
Cover Image
Read Now

14
Published 2022
Springer International Publishing
Subjects: “...Computer Communication Networks...”
Cover Image
Read Now

15
Published 2022
Springer International Publishing
Subjects: “...Computer Communication Networks...”
Cover Image
Read Now

16
Published 2015
Springer International Publishing
Table of Contents: “..., and analysis -- Computational and applied statistics -- Computational geometry and security applications...”
Cover Image
Read Now

17
Published 2015
Springer International Publishing
Table of Contents: “..., and analysis -- Computational and applied statistics -- Computational geometry and security applications...”
Cover Image
Read Now

18
Published 2015
Springer International Publishing
Table of Contents: “..., and analysis -- Computational and applied statistics -- Computational geometry and security applications...”
Cover Image
Read Now

19
Published 2015
Springer International Publishing
Table of Contents: “..., and analysis -- Computational and applied statistics -- Computational geometry and security applications...”
Cover Image
Read Now

20
Published 2015
Springer International Publishing
Table of Contents: “..., and analysis -- Computational and applied statistics -- Computational geometry and security applications...”