Browse by Volume

23rd International Conference on Concurrency Theory (CONCUR 2012) (8 articles)

2012

Editors: Irek Ulidowski, Maciej Koutny


Selected papers of the conference ''Tools and Algorithms for the Construction and Analysis of Systems'': TACAS 2012 (4 articles)

2012

Editors: Cormac Flanagan, Barbara König


Special Issue for the Conference on Computer Science Logic (CSL) 2012 (7 articles)

2012

Editor: Arnaud Durand


Selected Papers of the Ninth International Conference on Computability and Complexity in Analysis (CCA) 2012 (7 articles)

2012

Editors: Klaus Weihrauch, Arno Pauly, Martín Escardó, Matthias Schröder


Selected papers of the ''Turing Centenary Conference: CiE 2012'' (7 articles)

2012

Editors: Arnold Beckmann, Anuj Dawar


Selected Papers of the "10th International Conference on Quantitative Evaluation of SysTems (QEST 2013)" (5 articles)

2013

Editor: Markus Siegle


Selected Papers of the "24th International Conference on Concurrency Theory" CONCUR 2013 (5 articles)

2013

Editors: Pedro R. D'Argenio, Davide Sangiorgi, Hernán Melgratti


Selected Papers of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013) (7 articles)

2013

Editors: Stefan Milius, Reiko Heckel


20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014) (7 articles)

2014

Editors: Erika Abraham, Klaus Havelund


Special Issue on "Domain Theory and its Applications" (1 articles)

Editors: Aoife Hennessy and Michel Schellekens