|
СБ |
Reversible Computation: Proc./12th International Conference, RC 2020, Oslo, Norway, July 2020 |
2020 |
|
Lecture Notes in Computer Science |
- Lanese I.
- Rawski M.
|
|
20926 |
18.08.2020 |
|
СБ |
Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405 |
2020 |
|
Lecture Notes in Computer Science |
- Ulidowski I.
- Lanese I.
- Schultz U. P.
- Ferreira C.
|
|
|
18.06.2020 |
|
СБ |
Reversible Computation: Proc./8th International Conference, RC 2016, Bologna, Italy, July 2016 |
2016 |
|
Lecture Notes in Computer Science |
- Devitt S.
- Lanese I.
|
|
|
02.08.2016 |
|
СБ |
Formal Techniques for Distributed Objects, Components, and Systems: Proc./36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference, DisCoTec 2016, Heraklion, Crete, Greece, June 2016 |
2016 |
|
Lecture Notes in Computer Science |
- Albert E.
- Lanese I.
|
|
|
02.08.2016 |
|
СБ |
Formal Aspects of Component Software: Revised Selected Papers/11th International Symposium, FACS 2014, Bertinoro, Italy, September 2014 |
2015 |
|
Lecture Notes in Computer Science |
- Lanese I.
- Madelaine E.
|
|
|
07.04.2015 |
|
СБ |
Theoretical Computer Science: Proc./8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 2014 |
2014 |
|
Lecture Notes in Computer Science |
- Diaz J.
- Lanese I.
- Sangiorgi D.
|
|
|
23.09.2014 |
