TITLE

Editors / ISBN / Pages

PUBL_YEAR

PUBLISHER

Cellular Automata and Discrete Complex Systems (LNCS 10248)

Edited by Alberto Dennunzio, Enrico Formenti, Luca Manzoni,Antonio E. Porreca
ISBN: 978 3 319 58630 4
199 pages

2017

SV

Descriptional Complexity of Formal Systems (LNCS 10316)

Edited by Giovanni Pighizzini, Cezar Câmpeanu

ISBN: 978 3 319 60251 6

310 pages

2017

SV

Cellular Automata and Discrete Complex Systems (LNCS 9664)

Edited by Matthew Cook, Turlough Neary

ISBN: 978 3 319 39299 8

198 pages

2016

SV

Coalgebraic Methods in Computer Science (LNCS 9608)

Edited by Ichiro Hasuo
ISBN: 978 3 319 40369 4
234 pages

2016

SV

Descriptional Complexity of Formal Systems (LNCS 9777)

Edited by Cezar Campeanu, Florin Manea, Jeffrey Shallit
ISBN: 978 3 319 41113 2
216 pages

2016

SV

Cellular Automata and Discrete Complex Systems (LNCS 9099)

Edited by Jarkko Kari
ISBN: 978 3 662 47220 0

262 pages

2015

SV

Topics in Theoretical Computer Science (LNCS 9541)

Edited by Mohammad Taghi Hajiaghayi, Mohammad Reza Mousavi
ISBN: 978 3 319 28677 8

178 pages

2015

SV

Coalgebraic Methods in Computer Science (LNCS 8446)

Edited by Marcello M. Bonsangue

ISBN: 978 3 662 44123 7

245 pages

2014

SV

Theoretical Computer Science (LNCS 8705)

Edited by Josep Diaz, Ivan Lanese, Davide Sangiorgi

ISBN: 978 3 662 44601 0

354 pages

2014

SV

Coalgebraic Methods in Computer Science (LNCS 7399)

Edited BY Dirk Pattinson, Lutz Schröder
ISBN: 978 3 642 32783 4
258 pages

2012

SV

Theoretical Computer Science (LNCS 7604)

Edited by Jos C.M. Baeten, Tom Ball, Frank S.de Boer
ISBN: 978 3 642 33474 0
387 pages

2012

SV

Theoretical Computer Science (AICT 323)

Edited by Cristian S. Calude, Vladimiro Sassone
ISBN: 978 3 642 15239 9
385 pages

2010

SV

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

2000

Kluwer

Theoretical Computer Science
Exploring New Frontiers of Theoretical Informatics (LNCS 1872)

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