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)
  • 洋書
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
  • 海外取次在庫
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,627(本体¥2,389)
  • HEYNE(2012発売)
  • ポイント 23pt
  • 海外からお取り寄せ(通常6~9週間)
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発売)
  • ご注文いただけません
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)
  • 洋書