[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Acta Informatica, Volume 54

Refine list

showing all ?? records

Volume 54, Number 1, February 2017

Special Issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015)

Volume 54, Number 2, March 2017

Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015) - Part 2

Volume 54, Number 3, May 2017

Special Issue: Selected Papers from the 26th International Conference on Concurrency Theory (CONCUR 2015) - Part 3

Volume 54, Number 4, June 2017

Volume 54, Number 5, August 2017

Volume 54, Number 6, September 2017

Special Issue: Synthesis - Part 1

Volume 54, Number 7, November 2017

Special Issue: Synthesis - Part 2

Volume 54, Number 8, December 2017

Special issue: The 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)