Search alternatives:
languages » language
automata » automatic
Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... for temporal databases -- Towards a unifying logic formalism for semantic data models -- Knowledge-based...”
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Formalizing Liveness-Enriched Sequence Diagrams Using ASMs -- Specification and Validation of the Business...”
Cover Image
Read Now

3
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Comparison of Two Approaches to Safety Analysis Based on Use Cases -- Using Unified Modeling Language...”
Cover Image
Read Now

4
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... -- Mathematical foundations of semantic networks theory -- Functional dependencies and the semilattice of closed...”
Cover Image
Read Now

5
Published 2011
Springer Berlin Heidelberg
Subjects: “...Formal Languages and Automata Theory...”