Lebenslang lernen können : Gesellschaftliche Transformationen als Herausforderung für Bildung und Weiterbildung (2020. 255 S. 24 cm)
  • 洋書

Lebenslang lernen können : Gesellschaftliche Transformationen als Herausforderung für Bildung und Weiterbildung (2020. 255 S. 24 cm)  Paperback

Herausgegeben:Schmidt-Hertha, Bernhard/ Hillmert, Steffen/ Haberzeth, Erik

  • ウェブストア価格 ¥11,814(本体¥10,740)
  • WBV MEDIA; WBV PUBLIKATION(2020発売)
  • ポイント 107pt
  • 海外からお取り寄せ(通常6~9週間)
Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia : Geology and Metallogeny of Pollucite Mineralisations (Springerbriefs in World Mineral Deposits)
  • 洋書
  • 電子版あり

Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia : Geology and Metallogeny of Pollucite Mineralisations (Springerbriefs in World Mineral Deposits)  Paperback

Dittrich, Thomas/ Seifert, Thomas/ Schulz, Bernhard

  • ウェブストア価格 ¥5,628(本体¥5,117)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 51pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 112pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Dunkelkammer, 1 Audio-CD, 1 MP3 : Ein Bronski-Krimi. 434 Min.. Lesung.Ungekürzte Ausgabe (Ein Bronski Krimi 1)
  • 洋書

Dunkelkammer, 1 Audio-CD, 1 MP3 : Ein Bronski-Krimi. 434 Min.. Lesung.Ungekürzte Ausgabe (Ein Bronski Krimi 1)

Aichner, Bernhard/Gesprochen:Lukas, Florian/Aljinovic, Boris

  • DHV DER HÖRVERLAG(2021発売)
  • ご注文いただけません
Europäisches Zivilprozess- und Kollisionsrecht EuZPR/EuIPR, Band II-II : Die neue EU-Zustellungsverordnung (Europäisches Zivilprozess- und Kollisionsrecht EuZPR/EuIPR, Band II) (5. Aufl. 2023. 542 S. 240 mm)
  • 洋書

Europäisches Zivilprozess- und Kollisionsrecht EuZPR/EuIPR, Band II-II : Die neue EU-Zustellungsverordnung (Europäisches Zivilprozess- und Kollisionsrecht EuZPR/EuIPR, Band II) (5. Aufl. 2023. 542 S. 240 mm)  Hardcover

Herausgegeben:Rauscher, Thomas/Mitarbeit:Pabst, Steffen/ Ulrici, Bernhard/ Rauscher

  • SCHMIDT (OTTO), KÖLN(2023発売)
  • ご注文いただけません
Jahrbuch der Deutschen Schillergesellschaft. Band 61 2017 (Jahrbuch der Deutschen Schillergesellschaft Band 61) (2017. VII, 577 S. 2 b/w graphics)
  • 洋書

Jahrbuch der Deutschen Schillergesellschaft. Band 61 2017 (Jahrbuch der Deutschen Schillergesellschaft Band 61) (2017. VII, 577 S. 2 b/w graphics)

Martini, Fritz/ Herausgegeben:Zeller, Bernhard/ Mueller-Seidel, Walter/ Martini, Fritz/ Herausgegeben:Honold, Alexander/ Lubkoll, Christine/ Martus, Steffen/ Raulff, Ulrich/ Richter, Sandra

  • ウェブストア価格 ¥10,511(本体¥9,556)
  • DE GRUYTER(2017発売)
  • ポイント 95pt
  • 海外取次在庫
The Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science) (2025)
  • 洋書
  • 電子版あり

The Combined Power of Research, Education, and Dissemination : Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday (Lecture Notes in Computer Science) (2025)  Paperback,  言語:ENG

Hinchey, Mike (EDT)/ Steffen, Bernhard (EDT)

  • Springer International Publishing AG(2024/10発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 112pt
  • 海外取次在庫
Kleine Welten : Ländliche Gesellschaften im Karolingerreich (Vorträge und Forschungen 87) (2019. 432 S. 240 mm)
  • 洋書

Kleine Welten : Ländliche Gesellschaften im Karolingerreich (Vorträge und Forschungen 87) (2019. 432 S. 240 mm)  言語:GER

Herausgegeben von Kohl, Thomas/ Patzold, Steffen/ Zeller, Bernhard

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • THORBECKE(2019発売)
  • ポイント 119pt
  • 海外からお取り寄せ(通常6~9週間)
Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 112pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer Nature Switzerland AG(2018/10発売)
  • ポイント 112pt
  • 海外取次在庫
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,513(本体¥12,285)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 122pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV (Theoretical Co
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV (Theoretical Co  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 112pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I (Lecture Notes in Computer Scien (2024)
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I (Lecture Notes in Computer Scien (2024)  Paperback

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥18,529(本体¥16,845)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 168pt
  • 海外からお取り寄せ(通常6~9週間)
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (Lecture Notes in Computer Science") 〈1523〉
  • 洋書
  • 電子版あり

Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (Lecture Notes in Computer Science") 〈1523〉  Paperback

Graf, Susanne(EDT)/ Pettersson, Paul(EDT)/ Steffen, Bernhard(EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer(2024/10発売)
  • ポイント 112pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II (Lecture Notes in Compute (2024)
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II (Lecture Notes in Compute (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,892(本体¥15,357)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 153pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥18,019(本体¥16,381)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 163pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,892(本体¥15,357)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 153pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 112pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I (Theoreti
  • 洋書
  • 電子版あり

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I (Theoreti  Paperback,  言語:ENG

Margaria, Tiziana (EDT)/ Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥22,524(本体¥20,477)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 204pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。