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

AvIrek 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

AvIvan Lanese,Mariusz Rawski

Häftad, Engelska, 2020

719 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

AvIvan Lanese,Eric Madelaine

Häftad, Engelska, 2015

719 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

AvElvira Albert,Ivan Lanese

Häftad, Engelska, 2016

719 kr

Skickas inom 10-15 vardagar

Reversible Computation

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

AvSimon Devitt,Ivan Lanese

Häftad, Engelska, 2016

699 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

AvJosep Diaz,Ivan Lanese m. fl.

Häftad, Engelska, 2014

699 kr

Skickas inom 10-15 vardagar