Search alternatives:
sciences%22 » science%22
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 2014
Springer International Publishing
Table of Contents: “...Cryptographic building blocks -- Mini tutorial -- Attacks and countermeasures -- Tools and methods...”
Cover Image
Read Now

3
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

4
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

5
Published 2023
Springer Nature Switzerland
Table of Contents: “... Image-to-Image Translation Method -- Federated Learning Approach for Distributed Ransomware Analysis...”
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 2023
Springer Nature Switzerland
Table of Contents: “...-Objective Optimization -- Computational Optimization -- Data Science -- Big Data -- Data Analytics...”
Cover Image
Read Now

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

9
Published 2024
Springer Nature Switzerland
Table of Contents: “...-threshold Delay Time Measurement Method to Mitigate Modeling Attacks -- Incorporating Cluster Analysis...”
Cover Image
Read Now

10
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

11
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

12
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

13
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

14
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

15
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

16
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

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

19
Published 2020
Springer International Publishing
Table of Contents: “... Focus – an Evaluation of Five Adaptation Strategies -- Information-Theoretic Methods Applied to Dispatch...”
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...”