Search alternatives:
national science » natural science, spatial science, educational sciences

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 1995
Springer Berlin Heidelberg
Table of Contents: ... -- Generating editors for direct manipulation of diagrams -- Animating widgets in the interViews toolkit...

5
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... to the Embedded CORBA for the CAN Bus Systems -- A Real-Time Animator for Hybrid Systems -- Hardware -- Reordering...

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

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

8
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Scheme for Mobile Communication -- Hierarchical Simulation Model with Animation for Large Network...