12 results
Type of media (2)
Availability (2)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
12 results

Your search for Ivan Lanese

  1. Cover: Reversible Computation - Springer
    Ivan Lanese | Mariusz Rawski
    Reversible Computation
    12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
    07/2020
    Springer
    9783030524821 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Theoretical Computer Science - Springer
    Josep Diaz | Ivan Lanese | Davide Sangiorgi
    Theoretical Computer Science
    8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
    08/2014
    Springer
    9783662446027 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Formal Aspects of Component Software - Springer
    Ivan Lanese | Eric Madelaine
    Formal Aspects of Component Software
    11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
    01/2015
    Springer
    9783319153179 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Formal Techniques for Distributed Objects, Components, and Systems - Springer
    Elvira Albert | Ivan Lanese
    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
    05/2016
    Springer
    9783319395708 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Reversible Computation - Springer
    Simon Devitt | Ivan Lanese
    Reversible Computation
    8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
    06/2016
    Springer
    9783319405780 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Reversible Computation: Extending Horizons of Computing - Springer
    Irek Ulidowski | Ivan Lanese | Ulrik Pagh Schultz
    Reversible Computation: Extending Horizons of Computing
    Selected Results of the COST Action IC1405
    05/2020
    Springer
    9783030473600 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  7. Cover: Reversible Computation - Springer
    Ivan Lanese | Mariusz Rawski
    Reversible Computation
    12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
    07/2020
    Springer
    9783030524814 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: Theoretical Computer Science - Springer
    Josep Diaz | Ivan Lanese | Davide Sangiorgi
    Theoretical Computer Science
    8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
    08/2014
    Springer
    9783662446010 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Formal Aspects of Component Software - Springer
    Ivan Lanese | Eric Madelaine
    Formal Aspects of Component Software
    11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
    02/2015
    Springer
    9783319153162 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  10. Cover: Formal Techniques for Distributed Objects, Components, and Systems - Springer
    Elvira Albert | Ivan Lanese
    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
    06/2016
    Springer
    9783319395692 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Reversible Computation - Springer
    Simon Devitt | Ivan Lanese
    Reversible Computation
    8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
    06/2016
    Springer
    9783319405773 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  12. Cover: Theoretical Computer Science - Springer
    Josep Diaz | Ivan Lanese | Davide Sangiorgi
    Theoretical Computer Science
    8th Ifip Tc 1/Wg 2.2 International Conference, Tcs 2014, Rome, Italy, September 1-3, 2014. Proceedings
    08/2014
    Springer
    9783662446034 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available