Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers: 8997 (Lecture Notes in Computer Science)
by Ivan Lanese,Eric Madelaine
ISBN 13: 9783319153162
Format: Paperback (396 pages) Publisher: Springer Published: 28 Feb 2015
Save for later
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings: 8705 (Lecture Notes in Computer Science)
by Josep Diaz,Ivan Lanese,Davide Sangiorgi
ISBN 13: 9783662446010
Format: Paperback (372 pages) Publisher: Springer Published: 01 Aug 2014
Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405: 12070 (Lecture Notes in Computer Science)
by Irek Ulidowski,Ivan Lanese,Ulrik Pagh Schultz,Carla Ferreira
ISBN 13: 9783030473600
Format: Paperback (252 pages) Publisher: Springer Published: 14 May 2020
Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings: 12227 (Lecture Notes in Computer Science)
by Ivan Lanese, Mariusz Rawski
ISBN 13: 9783030524814
Format: Paperback (296 pages) Publisher: Springer Published: 09 Jul 2020