本文に飛ぶ

年 〜
年

検索結果 4 件

SIGDOC'11 : proceedings of the 29th ACM international conference on design of communication : October 3-5, 2011 : Pisa, Italy : ACM SIGDOC 2011 : workshop on augmenting the learning experience with virtual simulation systems : Oct 2011, Pisa, Italy.

SIGDOC'11 : proceedings of the 29th ACM international conference on design of communication : October 3-5, 2011 : Pisa, Italy : ACM SIGDOC 2011 : workshop on augmenting the learning experience with virtual simulation systems : Oct 2011, Pisa, Italy.
紙図書
Association for Computing Machineryc2012.<M17-14-29>
国立国会図書館
  • 著者標目...: Pisa, Italy) Consiglio Nazionale delle Ricerche (CNR). Istituto di Scienze e Tecnologie dell'Informazione.

Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : 9th international conference on integrated formal methods : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7316)

Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : 9th international conference on integrated formal methods : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7316)
紙図書
Springerc2012.<M17-13-532>
国立国会図書館
  • 著者標目...k, John, 1963- Consiglio Nazionale delle Ricerche (CNR). Istituto di Scienze e Tecnologie dell'Informazione.

Integrated formal methods : 9th international conference, IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : ABZ 2012 : 3rd internatinoal conference on abstract state machines, alloy, B, VDM, and Z : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7321)

Integrated formal methods : 9th international conference, IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : ABZ 2012 : 3rd internatinoal conference on abstract state machines, alloy, B, VDM, and Z : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7321)
紙図書
Springerc2012.<M17-13-536>
国立国会図書館
  • 著者標目...k, John, 1963- Consiglio Nazionale delle Ricerche (CNR). Istituto di Scienze e Tecnologie dell'Informazione.

Advances in information retrieval : 25th European conference on IR research, ECIR 2003 : Pisa, Italy, April 14-16, 2003 : proceedings. : Apr 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2633)

Advances in information retrieval : 25th European conference on IR research, ECIR 2003 : Pisa, Italy, April 14-16, 2003 : proceedings. : Apr 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2633)
紙図書
Springerc2003.<M17-04-468>
国立国会図書館

検索結果は以上です。

RSS