Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches (2018)
  • 洋書
  • ポイントキャンペーン

Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches (2018)  Hardcover,  言語:ENG

Steffen, Bernhard/ Rüthing, Oliver/ Huth, Michael

  • ウェブストア価格 ¥8,783(本体¥7,985)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 158pt
  • 海外取次在庫
Computing and Software Science : State of the Art and Perspectives (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Computing and Software Science : State of the Art and Perspectives (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Steffen, Bernhard (EDT)/ Woeginger, Gerhard (EDT)

  • ウェブストア価格 ¥7,245(本体¥6,587)
  • Springer International Publishing AG(2019/10発売)
  • ポイント 130pt
  • 海外取次在庫
Jahrbuch der Deutschen Schillergesellschaft. Band 64 2020
  • 洋書
  • ポイントキャンペーン

Jahrbuch der Deutschen Schillergesellschaft. Band 64 2020

Martini, Fritz/Herausgegeben:Zeller, Bernhard/Mueller-Seidel, Walter

  • DE GRUYTER(2020/10発売)
  • ご注文いただけません
Jahrbuch der Deutschen Schillergesellschaft. Band 63 2019 (Jahrbuch der Deutschen Schillergesellschaft Band 63) (2019. VII, 604 S. 4 b/w and 1 col. ill. 230 mm)
  • 洋書
  • ポイントキャンペーン

Jahrbuch der Deutschen Schillergesellschaft. Band 63 2019 (Jahrbuch der Deutschen Schillergesellschaft Band 63) (2019. VII, 604 S. 4 b/w and 1 col. ill. 230 mm)

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

  • ウェブストア価格 ¥13,071(本体¥11,883)
  • DE GRUYTER(2019発売)
  • ポイント 236pt
  • 海外からお取り寄せ(通常6~9週間)
Grundlagen der höheren Informatik : Induktives Vorgehen (examen.press)
  • 洋書
  • ポイントキャンペーン

Grundlagen der höheren Informatik : Induktives Vorgehen (examen.press)  Hardcover

Steffen, Bernhard/ Rüthing, Oliver/ Isberner, Malte

  • ウェブストア価格 ¥8,783(本体¥7,985)
  • Springer Vieweg(2013/10発売)
  • ポイント 158pt
  • 海外取次在庫
Jahrbuch der Deutschen Schillergesellschaft. Band 62 2018 Bd.62 (Jahrbuch der Deutschen Schillergesellschaft Band 62) (2018. VI, 416 S.)
  • 洋書
  • ポイントキャンペーン

Jahrbuch der Deutschen Schillergesellschaft. Band 62 2018 Bd.62 (Jahrbuch der Deutschen Schillergesellschaft Band 62) (2018. VI, 416 S.)

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

  • ウェブストア価格 ¥13,071(本体¥11,883)
  • DE GRUYTER(2018発売)
  • ポイント 236pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I (Theoretical Computer Science and General Iss
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I (Theoretical Computer Science and General Iss  Paperback

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

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 438pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (Theoretical Computer Scienc
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II (Theoretical Computer Scienc  Paperback

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

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 218pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science (2014)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science (2014)  Paperback

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

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Theoretical Computer Science and Ge (2014)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I (Theoretical Computer Science and Ge (2014)  Paperback

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

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/10発売)
  • ご注文いただけません
Einfach loslegen! Das 100-Tage-Erfolgsjournal : Deine Ziele. Deine Erfolge. Starte jetzt. Mit digitalen Extras (Haufe Fachbuch) (2. Aufl. 2023. 296 S. 214.000 mm)
  • 洋書
  • ポイントキャンペーン

Einfach loslegen! Das 100-Tage-Erfolgsjournal : Deine Ziele. Deine Erfolge. Starte jetzt. Mit digitalen Extras (Haufe Fachbuch) (2. Aufl. 2023. 296 S. 214.000 mm)  Paperback

Kurth, Steffen/ Plitt, Elvira/ Landkammer, Bernhard

  • ウェブストア価格 ¥7,847(本体¥7,134)
  • HAUFE-LEXWARE; HAUFE(2023発売)
  • ポイント 142pt
  • 海外からお取り寄せ(通常6~9週間)
Baukonstruktion im Klimawandel
  • 洋書
  • ポイントキャンペーン

Baukonstruktion im Klimawandel  Hardcover,  言語:GER

Weller, Bernhard/ Fahrion, Marc-Steffen/ Horn, Sebastian

  • Springer Vieweg(2016/06発売)
  • ご注文いただけません
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発売)
  • ご注文いただけません
Underground : Die Geschichte der frühen Hacker-Elite. Tatsachenroman (Heyne Bücher Nr.40943) (2012. 603 S. 187 mm)
  • 洋書
  • ポイントキャンペーン

Underground : Die Geschichte der frühen Hacker-Elite. Tatsachenroman (Heyne Bücher Nr.40943) (2012. 603 S. 187 mm)  Paperback

Assange, Julian/ Dreyfus, Suelette/ UEbersetzung: Jacobs, Steffen/ Josef, Bernhard/ Kellner, Michael

  • ウェブストア価格 ¥2,613(本体¥2,376)
  • HEYNE(2012発売)
  • ポイント 46pt
  • 海外からお取り寄せ(通常6~9週間)
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 398pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 318pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥15,372(本体¥13,975)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 278pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥17,569(本体¥15,972)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 318pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7609) (2012. 2012. XIII, 618 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7609) (2012. 2012. XIII, 618 S. 235 mm)  Paperback

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard/ Merten, Maik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)  Paperback

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard/ Merten, Maik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません