181
Published 2010
Springer Berlin Heidelberg
Table of Contents: ...Applying the B Method for the Rigorous Development of Smart Card Applications -- Automatic...

182
by Maybank, Stephen
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... for Reconstruction -- 2.2 Essential Matrices -- 2.3 Projective Framework for Reconstruction -- 2.4 Reconstruction up...

183
Published 2021
Springer International Publishing
Table of Contents: ... Laboratory -- Analysis of the seasonality in a geothermal system using projectionist and clustering methods...

184
Published 2001
Springer US
Table of Contents: ... in the Semiconductor Industry -- 10 Analyzing Maintenance Data Using Data Mining Methods -- 11 Methodology of Mining...

185
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... -- Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency -- Constraint Logic...

186
by Gotzhein, Reinhard
Published 1993
Vieweg+Teubner Verlag
Table of Contents: ... Formal methods in the system design process -- 1.1 A model for the system design process -- 1.2...

187
Published 2008
Springer Berlin Heidelberg
Table of Contents: ...-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis -- Computing...

188
Published 2010
Springer Berlin Heidelberg
Table of Contents: ...1: Enterprise Networks and Strategic Alignment -- Applying Causal Reasoning to Analyze Value...

189
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Attribute Values—A Rough Set Approach -- Tableau Method with Free Variables for Intuitionistic Logic -- A...

190
by Gour-Tsyh (George) Yeh
Published 2000
Springer US
Table of Contents: ... -- 2.2. General Geochemical Equilibrium Systems -- 2.3. Geochemical Kinetic Systems -- 2.4. Mixed...

191
Published 2024
Springer Nature Switzerland
Table of Contents: ... -- Discrete Applied Mathematics -- An Efficient Interior Point Method for Linear Optimization using Modified...

192
Published 2022
Springer International Publishing
Table of Contents: ... of Big Data Using Linear Programming Methods -- Parallel Computing in Problems of Classification...

193
Published 2001
Birkhäuser
Table of Contents: ... Algebra in Physics and Links With Engineering -- VII Computational Methods in Clifford Algebras -- 22...

194
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Agile Planning -- Applying Agile to Large Projects: New Agile Software Development Practices for Large...

195
Published 2002
Springer US
Table of Contents: ... Theorem of Signal Processing -- The ‘Riesz Basis Method’ for Deriving Sampling Series: An Overview...

196
by Glutsch, Stephan
Published 2004
Springer Berlin Heidelberg
Table of Contents: ....2.1 The Eigenvalue Problem -- C.2.2 Orthogonal Transformations -- C.2.3 Addition of Angular Momenta...

197
Published 2017
Springer International Publishing
Table of Contents: ...Numerical Modeling -- Numerical Stochastics; Numerical Approximation and Computational Geometry...

198
by Giordani, Paolo, Ferraro, Maria Brigida, Martella, Francesca
Published 2020
Springer Nature Singapore
Table of Contents: ... algorithms -- 2.1 Introduction -- 2.2 Distances and dissimilarities -- 2.3 Hierarchical methods -- 2.4 Non...

199
by Teolis, Anthony
Published 1998
Birkhäuser
Table of Contents: ... Symbols and Notation -- 2.2 Basic Concepts -- 2.3 Basic Spaces -- 2.4 Operators -- 2.5 Bases...

200
Published 2020
Springer International Publishing
Table of Contents: ... Focus – an Evaluation of Five Adaptation Strategies -- Information-Theoretic Methods Applied to Dispatch...