Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
formal language » formal languages

1
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... of the Evolution of Software Systems -- HEDES: A System Theory Based Tool to Support Evolutionary Software Systems...

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... systems -- A logical approach to system construction -- Task management system -- Toward a unified theory...

3
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... problems -- A computation theory for orientation-selective simple cells based on the MAP estimation...