Ivan Lanese – författare
Visar alla böcker från författaren Ivan Lanese. Handla med fri frakt och snabb leverans.
11 produkter
Reversible Computation: Extending Horizons of Computing
Selected Results of the COST Action IC1405
Av Irek Ulidowski, Ivan Lanese m. fl.
Häftad, 2020
455 kr
Lägg i varukorg
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May …
Reversible Computation
12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
Av Ivan Lanese, Mariusz Rawski
Häftad, 2020
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following …
Reversible Computation
12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings
Av Mariusz Rawski, Ivan Lanese
E-bok, 2020
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following …
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, 2015
567 kr
Lägg i varukorg
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in …
Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Av Eric Madelaine, Ivan Lanese
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in …
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
Häftad, 2016
567 kr
Lägg i varukorg
This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as part of the 11th International Federated Conference onDistributed Computing …
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
E-bok, 2016
732 kr
Lägg i varukorg
This book constitutes the proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing …
Reversible Computation
8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Häftad, 2016
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in …
Reversible Computation
8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
E-bok, 2016
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in …
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, 2014
551 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014.The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. [Suggestion--please check …
Theoretical Computer Science
8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Av Davide Sangiorgi, Ivan Lanese m. fl.
E-bok, 2014
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014.The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. [Suggestion--please check …
