Cover Image
Read Now

1
Published 2015
Springer International Publishing
Table of Contents: “... Deduction -- Constraint Handling Rules -- Confluence Modulo Equivalence in Constraint Handling Rules...”
Cover Image
Read Now

2
Published 2014
Springer International Publishing
Table of Contents: “...Modeling Paradigms -- Validation and Testing -- Fault Detection and Handling -- Safety Assessment...”
Cover Image
Read Now

3
by Langtangen, Hans Petter
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Computing with Formulas -- Basic Constructions -- Input Data and Error Handling -- Array Computing...”
Cover Image
Read Now

4
by Sippu, Seppo, Soisalon-Soininen, Eljas
Published 1990
Springer Berlin Heidelberg
Table of Contents: “.... Syntax Error Handling -- 10. Testing Grammars for Parsability -- Bibliography to Volume II -- Index...”
Cover Image
Read Now

5
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... and Distributed Algorithms -- Parallel and Distributed Computing -- Grid Computing -- Failure Handling...”
Cover Image
Read Now

6
by Eiben, Agoston E., Smith, J.E.
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Hybridisation with Other Techniques: Memetic Algorithms -- 11 Theory -- 12 Constraint Handling -- 13 Special...”
Cover Image
Read Now

7
Published 2017
Springer International Publishing
“..., and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets...”
Cover Image
Read Now

8
by Miola, Alfonso
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... to algebraic computation -- Variant handling, inheritance and composition in the ObjectMath computer algebra...”
Cover Image
Read Now

9
Published 2018
Springer International Publishing
Table of Contents: “...Think Sequential, Run Parallel -- Concurrency: Handling interference Formally -- Decidability...”
Cover Image
Read Now

10
by Alagic, Suad
Published 1989
Springer New York
Table of Contents: “... Recursion; Computed Attribute Values; Open Array Parameters and String Handling; Circuit Design; Task...”
Cover Image
Read Now

11
by Klatte, Rudi, Kulisch, Ulrich, Wiethoff, Andreas, Lawo, Christian
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... Statements -- 3.4 Error Handling -- 3.5 Pitfalls for Programming with C — XSC -- A Syntax Diagrams -- A.1...”
Cover Image
Read Now

12
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Shadow Is It Telling the Time? -- Peptide Computing – Universality and Theoretical Model -- Handling...”
Cover Image
Read Now

13
by Rosenberg, Arnold L., Trystram, Denis
Published 2020
Springer International Publishing
Table of Contents: “... of Infinity: Handling the Very Large and the Infinite -- Numbers II: Building the Integers and Building...”
Cover Image
Read Now

14
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... of CCS for handling atomic actions -- Modelling statecharts behaviour in a fully abstract way -- Directed...”
Cover Image
Read Now

15
Published 2016
Springer International Publishing
Table of Contents: “... Binary Theory, and Beyond -- A Type Theory for Robust Failure Handling in Distributed Systems...”
Cover Image
Read Now

16
Published 2019
Springer International Publishing
Table of Contents: “... Using SAT -- Parameterised Verification of Publish/Subscribe Networks with Exception Handling -- Cellular...”
Cover Image
Read Now

17
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...Handling distributed data in Vienna Fortran procedures -- On the synthesis of parallel programs...”
Cover Image
Read Now

18
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... of handling data from astronomical images -- Data base requirements in meteorology -- Data bases...”
Cover Image
Read Now

19
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... respecting net morphisms -- Regular stochastic petri nets -- Circuits, handles, bridges and nets...”
Cover Image
Read Now

20
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... and C++ -- Linear logic and real closed fields: A way to handle situations dynamically -- A proof...”