Lanese, Ivan books & textbook
Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405 (Theoretical Computer Science and General Issues)
Ulidowski, Irek Lanese, Ivan Schultz, Ulrik Pagh Ferreira, Carla
Springer /2020-05-14 Paperback / 252 Pages
isbn-10: 3030473600 / isbn-13: 9783030473600
Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th ... (Programming and Software Engineering)
Springer /2016-06-27 Paperback / 291 Pages
isbn-10: 3319395696 / isbn-13: 9783319395692
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Programming and Software Engineering)
Springer /2015-02-18 Paperback / 395 Pages
isbn-10: 3319153161 / isbn-13: 9783319153162
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings (Theoretical Computer Science and General Issues)
Diaz, Josep Lanese, Ivan Sangiorgi, Davide
Springer /2014-08-01 Paperback / 371 Pages
isbn-10: 3662446014 / isbn-13: 9783662446010
Masthead, Winter 1985
Edward J Campbell Catherine C Weaver Thomas J Olds Eric Newman Marian Anderson Caroline Kennedy Carl Parker Herb Lanese Tom Chamberlain Ivan Belville Robin Weatherly Karen Hisle Cocke Judi Baldwin
Newport News Shipbuilding & Drydock Co. / Paperback / 34 Pages
Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings (Programming and Software Engineering)
Springer /2016-06-30 Paperback / 352 Pages
isbn-10: 3319405772 / isbn-13: 9783319405773
Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings (Programming and Software Engineering)
Springer /2020-07-09 Paperback / 296 Pages
isbn-10: 3030524817 / isbn-13: 9783030524814
