Shakspere-Forschungen
  • 洋書
  • ポイントキャンペーン

Shakspere-Forschungen  Paperback,  言語:GER

Barthel, G. E.

  • HardPress Ltd(2018/01発売)
  • ご注文いただけません
Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, The Netherlands, Proceedings (Lecture Notes in Computer Science) 〈Vol. 7159〉
  • 洋書
  • ポイントキャンペーン

Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, The Netherlands, Proceedings (Lecture Notes in Computer Science) 〈Vol. 7159〉  Paperback,  言語:ENG

Barthe, G. (EDT)/ Livshits, B. (EDT)

  • ウェブストア価格 ¥12,879(本体¥11,709)
  • Springer(2012/03発売)
  • ポイント 585pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Spain, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5944〉
  • 洋書
  • ポイントキャンペーン

Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Spain, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5944〉  Paperback,  言語:ENG

Barthe, G. (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer(2010/02発売)
  • ポイント 540pt
  • 海外取次在庫
Trustworthy Global Computing - Third Symposium, TGC 2007, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 4912〉
  • 洋書
  • ポイントキャンペーン

Trustworthy Global Computing - Third Symposium, TGC 2007, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 4912〉  Paperback,  言語:ENG

Barthe, G. (EDT)/ Fournet, C. (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer(2008/05発売)
  • ポイント 540pt
  • 海外取次在庫
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008 (Lecture Notes in Computer Science) 〈Vol. 5051〉
  • 洋書
  • ポイントキャンペーン

Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008 (Lecture Notes in Computer Science) 〈Vol. 5051〉  Paperback,  言語:ENG

Barthe, G. (EDT)

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer(2008/07発売)
  • ポイント 540pt
  • 海外取次在庫
Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Germany, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6602〉
  • 洋書
  • ポイントキャンペーン

Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Germany, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6602〉  Paperback

Barthe, G. (EDT)

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • Springer(2011発売)
  • ポイント 635pt
  • 海外取次在庫
Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Uruguay, Proceedings (Lecture Notes in Computer Science) 〈Vol. 7041〉
  • 洋書
  • ポイントキャンペーン

Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Uruguay, Proceedings (Lecture Notes in Computer Science) 〈Vol. 7041〉  Paperback

Barthe, G. (EDT)/ Pardo, A. (EDT)

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • Springer(2011/12発売)
  • ポイント 635pt
  • 海外取次在庫
ROUTE DES BONAPARTISTES, LEGITIMISTES ET ORLEANISTES (HISTOIRE)
  • 洋書
  • ポイントキャンペーン

ROUTE DES BONAPARTISTES, LEGITIMISTES ET ORLEANISTES (HISTOIRE)  Paperback

BARTHELEMY G.

  • HACHETTE BNF(2013/08発売)
  • ご注文いただけません
Foundations of Security Analysis and Design V : FOSAD 2008/2009 Tutorial Lectures (Lecture Notes in Computer Science) 〈Vol. 5705〉
  • 洋書
  • ポイントキャンペーン

Foundations of Security Analysis and Design V : FOSAD 2008/2009 Tutorial Lectures (Lecture Notes in Computer Science) 〈Vol. 5705〉  Paperback,  言語:ENG

Aldini, A. (EDT)/ Barthe, G. (EDT)

  • ウェブストア価格 ¥10,839(本体¥9,854)
  • Springer(2009/07発売)
  • ポイント 490pt
  • 海外取次在庫
LE CANADA RECONQUIS PAR LA FRANCE, SUIVI DE PIECES JUSTIFICATIVES (HISTOIRE)
  • 洋書
  • ポイントキャンペーン

LE CANADA RECONQUIS PAR LA FRANCE, SUIVI DE PIECES JUSTIFICATIVES (HISTOIRE)  Paperback

BARTHE J-G.

  • HACHETTE BNF(2013/08発売)
  • ご注文いただけません