TITLE	Editors / ISBN / Pages	PUBL_YEAR	PUBLISHER
Fifth IFIP International Conference on Theoretical Computer Science – TCS 2008	Edited by Giorgio Ausiello, Juhani Karhumaeki, Giancarlo Mauri, Luke Ong ISBN: 978 0 387 09679 7 553 pages	2008	SV
Fourth IFIP International Conference on Theoretical Computer Science-TCS 2006	Edited by Gonzalo Navarro, Leopoldo Bertossi, Yoshiharu Kohayakawa ISBN: 0 387 34633 3 313 pages	2006	SV
Formal Aspects in Security and Trust	Edited by Theo Dimitrakos, Fabio Martinelli ISBN: 0 387 24050 0 246 pages	2005	SSBM
CASL Reference Manual	Edited by Peter D. Mosses ISBN: 3 540 21301 5 528 pages	2004	SSBM
CASL User Manual	Edited by Michel Bidoit, Peter D. Mosses ISBN: 3 540 20766 X 240 pages	2004	SSBM
Foundations of Information Technology in the Era of Network and Mobile Computing	Edited by Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro ISBN: 1 4020 7181 7 612 pages	2002	Kluwer
Theoretical Computer Science Exploring New Frontiers of Theoretical Informatics	Edited by Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito ISBN: 3 540 67823 9 630 pages	2000	SV
Algebraic Foundations of Systems Specification	Edited by E. Astesiano, H-J. Kreowski, B. Krieg-Brueckner ISBN: 3 540 63772 9 562 pages	1999	SV