Cover Image
Read Now

1
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... and Causation -- Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem -- Reasoning...”
Cover Image
Read Now

2
by Ganai, Malay, Gupta, Aarti
Published 2007
Springer US
“.... SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest...”
Cover Image
Read Now

3
Published 2020
Springer International Publishing
Table of Contents: “...Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL -- The Bang Calculus...”
Cover Image
Read Now

4
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... framework for software maintenance -- The sol object-oriented database language -- Interactive design...”
Cover Image
Read Now

5
Published 1994
Springer US
Table of Contents: “... of Research and Development in Modification of Polymeric Materials Using Radiation Technique in Indonesia...”
Cover Image
Read Now

6
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... of Physical Unit Handling Techniques in Ada -- Charles: A Data Structure Library for Ada95 -- A Quality Model...”
Cover Image
Read Now

7
Published 2002
Springer US
Table of Contents: “... of Microporous Materials from Molecular Building Blocks -- Sol-Gel Processing of Amorphous Nanoporous Silicas...”
Cover Image
Read Now

8
Published 2022
Springer International Publishing
Table of Contents: “...A Billion SMT Queries a Day -- Program Verification with Constrained Horn Clauses -- Formal Methods...”
Cover Image
Read Now

9
Published 2022
Springer International Publishing
Table of Contents: “...A Billion SMT Queries a Day -- Program Verification with Constrained Horn Clauses -- Formal Methods...”