| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings ... Notes in Computer Science , Band 2589) | 978-3-540-00624-4 | 2008 | Angelo Gargantini · Elvinia Riccobene |
| Computation Theory and Logic | 978-3-540-18170-5 | 2008 |
| Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings | 978-3-540-54487-6 | 2008 | Hans Kleine B??ning · Wolfgang Sch??nfeld · Michael M. Richter |
| Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings | 978-3-540-55789-0 | 2008 | Gerhard J??ger · Hans Kleine B??ning · Michael M. Richter |
| Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers | 978-3-540-56992-3 | 2008 | Gerhard J??ger · Hans Kleine B??ning · Simone Martini · Michael M. Richter |
| Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers | 978-3-540-58277-9 | 2008 | Yuri Gurevich · Karl Meinke |
| CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings | 978-3-540-50241-8 | 2008 | Hans Kleine B??ning · Michael M. Richter |
| CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings | 978-3-540-51659-0 | 2008 | Hans Kleine B??ning · Michael M. Richter |
| CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings | 978-3-540-52753-4 | 2008 | Hans Kleine B??ning · Michael M. Richter |