Globale Wanderungsbewegungen : Beiträge der internationalen Zusammenarbeit zum Umgang mit Flucht und Migration (1. Aufl. 2020)
  • 洋書

Globale Wanderungsbewegungen : Beiträge der internationalen Zusammenarbeit zum Umgang mit Flucht und Migration (1. Aufl. 2020)  Paperback,  言語:GER

Beier, Christoph (EDT)/ Messner, Dirk (EDT)/ Preuß, Hans-Joachim (EDT)

  • Springer VS(2020/04発売)
  • ご注文いただけません
Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, (2013)
  • 洋書

Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, (2013)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Boreale, Michele (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 109pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro (2018)
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro (2018)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 119pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Theoretical Computer Science and General Issues) (2019)
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)/ Kordon, Fabrice (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 119pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Keller, Chantal (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Zufferey, Damien (EDT)

  • ウェブストア価格 ¥19,765(本体¥17,969)
  • Springer Nature Switzerland AG(2020/02発売)
  • ポイント 179pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Pro  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 119pt
  • 海外取次在庫
TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり

TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Beyer, Dirk (EDT)/ Hartmanns, Arnd (EDT)/ Kordon, Fabrice (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 109pt
  • 海外取次在庫
Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings (Lect
  • 洋書

Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings (Lect  Paperback

Beyer, Dirk (EDT)/ Cavalcanti, Ana (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 99pt
  • 海外取次在庫
Forced Displacement and Migration : Approaches and Programmes of International Cooperation
  • 洋書

Forced Displacement and Migration : Approaches and Programmes of International Cooperation  Paperback

Preuß, Hans-Joachim (EDT)/ Beier, Christoph (EDT)/ Messner, Dirk (EDT)

  • ウェブストア価格 ¥37,337(本体¥33,943)
  • Springer(2022/10発売)
  • ポイント 339pt
  • 海外取次在庫
Reactions and Processes (The Handbook of Environmental Chemistry 2 / 2E) (2013. xi, 242 S. XI, 242 p. 8 illus. 235 mm)
  • 洋書

Reactions and Processes (The Handbook of Environmental Chemistry 2 / 2E) (2013. xi, 242 S. XI, 242 p. 8 illus. 235 mm)  Paperback,  言語:ENG

Mitarbeit:Hermens, Joop/ Worobey, B. L./ Wayne, R. P./ Opperhuizen, Antoon/ Sijm, Dirk T.H.M.

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN; SPRINGER(2013発売)
  • ポイント 126pt
  • 海外取次在庫