STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Ivan Lanese | lit.salon
Ivan Lanese
No biography is available for this author yet.
Books by Ivan Lanese
+ shelf
+ list
Theoretical Computer Science 8th IFIP TC 1/WG 2. 2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
2014
Josep Diaz, Ivan Lanese, Davide Sangiorgi
+ shelf
+ list
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
2015
Ivan Lanese, Eric Madelaine
+ shelf
+ list
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6. 1 International Conference, FORTE 2016, Held As Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
2016
Elvira Albert, Ivan Lanese
+ shelf
+ list
Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
2016
Simon Devitt, Ivan Lanese
