Deutschlands Eliten im Wandel (2006. 537 S. zahlr. Tabellen und Grafiken. 214 mm)
  • 洋書

Deutschlands Eliten im Wandel (2006. 537 S. zahlr. Tabellen und Grafiken. 214 mm)  Paperback

Herausgegeben von Muenkler, Herfried/ Strassenberger, Grit/ Bohlender, Matthias/ Mitarbeit: Andresen, Maike/ Baecker, Dirk/ Bellmann, Johannes/ Beyer, Juergen/ Bluhm, Harald/ Bruch, Ruediger vom

  • ウェブストア価格 ¥11,132(本体¥10,120)
  • CAMPUS VERLAG(2006発売)
  • ポイント 101pt
  • 海外からお取り寄せ(通常6~9週間)
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)

  • ウェブストア価格 ¥18,751(本体¥17,047)
  • Springer Nature Switzerland AG(2020/02発売)
  • ポイント 170pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/05発売)
  • ポイント 104pt
  • 海外取次在庫
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 (Lecture Notes in Computer Science) (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 (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 113pt
  • オンデマンド(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)

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

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 113pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 113pt
  • 海外取次在庫
Voices of Africa - Nigeria : Buch mit digitalen Extras. Inkl. Extras für Smartphone + Tablet (The Bigger Picture) (2019. 184 S. 198 mm)
  • 洋書

Voices of Africa - Nigeria : Buch mit digitalen Extras. Inkl. Extras für Smartphone + Tablet (The Bigger Picture) (2019. 184 S. 198 mm)  Paperback

Herausgegeben von Beyer, Dirk/ Mitarbeit: Abani, Chris/ Achebe, Chinua

  • ウェブストア価格 ¥2,539(本体¥2,309)
  • KLETT SPRACHEN; KLETT SPRACHEN GMBH(2019発売)
  • ポイント 23pt
  • 海外取次在庫