| Application and theory of petri nets and concurrency : special issue of selected papers from Petri Nets 2022 |
2024 |
volume 190, number 2/4 (2022/2024) |
| Application and Theory of Petri Nets and Concurrency 2019: special issue of selected papers |
2021 |
volume 183, numbers 1/2 (2021) |
| Special issue on Machines, Computations and Universality (MCU2018) |
2021 |
volume 181, numbers 2/3 (2021) |
| Application and Theory of Petri Nets and Concurrency 2020: special issue of selected papers |
2021 |
volume 183, numbers 3/4 (2021) |
| Special issue on the 34th Italian Conference on Computational Logic: CILC 2019 |
2021 |
volume 181, number 1 (2021) |
| Special issue on the 11th International Workshop on Reachability Problems (RP 2017) |
2021 |
volume 178, numbers 1/2 (2021) |
| Concurrency, Specification, and Programming: special issue of selected papers of CS&P 2018 |
2021 |
volume 179, numbers 2 (2021) |
| Special issue: Developments in Language Theory (DLT 2019) |
2021 |
volume 180, number 4 (2021) |
| Non-Classical Models of Automata and Applications IX |
2021 |
volume 180, numbers 1/2 (2021) |
| Special issue of the 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion |
2020 |
volume 174, numbers 3/4 (2020) |
| Special issue on the 26th International Symposium on Logic-Based Program Synthesis and Transformation: LOPSTR 2016 |
2020 |
volume 177, numbers 3/4 (2020) |
| Special issue devoted to the best paper presented at the 32nd Italian Conference on Computational Logic (CILC 2017) |
2020 |
volume 176, numbers 3/4 (2020) |
| Special issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017 |
2020 |
volume 173, number 4 (2020) |
| Special issue on the Working Formal Methods Symposium (FROM 2018) |
2020 |
volume 173, number 2/3 (2020) |
| Special issue: Bio-Inspired Computing: Theories and Applications (BIC-TA 2017) |
2019 |
volume 164, numbers 2/3 (2019) |
| Special issue of selected papers of 17th Central European Conference on Cryptology |
2019 |
volume 169, number 4 (2019) |
| Application and theory of Petri nets and concurrency: special issue of selected papers from Petri Nets 2018 |
2019 |
volume 169, numbers 1/2 (2019) |
| Special issue on the 30th Italian Conference on Computational Logic: CILC 2015 |
2018 |
volume 159, nos. 1/2 (2018) |
| Principles and Practice of Multi-Agent Systems |
2018 |
volume 158, numbers 1-3 (2018) |
| Special issue: an overview of Tomography and Applications |
2017 |
volume 155, number 4 (2017) |
Tag hinzufügen