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,105(本体¥11,005)
  • Springer(2012/03発売)
  • ポイント 110pt
  • 海外取次在庫
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,156(本体¥11,960)
  • Springer(2011/12発売)
  • ポイント 119pt
  • 海外取次在庫
ROUTE DES BONAPARTISTES, LEGITIMISTES ET ORLEANISTES (HISTOIRE)
  • 洋書

ROUTE DES BONAPARTISTES, LEGITIMISTES ET ORLEANISTES (HISTOIRE)  Paperback

BARTHELEMY G.

  • ウェブストア価格 ¥2,213(本体¥2,012)
  • HACHETTE BNF(2013/08発売)
  • ポイント 20pt
  • 海外取次在庫
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,458(本体¥10,417)
  • Springer(2008/07発売)
  • ポイント 104pt
  • 海外取次在庫
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,458(本体¥10,417)
  • Springer(2010/02発売)
  • ポイント 104pt
  • 海外取次在庫
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,458(本体¥10,417)
  • Springer(2008/05発売)
  • ポイント 104pt
  • 海外取次在庫
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〉
  • 洋書
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,417(本体¥9,470)
  • Springer(2009/07発売)
  • ポイント 94pt
  • 海外取次在庫
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.

  • ウェブストア価格 ¥6,760(本体¥6,146)
  • HACHETTE BNF(2013/08発売)
  • ポイント 61pt
  • 海外取次在庫