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,642(本体¥2,402)
  • HEYNE(2012発売)
  • ポイント 24pt
  • 海外からお取り寄せ(通常6~9週間)
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

  • ウェブストア価格 ¥9,007(本体¥8,189)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 81pt
  • 海外取次在庫
Computing and Software Science : State of the Art and Perspectives (Theoretical Computer Science and General Issues) (2019)
  • 洋書
  • 電子版あり

Computing and Software Science : State of the Art and Perspectives (Theoretical Computer Science and General Issues) (2019)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥7,431(本体¥6,756)
  • Springer International Publishing AG(2019/10発売)
  • ポイント 67pt
  • 海外取次在庫
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,387(本体¥11,261)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 112pt
  • 海外取次在庫
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. 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)
  • 洋書
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)
  • 洋書
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発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)
  • 洋書

Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)  Paperback

Herausgegeben von Haehnle, Reiner/ Knoop, Jens/ Margaria, Tiziana/ Schreiner, Dietmar/ Steffen, Bernhard

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

Denkmal und Energie  Hardcover,  言語:GER

Weller, Bernhard/ Jakubetz, Sven/ Fahrion, Marc-Steffen

  • Vieweg+Teubner Verlag(2011/12発売)
  • ご注文いただけません
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,877(本体¥10,798)
  • WBV MEDIA; WBV PUBLIKATION(2020発売)
  • ポイント 107pt
  • 海外からお取り寄せ(通常6~9週間)
Baukonstruktion im Klimawandel
  • 洋書

Baukonstruktion im Klimawandel  Hardcover,  言語:GER

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

  • Springer Vieweg(2016/06発売)
  • ご注文いただけません
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
  • 海外取次在庫
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

  • ウェブストア価格 ¥9,007(本体¥8,189)
  • Springer Vieweg(2013/10発売)
  • ポイント 81pt
  • 海外取次在庫
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発売)
  • ご注文いただけません
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)

  • ウェブストア価格 ¥31,535(本体¥28,669)
  • Springer International Publishing AG(2024/12発売)
  • ポイント 286pt
  • 海外取次在庫
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,276(本体¥4,797)
  • CARL-AUER(2020発売)
  • ポイント 47pt
  • 海外取次在庫