From Data to Models and Back : 11th International Symposium, DataMod 2023, Eindhoven, the Netherlands, November 6-7, 2023, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

From Data to Models and Back : 11th International Symposium, DataMod 2023, Eindhoven, the Netherlands, November 6-7, 2023, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Broccia, Giovanna (EDT)/ Cerone, Antonio (EDT)

  • Springer International Publishing AG(2025/04発売)
  • ご注文いただけません
Formal Methods for Software Engineering : Languages, Methods, Application Domains (Texts in Theoretical Computer Science. an Eatcs Series)
  • 洋書

Formal Methods for Software Engineering : Languages, Methods, Application Domains (Texts in Theoretical Computer Science. an Eatcs Series)  Paperback

Roggenbach, Markus/ Cerone, Antonio/ Schlingloff, Bernd-Holger

  • ウェブストア価格 ¥12,415(本体¥11,287)
  • Springer Nature Switzerland AG(2023/06発売)
  • ポイント 112pt
  • 海外取次在庫
Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures (Lecture Notes in Computer Science)
  • 洋書

Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures (Lecture Notes in Computer Science)  Paperback

Cerone, Antonio (EDT)

  • ウェブストア価格 ¥12,415(本体¥11,287)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 112pt
  • 海外取次在庫
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Autili, Marco (EDT)/ Bucaioni, Alessio (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 103pt
  • 海外取次在庫
Formal Methods - Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書

Formal Methods - Fun for Everybody : First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Roggenbach, Markus (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 103pt
  • 海外取次在庫
Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Ölveczky, Peter Csaba (EDT)

  • ウェブストア価格 ¥17,590(本体¥15,991)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 159pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

de Boer, Frank (EDT)/ Cerone, Antonio (EDT)

  • ウェブストア価格 ¥12,415(本体¥11,287)
  • Springer Nature Switzerland AG(2020/09発売)
  • ポイント 112pt
  • 海外取次在庫
Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers (Programming and Software Engineering)  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Roveri, Marco (EDT)

  • Springer International Publishing AG(2018/02発売)
  • ご注文いただけません
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability : SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1-2, 2012 Revised Selected Papers (Programming and Software
  • 洋書

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability : SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1-2, 2012 Revised Selected Papers (Programming and Software  Paperback,  言語:ENG

Cerone, Antonio (EDT)/ Persico, Donatella (EDT)/ Fernandes, Sara (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/03発売)
  • ポイント 103pt
  • 海外取次在庫
Theoretical Aspects of Computing -- ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6916) (2011. XII, 264 S. 235 mm)
  • 洋書

Theoretical Aspects of Computing -- ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6916) (2011. XII, 264 S. 235 mm)  Paperback

Herausgegeben von Cerone, Antonio/ Pihlajasaari, Pekka

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫