Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III (Theoretical Compu
  • 洋書

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

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

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II (Theoreti
  • 洋書

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

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

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,013(本体¥11,830)
  • THORBECKE(2019発売)
  • ポイント 118pt
  • 海外からお取り寄せ(通常6~9週間)
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Steffen, Bernhard (EDT)/ Baier, Christel (EDT)/ van den Brand, Mark (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verification, Model Checking, and Abstract Interpretation, VMCAI 2004 : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings (Lecture Notes in Computer Science Vol.2937) (2004. XI, 325 p. 23,5 cm)
  • 洋書
Chemie heute SII - Ausgabe 2016 für Hessen : Einführungsphase Lösungen (Chemie heute SII 3) (2016. 40 S. 297.00 mm)
  • 洋書

Chemie heute SII - Ausgabe 2016 für Hessen : Einführungsphase Lösungen (Chemie heute SII 3) (2016. 40 S. 297.00 mm)

Herausgegeben:Schulte-Coerne, Rolf/ Sieve, Bernhard F./ van Nek, Ralf/ Menze, Steffen

  • ウェブストア価格 ¥4,944(本体¥4,495)
  • WESTERMANN BILDUNGSMEDIEN; SCHROEDEL(2016発売)
  • ポイント 44pt
  • 海外からお取り寄せ(通常6~9週間)
Chemie heute SII - Ausgabe 2016 für Hessen : Einführungsphase Schulbuch (Chemie heute SII 1) (2016. 120 S. m. zahlr. farb. Abb. 266.00 mm)
  • 洋書

Chemie heute SII - Ausgabe 2016 für Hessen : Einführungsphase Schulbuch (Chemie heute SII 1) (2016. 120 S. m. zahlr. farb. Abb. 266.00 mm)  Hardcover

Herausgegeben:Schulte-Coerne, Rolf/ Sieve, Bernhard F./ van Nek, Ralf/ Menze, Steffen

  • ウェブストア価格 ¥6,752(本体¥6,139)
  • WESTERMANN BILDUNGSMEDIEN; SCHROEDEL(2016発売)
  • ポイント 61pt
  • 海外取次在庫
Bridging the Gap between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Bridging the Gap between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback

Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer International Publishing AG(2023/12発売)
  • ポイント 159pt
  • 海外取次在庫
Bridging the Gap between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers (Lecture Notes in Computer Science) (2025)
  • 洋書

Bridging the Gap between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers (Lecture Notes in Computer Science) (2025)  Paperback

Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥30,748(本体¥27,953)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 279pt
  • 海外取次在庫
Bridging the Gap between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings (Lecture Notes in Computer Science) (2025)
  • 洋書
  • 電子版あり

Bridging the Gap between AI and Reality : Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings (Lecture Notes in Computer Science) (2025)  Paperback,  言語:ENG

Steffen, Bernhard (EDT)

  • ウェブストア価格 ¥16,628(本体¥15,117)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 151pt
  • 海外からお取り寄せ(通常6~9週間)
Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings (Theoretical Computer Science and General
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings (Theoretical Computer Science and General  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 159pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Chemie heute SII - Ausgabe 2018 Sachsen : Arbeitsheft 11 (Chemie heute SII 3) (2018. 72 S. 298.00 mm)
  • 洋書

Chemie heute SII - Ausgabe 2018 Sachsen : Arbeitsheft 11 (Chemie heute SII 3) (2018. 72 S. 298.00 mm)

Foerster, Rosemarie/Rieck, Brigitta/ Herausgegeben:Menze, Steffen/ Schulte-Coerne, Rolf/ Sieve, Bernhard F./ van Nek, Ralf

  • ウェブストア価格 ¥2,732(本体¥2,484)
  • WESTERMANN BILDUNGSMEDIEN(2018発売)
  • ポイント 24pt
  • 海外からお取り寄せ(通常6~9週間)
Chemie heute SII - Ausgabe 2018 Sachsen : Schulbuch 12 (Chemie heute SII 10) (2019. 144 S. 266.00 mm)
  • 洋書

Chemie heute SII - Ausgabe 2018 Sachsen : Schulbuch 12 (Chemie heute SII 10) (2019. 144 S. 266.00 mm)  Hardcover

Foerster, Rosemarie/Rieck, Brigitta/ Herausgegeben:Menze, Steffen/ Schulte-Coerne, Rolf/ Sieve, Bernhard F./ van Nek, Ralf

  • ウェブストア価格 ¥7,273(本体¥6,612)
  • WESTERMANN BILDUNGSMEDIEN(2019発売)
  • ポイント 66pt
  • 海外取次在庫
Chemie heute SII - Ausgabe 2018 Sachsen : Schulbuch 11 (Chemie heute SII 1) (2018. 152 S. 267.00 mm)
  • 洋書

Chemie heute SII - Ausgabe 2018 Sachsen : Schulbuch 11 (Chemie heute SII 1) (2018. 152 S. 267.00 mm)  Hardcover

Foerster, Rosemarie/Rieck, Brigitta/ Herausgegeben:Menze, Steffen/ Schulte-Coerne, Rolf/ Sieve, Bernhard F./ van Nek, Ralf

  • ウェブストア価格 ¥7,533(本体¥6,849)
  • WESTERMANN BILDUNGSMEDIEN(2018発売)
  • ポイント 68pt
  • 海外からお取り寄せ(通常6~9週間)
Chemie heute SII - Ausgabe 2018 Sachsen : Lösungen 12 (Chemie heute SII 11) (2019. 64 S. 298.00 mm)
  • 洋書

Chemie heute SII - Ausgabe 2018 Sachsen : Lösungen 12 (Chemie heute SII 11) (2019. 64 S. 298.00 mm)

Foerster, Rosemarie/Rieck, Brigitta/ Herausgegeben:Menze, Steffen/ Schulte-Coerne, Rolf/ Sieve, Bernhard F./ van Nek, Ralf

  • ウェブストア価格 ¥2,471(本体¥2,247)
  • WESTERMANN BILDUNGSMEDIEN(2019発売)
  • ポイント 22pt
  • 海外からお取り寄せ(通常6~9週間)
Chemie heute SII - Ausgabe 2018 Sachsen : Lösungen 11 (Chemie heute SII 2) (2018. 64 S. 297.00 mm)
  • 洋書

Chemie heute SII - Ausgabe 2018 Sachsen : Lösungen 11 (Chemie heute SII 2) (2018. 64 S. 297.00 mm)

Foerster, Rosemarie/Rieck, Brigitta/ Herausgegeben:Menze, Steffen/ Schulte-Coerne, Rolf/ Sieve, Bernhard F./ van Nek, Ralf

  • ウェブストア価格 ¥2,471(本体¥2,247)
  • WESTERMANN BILDUNGSMEDIEN(2018発売)
  • ポイント 22pt
  • 海外からお取り寄せ(通常6~9週間)
Chemie heute SII - Ausgabe 2018 Sachsen : Arbeitsheft 12 (Chemie heute SII 12) (2019. 76 S. 296.00 mm)
  • 洋書

Chemie heute SII - Ausgabe 2018 Sachsen : Arbeitsheft 12 (Chemie heute SII 12) (2019. 76 S. 296.00 mm)

Foerster, Rosemarie/Rieck, Brigitta/ Herausgegeben:Menze, Steffen/ Schulte-Coerne, Rolf/ Sieve, Bernhard F./ van Nek, Ralf

  • ウェブストア価格 ¥2,732(本体¥2,484)
  • WESTERMANN BILDUNGSMEDIEN(2019発売)
  • ポイント 24pt
  • 海外からお取り寄せ(通常6~9週間)
Chemie heute SII - Ausgabe 2018 Sachsen : Lösungen Arbeitsheft 11-12 (Chemie heute SII 14) (2019. 44 S. 297.00 mm)
  • 洋書

Chemie heute SII - Ausgabe 2018 Sachsen : Lösungen Arbeitsheft 11-12 (Chemie heute SII 14) (2019. 44 S. 297.00 mm)

Foerster, Rosemarie/Rieck, Brigitta/ Herausgegeben:Menze, Steffen/ Schulte-Coerne, Rolf/ Sieve, Bernhard F./ van Nek, Ralf

  • ウェブストア価格 ¥2,341(本体¥2,129)
  • WESTERMANN BILDUNGSMEDIEN(2019発売)
  • ポイント 21pt
  • 海外からお取り寄せ(通常6~9週間)
Die Klassische Deutsche Philosophie und ihre Folgen (Wiener Forum für Theologie und Religionswissenschaft Band 013) (2017. 359 S. mit 3 Abbildungen. 237 mm)
  • 洋書

Die Klassische Deutsche Philosophie und ihre Folgen (Wiener Forum für Theologie und Religionswissenschaft Band 013) (2017. 359 S. mit 3 Abbildungen. 237 mm)  Hardcover,  言語:GER

Herausgegeben:Hackl, Michael/ Danz, Christian/Mitarbeit:Hackl, Michael/ Danz, Christian/ Fassmann, Heinz/ Onnasch, Ernst-Otto/ Schubach, Alexander/ Arndt, Andreas/ Dietzsch, Steffen/ Schmid, Hans Bernhard

  • ウェブストア価格 ¥15,354(本体¥13,959)
  • V&R UNIPRESS; BRILL DEUTSCHLAND GMBH(2017発売)
  • ポイント 139pt
  • 海外からお取り寄せ(通常6~9週間)
Lockdown: Das Anhalten der Welt : Debatte zur Domestizierung von Wirtschaft, Politik und Gesundheit. Mit e. Nachw. v. Bernhard Pörksen (Systemische Horizonte) (2020 215 S.  21.5 cm)
  • 洋書

Lockdown: Das Anhalten der Welt : Debatte zur Domestizierung von Wirtschaft, Politik und Gesundheit. Mit e. Nachw. v. Bernhard Pörksen (Systemische Horizonte) (2020 215 S. 21.5 cm)  Paperback

Kleve, Heiko/Roth, Steffen/Simon, Fritz B./ Mitarbeit:Poerksen, Bernhard/ Blankertz, Stefan/ Hoegl, Franz/ Hutter, Michael/ Kemfert, Claudia/ Lierschof, Guenter/ Pantucek-Eisenbacher, Peter/ Priddat, Birger P.

  • ウェブストア価格 ¥5,192(本体¥4,720)
  • CARL-AUER(2020発売)
  • ポイント 47pt
  • 海外取次在庫