1～6件／全6件 セーフサーチON
  •  
Software Engineering and Formal Methods : Sefm 2015 Collocated Workshops: Atse, Hofm, Mokmasd, and Very*scart, York, Uk, September 7-8, 2015. Revised
  • 洋書
  • ポイントキャンペーン

Software Engineering and Formal Methods : Sefm 2015 Collocated Workshops: Atse, Hofm, Mokmasd, and Very*scart, York, Uk, September 7-8, 2015. Revised  Paperback,  言語：ENG

De Nicola, Rocco (EDT)/ Calinescu, Radu (EDT)/ Rumpe, Bernhard (EDT)

  • ウェブストア価格 ¥12,729（本体¥11,572）
  • Springer-Verlag New York Inc（2016/08発売）
  • ポイント 230pt
  • 海外からお取り寄せ（通常6～9週間）
Programming Languages and Systems : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Portugal, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4421〉
  • 洋書
  • ポイントキャンペーン

Programming Languages and Systems : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Portugal, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4421〉  Paperback,  言語：ENG

De Nicola, Rocco (EDT)

  • ウェブストア価格 ¥24,158（本体¥21,962）
  • Springer（2007/04発売）
  • ポイント 438pt
  • 海外取次在庫
Trustworthy Global Computing : International Symposium, Tgc 2005, Edinburgh, Uk, April 7-9, 2005 (Lecture Notes in Computer Science) （REVISED）
  • 洋書
  • ポイントキャンペーン

Trustworthy Global Computing : International Symposium, Tgc 2005, Edinburgh, Uk, April 7-9, 2005 (Lecture Notes in Computer Science) （REVISED）  Paperback,  言語：ENG

De Nicola, Rocco/ Sangiorgi, Davide/ Tgc 200 (2005 Edinburgh, Scotland

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer-Verlag New York Inc（2006/02発売）
  • ポイント 218pt
  • 海外取次在庫
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

De Nicola, Rocco (EDT)/ Kühn, Eva (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer International Publishing AG（2016/06発売）
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Coordination Models and Languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings (Lecture Notes in Computer Science Vol.2949) （2004. X, 323 p. 23,5 cm）
  • 洋書
  • ポイントキャンペーン

Coordination Models and Languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings (Lecture Notes in Computer Science Vol.2949) （2004. X, 323 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by Rocco de Nicola, Gianluigi Ferrari a. Greg Meredith

  • ウェブストア価格 ¥13,997（本体¥12,725）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 254pt
  • 海外取次在庫
Coordination Models and Languages : 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings (Lectur （2013）
  • 洋書
  • ポイントキャンペーン

Coordination Models and Languages : 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings (Lectur （2013）  Paperback,  言語：ENG

De Nicola, Rocco (EDT)/ Julien, Christine (EDT)

  • ウェブストア価格 ¥12,078（本体¥10,980）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/05発売）
  • ポイント 218pt
  • 海外取次在庫
1～6件／全6件
  •