Cover Image
Read Now

1
by Bohrer, Rainer, Kämpf, Paul, Kalbskopf, Bernd, Nohl, Uwe
Published 1994
Springer Berlin Heidelberg
“...Formula Index...”
Cover Image
Read Now

2
Published 1999
Birkhäuser
Table of Contents: “... -- On the operator-norm convergence of the Trotter-Kato product formula -- A particular case of the inverse problem...”
Cover Image
Read Now

3
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae -- Conditions for Efficiency...”
Cover Image
Read Now

4
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...-Domination problems on homogeneously orderable graphs -- Growing patterns in 1D cellular automata -- Petri...”
Cover Image
Read Now

5
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Conflict-free access to templates of trees and hypercubes in parallel memory systems -- Many-to-one...”
Cover Image
Read Now

6
Published 1988
Springer Netherlands
Table of Contents: “... Biological Implications on Drake’S Formula -- Regional Jurisdiction in Our Galaxy -- One More Solution...”
Cover Image
Read Now

7
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Efficient detection of vacuity in ACTL formulas -- Model checking and transitive-closure logic --...”
Cover Image
Read Now

8
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...Symbolic dynamics for angle-doubling on the circle I. The topology of locally connected Julia sets...”
Cover Image
Read Now

9
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... for (1, +k)-branching programs with respect to k -- Routing with finite speeds of memory and network...”
Cover Image
Read Now

10
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... for real-time branching programs -- On the conditions of supplementicity in functional systems -- On one...”
Cover Image
Read Now

11
Published 1999
Birkhäuser
Table of Contents: “... and the error of Gauss-Kronrod quadrature formulas -- Fast solution of confluent Vandermonde-like linear systems...”
Cover Image
Read Now

12
by Bohrer, Rainer, Hartwig, Helga, Jonuschat, Renate, Kalbskopf, Bernd
Published 1989
Springer Berlin Heidelberg
“...Formula Index...”
Cover Image
Read Now

13
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Model Checking with Formula-Dependent Abstract Models -- Verifying Network Protocol Implementations...”
Cover Image
Read Now

14
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...I Reaction Dynamics and Potential Energy Surfaces -- Reaction Dynamics of H2Si: A 5-D Model -- Eley...”
Cover Image
Read Now

15
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Coherence measure based on average use of formulas -- A decision-theoretic approach for pre-sending...”
Cover Image
Read Now

16
Published 1994
Birkhäuser
“... in the following areas: Szegö-Widom asymptotic formulas for determinants of finite sections of Toeplitz matrices...”
Cover Image
Read Now

17
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... on partial predicate mappings -- Learning k-term monotone Boolean formulae -- Some improved sample complexity...”
Cover Image
Read Now

18
Published 2004
Springer Netherlands
Table of Contents: “...Combinatorial Formulas for Cohomology of Spaces of Knots -- On the Homology of Spaces of Long Knots...”
Cover Image
Read Now

19
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... for Optimizing Multi-paradigm Declarative Programs -- Polynomial Classes of Boolean Formulas for Computing...”
Cover Image
Read Now

20
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... to Transitions: Improving Translation of LTL Formulae to Büchi Automata -- A Compositional Sweep-Line State Space...”