年 〜
年

検索結果 2 件

Formal methods for web services : 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009 : Bertinoro, Italy, June 1-6, 2009 : advanced lectures. : Jun 2009, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5569. Tutorial)

Formal methods for web services : 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009 : Bertinoro, Italy, June 1-6, 2009 : advanced lectures. : Jun 2009, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5569. Tutorial)
紙図書
Springerc2009.<M17-10-746>
国立国会図書館
  • 著者標目Bernardo, Marco. Padovani, Luca. Zavattaro, Gianluigi. Intern...

Euro-Par 2018 : parallel processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018 : proceedings

Euro-Par 2018 : parallel processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018 : proceedings
紙図書
Marco Aldinucci, Luca Padovani, Massimo Torquati (eds.)Springerc2018
全国の図書館
  • 著者標目International EURO-PAR Conference Aldinucci, Marco Padovani, Luca Torquati, Massimo

検索結果は以上です。