Hoppa till sidans huvudinnehåll

Ivan Lanese - Böcker

Visar alla böcker från författaren Ivan Lanese.
6 produkter

Reversible Computation: Extending Horizons of Computing

Selected Results of the COST Action IC1405

Av Irek Ulidowski, Ivan Lanese m. fl

Häftad, Engelska, 2020

579 kr

Skickas inom 10-15 vardagar

Reversible Computation

12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Av Ivan Lanese, Mariusz Rawski

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Formal Aspects of Component Software

11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Av Ivan Lanese, Eric Madelaine

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

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

Av Elvira Albert, Ivan Lanese

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Reversible Computation

8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Av Simon Devitt, Ivan Lanese

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar

Theoretical Computer Science

8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

Av Josep Diaz, Ivan Lanese m. fl

Häftad, Engelska, 2014

709 kr

Skickas inom 10-15 vardagar