Agile Methods : 7th Brazilian Workshop, WBMA 2016, Curitiba, Brazil, November 7-9, 2016, Revised Selected Papers (Communications in Computer and Information Science)
  • 洋書
  • 電子版あり

Agile Methods : 7th Brazilian Workshop, WBMA 2016, Curitiba, Brazil, November 7-9, 2016, Revised Selected Papers (Communications in Computer and Information Science)  Paperback,  言語:ENG

Silva da Silva, Tiago (EDT)/ Estácio, Bernardo (EDT)/ Kroll, Josiane (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2017/03発売)
  • ポイント 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 (Programming and Software Engineer (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 (Programming and Software Engineer (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
  • 海外取次在庫
Formal Methods for Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures (Lecture Notes in Computer Science Vol.3185) (2004. VII, 295 p.)
  • 洋書

Formal Methods for Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures (Lecture Notes in Computer Science Vol.3185) (2004. VII, 295 p.)  Paperback

Ed. by M. Bernardo a. F. Corradini

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 126pt
  • 海外取次在庫
Formal Methods for Software Architectures (Lecture Notes in Computer Science Vol.2804) (2003. VI, 285 p. w. figs. 23,5 cm)
  • 洋書

Formal Methods for Software Architectures (Lecture Notes in Computer Science Vol.2804) (2003. VI, 285 p. w. figs. 23,5 cm)  Paperback

Ed. by Marco Bernardo and Paola Inverardi

  • ウェブストア価格 ¥13,920(本体¥12,655)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 126pt
  • 海外取次在庫