Cover Image
Read Now

1
by Kröger, Fred
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... ?TP -- 10. The Principle of Well-Founded Orderings -- 11. Additional Propositional Variables -- IV...”
Cover Image
Read Now

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... analysis techniques for stochastic well-formed nets and stochastic process algebras -- Modelling...”
Cover Image
Read Now

3
Published 1990
Springer New York
Table of Contents: “... -- On cylindric algebraic model theory -- Dynamic algebras as a well-behaved fragment of relation algebras -- All...”
Cover Image
Read Now

4
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... which are well balanced -- Construction of unequal error protection codes -- Unidirectional error...”
Cover Image
Read Now

5
Published 2001
Birkhäuser
Table of Contents: “... representations and uniqueness sets for star-invariant subspaces -- Well-posed linear systems, Lax—Phillips...”
Cover Image
Read Now

6
by Kolditz, Olaf
Published 2002
Springer Berlin Heidelberg
“..., and coastal regions or in the subsurface as well as in the atmosphere. Mechanics of environmental fluids...”
Cover Image
Read Now

7
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Unfolding parametric automata -- Fundamental structures in Well-Structured infinite Transition Systems...”
Cover Image
Read Now

8
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... in Orthogonal Expression Reduction Systems -- The notion of rank and games -- A predicate logic of well-founded...”
Cover Image
Read Now

9
by Sutcliffe, Alistair
Published 2002
Springer London
“...If you have picked up this book and are browsing the Preface, you may well be asking yourself"What...”
Cover Image
Read Now

10
by Habel, Annegret
Published 1992
Springer Berlin Heidelberg
“...The area of graph grammars is theoretically attractive and well motivated byvarious applications...”
Cover Image
Read Now

11
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... Broadcasting Systems -- Symbolic timing devices.-An algebraic construction of the well-founded model...”
Cover Image
Read Now

12
by Vazirani, Vijay V.
Published 2003
Springer Berlin Heidelberg
“... developments in techniques for designing approximation algorithms as well as methods for proving hardness...”
Cover Image
Read Now

13
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... algorithms for convex hull and triangulation in 3-dimensional space -- Two simple characterizations of well...”
Cover Image
Read Now

14
by Berg, Mark de, Kreveld, Marc van, Overmars, Mark, Schwarzkopf, Otfried
Published 1997
Springer Berlin Heidelberg
“... and low-level graduate courses. The focus is on algorithms and hence the book is well suited for students...”
Cover Image
Read Now

15
Published 2004
Springer Berlin Heidelberg
“...–28 May 2004. This v- ume includes all 15 papers presented at the workshop, as well as two abstracts...”
Cover Image
Read Now

16
by Wu, Wen-tsün
Published 1994
Springer Vienna
Table of Contents: “... Factorization of polynomials -- 4.3 Well-ordering of polynomial sets -- 4.4 A constructive theory of algebraic...”
Cover Image
Read Now

17
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... forms in time O(n log n) -- A decision procedure for well-formed linear quantum cellular automata...”
Cover Image
Read Now

18
Published 2003
Springer Berlin Heidelberg
“...This volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers...”
Cover Image
Read Now

19
Published 1997
Springer Berlin Heidelberg
“...; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well...”
Cover Image
Read Now

20
by Paun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto
Published 1998
Springer Berlin Heidelberg
“... theory of DNA computing. Apart from being well-known scientists, all three authors are known...”