Cover Image
Read Now

21
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...13. On Well-Formed Coloured Nets and Their Symbolic Reachability Graph -- Section F: Analysis...”
Cover Image
Read Now

22
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... -- Computing the well-founded semantics for constraint extensions of datalog? -- Decomposition and lossless...”
Cover Image
Read Now

23
Published 2003
Springer Berlin Heidelberg
Table of Contents: “..., Is Software Development? -- From Formal Techniques to Well-Founded Software Development Methods -- Towards...”
Cover Image
Read Now

24
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... constraints for modularisation -- How well do inheritance mechanisms support inheritance concepts...”
Cover Image
Read Now

25
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... of Independence Polynomials of Some Well-Covered Trees -- A Coloring Algorithm for Finding Connected Guards in Art...”
Cover Image
Read Now

26
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... operations for nested relations by rules and partial orders -- On the relationship between well-founded...”
Cover Image
Read Now

27
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- Well founded semantics and stable semantics of semi-strict programs -- On finding extensions of default...”
Cover Image
Read Now

28
Published 1975
Springer Netherlands
Table of Contents: “... of Totally Unimodular, Balanced and Perfect Matrices -- Some Well-Solved Problems in Combinatorial...”
Cover Image
Read Now

29
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... with negation -- Selection of views to materialize in a data warehouse -- Total and partial well-founded Datalog...”
Cover Image
Read Now

30
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... machine specifications of the steam boiler control to well documented executable code -- An algebraic...”
Cover Image
Read Now

31
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Automata Systems: Computational Power -- On Well Quasi-orders on Languages -- Frequency of Symbol...”
Cover Image
Read Now

32
Published 1998
Springer Berlin Heidelberg
“... as well as four invited contributions. The B method is enjoying rapidly increasing popularity...”
Cover Image
Read Now

33
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of Regions -- Well-Typed Logic Programs Are not Wrong -- Program Analysis and Transformation -- A Framework...”
Cover Image
Read Now

34
Published 2002
Springer Netherlands
Table of Contents: “... Reconciliation in Mediators of Heterogeneous Information Collections Applying Well-Structured Context...”
Cover Image
Read Now

35
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... with witnesses -- Voting and relocation strategies preserving consistency among replicated files -- Well...”
Cover Image
Read Now

36
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Well-behaved search and the Robbins problem -- Goal-Directed Completion using SOUR Graphs...”
Cover Image
Read Now

37
by Lano, Kevin
Published 1996
Springer London
Table of Contents: “... and Feasibility -- B.2 Set-theoretic Semantics -- B.3 Refinement -- B.4 Well-formedness Obligations -- B.5 Normal...”
Cover Image
Read Now

38
by Aliev, Telman
Published 2003
Springer US
Table of Contents: “... -- 8.5 Robust Information System for Early Detection and Diagnostics of Failures in Drilling Oil Wells...”
Cover Image
Read Now

39
Published 1997
Springer US
“... science, environmental planning, ecology and related subjects. As well as being an interdisciplinary area...”
Cover Image
Read Now

40
Published 1997
Springer US
“... assessment and control of numerical software is still not well understood. Although measurement is a key...”