1
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... and Distributed Algorithms -- Parallel and Distributed Computing -- Grid Computing -- Failure Handling...

2
Published 2018
Springer International Publishing
Table of Contents: ...Think Sequential, Run Parallel -- Concurrency: Handling interference Formally -- Decidability...

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Shadow Is It Telling the Time? -- Peptide Computing – Universality and Theoretical Model -- Handling...

4
Published 2019
Springer International Publishing
Table of Contents: ... of Data Science Software -- Fast and Precise Handling of Positive Weight Cycles for Field-sensitive...

5
Published 2006
Springer Berlin Heidelberg
Table of Contents: ...: Implementing XSS Immune Session Handling -- Policy-Driven Memory Protection for Reconfigurable Hardware...

6
Published 2021
Springer International Publishing
Table of Contents: ...: A General Framework to Handle Program -- Verification of Data Structures -- Toward Neural-Network...

7
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... -- On the Toric Graph as a Tool to Handle the Problem of Sorting by Transpositions -- A Customized Class...

8
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Translation of ?-Calculus Terms -- Model Checking -- Handling Algebraic Properties in Automatic Analysis...

9
Published 2022
Springer International Publishing
Table of Contents: ... of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage...

10
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... -- Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents -- Handling of Task...

11
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... -- Databases and Datawarehouses -- GeoCube, a Multidimensional Model and Navigation Operators Handling Complex...

12
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Majorization -- Computing Radial Drawings on the Minimum Number of Circles -- Hamiltonian-with-Handles Graphs...

13
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Algorithm for Applying Reinforcement Learning to Handle Ambiguity in Spoken Dialogues -- A Fixed-Parameter...

14
Published 2009
Springer US
Table of Contents: ... Reuse in an On-Line Environment -- Handling Contradictions in Knowledge Discovery Applications -- A...

15
Published 2018
Springer International Publishing
Table of Contents: ... of a Smart Grid with Different Coupling Modes -- Measuring social responsiveness for improved handling...

16
Published 2021
Springer International Publishing
Table of Contents: ... -- Introducing Uncertainty Into Explanaible AI Methods -- New rank-reversal free approach to handle interval data...

17
by Mazzola, Guerino, Milmeister, Gérard, Weissmann, Jody
Published 2006
Springer Berlin Heidelberg
... the book more comfortable for instructors as well as for students to handle...

18
by Heydon, Clark Allan, Levin, Roy, Mann, Timothy P., Yu, Yuan
Published 2006
Springer US
... (SCM). Vesta, unlike other SCM systems, is specifically designed to handle very large software projects...

19
by Berstel-Da Silva, Bruno
Published 2014
Springer Berlin Heidelberg
..., that is, rule programs as handled in business rules management systems. Its conceptual contribution...

20
by Förster, Michael
Published 2014
Springer Fachmedien Wiesbaden
... of the reverse mode must be handled properly during the transformation. The first part of the work examines...