Search alternatives:
foundation » foundations

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... Motion Analysis -- The Nature of Landmarks for Real and Electronic Spaces -- Route Directions...

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Reaction Rules -- Modular Analysis of Dataflow Process Networks -- Software Measurements -- Foundations...

3
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... for Translating a Natural Language Software Specification into Z -- Validation and Verification -- Abstract...

4
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... for Automata Theory -- Analysis of Reactive Systems with n Timers -- Animation of the Generation...

5
by Jones, Huw
Published 2001
Springer London
Table of Contents: ... -- 2 Numbers, Counting and Measuring -- Natural Numbers -- Integers -- Rational Numbers -- Real Numbers...