Cover Image
Read Now

2
Published 2000
Springer US
“... Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000...”
Cover Image
Read Now

3
by Vukobratovic, Miomir
Published 1989
Springer Berlin Heidelberg
Table of Contents: “...) -- Example 2: “Stanford”Manipulator (Basic Configuration) -- Appendix 8 Dynamics of “ASEA” Mechanism (Basic...”
Cover Image
Read Now

4
Published 2004
Springer Berlin Heidelberg
“...), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003). All but the ?rst...”
Cover Image
Read Now

5
Published 2003
Springer Berlin Heidelberg
“... every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford...”
Cover Image
Read Now

6
Published 1999
Springer Berlin Heidelberg
“...). In addition, it is our pleasure to feature two invited talks, given by Professor J. Ullman of Stanford...”
Cover Image
Read Now

7
by Anlauff, Heidi, Böttcher, Axel, Ruckert, Martin
Published 2002
Springer Berlin Heidelberg
“... Donald E. Knuth (Stanford University) in seinem weltweit anerkannten Standardwerk "The Art of Computer...”
Cover Image
Read Now

8
by Holt, A.
Published 1997
Springer Netherlands
“...: practice guides the theory, and the theory is grounded in its application.' Terry Winograd, Stanford...”
Cover Image
Read Now

9
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... for flexible tool management -- STeP: The Stanford Temporal Prover -- The HOL-UNITY verification system...”