Coordination Models and Languages : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedi
  • 洋書

Coordination Models and Languages : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedi  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Sirjani, Marjan (EDT)

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer International Publishing AG(2022/07発売)
  • ポイント 246pt
  • 海外取次在庫
Coordination Models and Languages (Lecture Notes in Computer Science 13271) (1st ed. 2022. 2022. Approx. 220 p. 235 mm)
  • 洋書

Coordination Models and Languages (Lecture Notes in Computer Science 13271) (1st ed. 2022. 2022. Approx. 220 p. 235 mm)  Hardcover

Herausgegeben:ter Beek, Maurice H./ Sirjani, Marjan

  • ウェブストア価格 ¥17,301(本体¥15,729)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2022発売)
  • ポイント 157pt
  • 海外からお取り寄せ(通常6~9週間)
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

ter Beek, Maurice H. (EDT)/ Monahan, Rosemary (EDT)

  • ウェブストア価格 ¥18,140(本体¥16,491)
  • Springer International Publishing AG(2022/06発売)
  • ポイント 164pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Programming and Software Engineering)
  • 洋書

Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Programming and Software Engineering)  Paperback

ter Beek, Maurice H. (EDT)/ Ničković, Dejan (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 104pt
  • 海外取次在庫
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Fantechi, Alessandro (EDT)/ Semini, Laura (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • 海外取次在庫
Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Formal Methods - the Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ McIver, Annabelle (EDT)/ Oliveira, José N. (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Andrea Jürgens - "Ruhrpottkind", 1 Audio-CD (Digipak-Version) : Ein Hörbuch über die letzten Jahre (2010 - 2017) einer der beliebtesten Schlagersängerinnen Deutschlands (Digipak-Version). 52 Min.. CD Standard Audio Format.Lesung (Erstauflage. 2017. 1 S. 140 x 127 mm)
  • 洋書
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, I
  • 洋書
  • 電子版あり

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, I  Paperback

ter Beek, Maurice H. (EDT)/ Gnesi, Stefania (EDT)/ Knapp, Alexander (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Programming and Software Engineering) (2013)
  • 洋書

Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

ter Beek, Maurice H. (EDT)/ Lohmann, Niels (EDT)

  • ウェブストア価格 ¥10,417(本体¥9,470)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/04発売)
  • ポイント 94pt
  • 海外取次在庫
Union and Communion with Christ
  • 洋書

Union and Communion with Christ  Paperback,  言語:ENG

Roberts, Maurice/ Beeke, Joel R. (FRW)

  • Reformation Heritage Books(2008/08発売)
  • ご注文いただけません