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

1
Published 2014
Springer International Publishing
Table of Contents: “...Cryptographic building blocks -- Mini tutorial -- Attacks and countermeasures -- Tools and methods...”
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 2023
Springer Nature Switzerland
Table of Contents: “... Image-to-Image Translation Method -- Federated Learning Approach for Distributed Ransomware Analysis...”
Cover Image
Read Now

5
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

6
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

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

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

10
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

11
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

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

13
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Side Channel Analysis -- Quantifying Timing Leaks and Cost Optimisation -- Method for Detecting...”
Cover Image
Read Now

14
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Agile Planning -- Applying Agile to Large Projects: New Agile Software Development Practices for Large...”
Cover Image
Read Now

15
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

16
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- Applying Formal Methods in the Large -- Automating Theorem Proving with SMT...”
Cover Image
Read Now

17
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... constraints -- Formal methods and social context in software development -- Testing can be formal, too...”
Cover Image
Read Now

18
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

19
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- Efficient State-Diagram Construction Methods for Software Pipelining -- A Comparison of Compiler Tiling...”
Cover Image
Read Now

20
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Assignment -- Super Solutions in Constraint Programming -- Local Probing Applied to Network Routing...”