| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| 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 · Egon B??rger · Michael M. Richter |
| Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, ... Notes in Computer Science , Band 5213) | 978-3-540-87530-7 | 2008 | Michael Kaminski |
| Fondamenti di informatica: 2 | 978-88-08-04437-2 | 2007 | Giusella Finocchiaro · Luciano Margara · Paolo Ciarciarini |
| Linguaggi di programmazione. Principi e paradigmi | 978-88-386-6573-8 | 2011 | Maurizio Gabbrielli |
McGraw-Hill Education · Springer · Zanichelli