TITLE

Editors / ISBN / Pages

PUBL_YEAR

PUBLISHER

Cellular Automata and Discrete Complex Systems

(LNCS 10875)

Jan M. Baetens, Martin Kutrib
ISBN: 978 3 319 92674 2
142 pages

2018

SV

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

Recent Trends in Algebraic Development Techniques (LNCS 10644)

Edited by Phillip James, Markus Roggenbach
ISBN: 978 3 319 72043 2
222 pages

2017

SV

Topics in Theoretical Computer Science (LNCS 10608)

Edited by Mohammad Reza Mousavi, Jiří Sgall
ISBN: 978 3 319 68952 4
124 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