T.T. · Tadao Tsuge · Toyoda Takeshi
Springer · VDM Verlag Dr. Müller
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Algorithms and Computation: 12th International Symposium, ISAAC 2001 Christchurch, New Zealand, December 19-21, 2001 Proceedings | 978-3-540-42985-2 (3-540-42985-9) | 2009 | Peter Eades |
| History Variables: The Semantics, Formal Correctness, and Implementation of History Variables in an Imperative Programming Language | 978-3-639-02190-5 (3-639-02190-8) | 2008 | Ryan Mallon |