41～46件／全46件 セーフサーチON


Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectur
  • 洋書

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectur  Paperback

Bernardo, Marco (EDT)/ De Nicola, Rocco (EDT)/ Hillston, Jane (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer International Publishing AG（2016/06発売）
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures (Lecture Notes in Computer Science （2015）
  • 洋書
  • 電子版あり

Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures (Lecture Notes in Computer Science （2015）  Paperback,  言語：ENG

Bernardo, Marco (EDT)/ Johnsen, Einar Broch (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Birkhauser Verlag AG（2015/05発売）
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Lecture Notes in Computer Sc （2014）
  • 洋書

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Lecture Notes in Computer Sc （2014）  Paperback,  言語：ENG

Bernardo, Marco (EDT)/ Damiani, Ferruccio (EDT)/ Haehnle, Reiner (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer International Publishing AG（2014/05発売）
  • ポイント 110pt
  • 海外取次在庫
Global Administrative Law and EU Administrative Law : Relationships, Legal Issues and Comparison （2011）
  • 洋書

Global Administrative Law and EU Administrative Law : Relationships, Legal Issues and Comparison （2011）  Paperback

Chiti, Edoardo (EDT)/ Mattarella, Bernardo Giorgio (EDT)

  • ウェブストア価格 ¥44,207（本体¥40,189）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/10発売）
  • ポイント 401pt
  • 海外取次在庫
Evaluation of Natural Language and Speech Tool for Italian : International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers (Lecture Notes in Artificial Intelligence) （2013）
  • 洋書

Evaluation of Natural Language and Speech Tool for Italian : International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers (Lecture Notes in Artificial Intelligence) （2013）  Paperback,  言語：ENG

Magnini, Bernardo (EDT)/ Cutugno, Francesco (EDT)/ Falcone, Mauro (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/01発売）
  • ポイント 110pt
  • 海外取次在庫
Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Spain, September 23-24, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6342) （2010. X, 286 S.）
  • 洋書

Computer Performance Engineering : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Spain, September 23-24, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering 6342) （2010. X, 286 S.）  Paperback

Herausgegeben von Aldini, Alessandro/ Bernardo, Marco/ Bononi, Luciano/ Cortellessa, Vittorio

  • ウェブストア価格 ¥13,920（本体¥12,655）
  • SPRINGER, BERLIN（2010発売）
  • ポイント 126pt
  • 海外取次在庫
41～46件／全46件