| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Editorial Board
|
|
|
|
218 |
C |
p.
|
artikel
|
| 2 |
High-level axioms for graphical linear algebra
|
Paixão, João
|
|
|
218 |
C |
p.
|
artikel
|
| 3 |
Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems
|
Perkowski, Marek
|
|
|
218 |
C |
p.
|
artikel
|
| 4 |
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020)
|
Lanese, Ivan
|
|
|
218 |
C |
p.
|
artikel
|
| 5 |
Preface – Special Issue on selected and extended papers from FACS 2019
|
Jongmans, Sung-Shik
|
|
|
218 |
C |
p.
|
artikel
|
| 6 |
Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July – 1 August 2019, Guilin, China
|
Méry, Dominique
|
|
|
218 |
C |
p.
|
artikel
|
| 7 |
Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018)
|
Camarão, Carlos
|
|
|
218 |
C |
p.
|
artikel
|
| 8 |
Special issue on selected papers from the 14th International Conference on Formal Aspects of Component Software (FACS 2017)
|
Proença, José
|
|
|
218 |
C |
p.
|
artikel
|
| 9 |
Special Issue on Software Health of Software Ecosystems
|
Constantinou, Eleni
|
|
|
218 |
C |
p.
|
artikel
|
| 10 |
Studying the commonalities, mappings and relationships between non-functional requirements using machine learning
|
Alashqar, Abdelkareem M.
|
|
|
218 |
C |
p.
|
artikel
|
| 11 |
Verified synthesis of optimal safety controllers for human-robot collaboration
|
Gleirscher, Mario
|
|
|
218 |
C |
p.
|
artikel
|
Tijdschrift beschrijving