Search alternatives:
22computational methods » computational method, computation methods, computational methodsin
Cover Image
Read Now

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

2
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

3
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

4
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

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

6
Published 2022
Springer International Publishing
Table of Contents: “... Coordination System -- Effects of Computer-Based (Scratch) and Robotic (Cozmo) Coding Instruction on Middle...”
Cover Image
Read Now

7
Published 2014
Springer International Publishing
Table of Contents: “... Screens to Devices and Tangible Objects: A Framework Applied to Serious Games Characterization --...”
Cover Image
Read Now

8
Published 2023
Springer Nature Switzerland
Table of Contents: “... Image-to-Image Translation Method -- Federated Learning Approach for Distributed Ransomware Analysis...”
Cover Image
Read Now

9
by Singpurwalla, Nozer D., Wilson, Simon P.
Published 1999
Springer New York
Table of Contents: “... Production -- 1.3 The Quantification of Uncertainty -- 1.4 The Role of Statistical Methods in Software...”
Cover Image
Read Now

10
by Lencevicius, Raimondas
Published 2000
Springer US
Table of Contents: “...1 Introduction -- 1.1 Outline -- 2 Debugging Background and methods -- 2.1 Control Flow Debugging...”
Cover Image
Read Now

11
by Yang, Daoqi
Published 2001
Springer New York
Table of Contents: “... Scopes and Storage Classifications -- 2.2 Expressions -- 2.3 Statements -- 2.4 Fibonacci Number -- 2.5...”
Cover Image
Read Now

12
Published 2023
Springer Nature Switzerland
Table of Contents: “...-Objective Optimization -- Computational Optimization -- Data Science -- Big Data -- Data Analytics...”
Cover Image
Read Now

13
Published 2023
Springer Nature Switzerland
Table of Contents: “...-Objective Optimization -- Computational Optimization -- Data Science -- Big Data -- Data Analytics...”
Cover Image
Read Now

14
Published 2020
Springer International Publishing
Table of Contents: “... of Affective States Self-Expressions -- Accessible Computer Science for K-12 Students with Hearing Impairments...”
Cover Image
Read Now

15
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Method of Stages -- On the Minimisation of Acyclic Models -- Quasi-Static Scheduling of Communicating...”
Cover Image
Read Now

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

17
Published 2001
Springer US
Table of Contents: “... in the Semiconductor Industry -- 10 Analyzing Maintenance Data Using Data Mining Methods -- 11 Methodology of Mining...”
Cover Image
Read Now

18
by Holt, A.
Published 1997
Springer Netherlands
Table of Contents: “...11.2 Pure vs. applied -- 11.3 “Science”about human behavior -- 11.4 “Pre-mathematical”? -- 11.5...”
Cover Image
Read Now

19
Published 2020
Springer International Publishing
Table of Contents: “... for Supporting the Design, Development, and Evaluation of Exergames for Health -- Applying Social Gamification...”
Cover Image
Read Now

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