Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 (Theoretical Computer Science and General Issues)
  • 洋書

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Ulidowski, Irek (EDT)/ Lanese, Ivan (EDT)/ Schultz, Ulrik Pagh (EDT)

  • ウェブストア価格 ¥10,205(本体¥9,278)
  • Springer Nature Switzerland AG(2020/05発売)
  • ポイント 92pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Reversible Computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Reversible Computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings (Programming and Software Engineering)  Paperback

Lanese, Ivan (EDT)/ Rawski, Mariusz (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2020/07発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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, Cre
  • 洋書

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, Cre  Paperback

Albert, Elvira (EDT)/ Lanese, Ivan (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings (Programming and Software Engineering)
  • 洋書

Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings (Programming and Software Engineering)  Paperback

Devitt, Simon (EDT)/ Lanese, Ivan (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Programming and Software Engineering) (2015)
  • 洋書
  • 電子版あり

Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Programming and Software Engineering) (2015)  Paperback,  言語:ENG

Lanese, Ivan (EDT)/ Madelaine, Eric (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2015/02発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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) (2014)
  • 洋書

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) (2014)  Paperback

Diaz, Josep (EDT)/ Lanese, Ivan (EDT)/ Sangiorgi, Davide (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/08発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。