Jump to main content

yr 〜
yr

Search results 4

Formal methods: foundations and applications : 13th Brazilian symposium on formal methods, SBMF 2010 : Natal, Brazil, November 8-11, 2010 : revised selected papers. : Nov 2010, Natal, Brazil. (Lecture Notes in Computer Science ; 6527)

Formal methods: foundations and applications : 13th Brazilian symposium on formal methods, SBMF 2010 : Natal, Brazil, November 8-11, 2010 : revised selected papers. : Nov 2010, Natal, Brazil. (Lecture Notes in Computer Science ; 6527)
Paper図書
Springerc2011.<M17-11-1890>
National Diet Library
  • Author HeadingUniversidade Federal do Rio Grande do Norte. Departamento de Informatica e Matematica Aplicada. Brazilian Computer Society (S...

Formal methods: foundations and applications : 15th Brazilian symposium, SBMF 2012 : Natal, Brazil, September 23-28, 2012 : proceedings : Sep 2012, Natal, Brazil. (Lecture Notes in Computer Science ; 7498)

Formal methods: foundations and applications : 15th Brazilian symposium, SBMF 2012 : Natal, Brazil, September 23-28, 2012 : proceedings : Sep 2012, Natal, Brazil. (Lecture Notes in Computer Science ; 7498)
Paper図書
Springerc2012.<M17-13-656>
National Diet Library
  • Author Heading...aumann, David. Universidade Federal do Rio Grande do Norte. Departamento de Informatica e Matematica Aplicada.

Programming languages : 16th Brazilian symposium, SBLP 2012 : Natal, Brazil, September 23-28, 2012 : proceedings : Sep 2012, Natal, Brazil. (Lecture Notes in Computer Science ; 7554)

Programming languages : 16th Brazilian symposium, SBLP 2012 : Natal, Brazil, September 23-28, 2012 : proceedings : Sep 2012, Natal, Brazil. (Lecture Notes in Computer Science ; 7554)
Paper図書
Springerc2012.<M17-13-813>
National Diet Library
  • Author Heading..., Luis Soares. Universidade Federal do Rio Grande do Norte. Departamento de Informatica e Matematica Aplicada.

12th Brazilian symposium on multimedia and the web : WebMedia 2006 : November 19-22, 2006 : Natal, RN, Brazil. : 12 Brazilian symposium on multimedia and the web : Nov 2006, Natal, Brazil. (ACM International Conference Proceedings Series ; 192)

12th Brazilian symposium on multimedia and the web : WebMedia 2006 : November 19-22, 2006 : Natal, RN, Brazil. : 12 Brazilian symposium on multimedia and the web : Nov 2006, Natal, Brazil. (ACM International Conference Proceedings Series ; 192)
Paper図書
ACMc2006.<M17-07-2035>
National Diet Library
  • Author HeadingUniversidade Federal do Rio Grande do Norte. Departamento de Informatica e Matematica Aplicada. Rodrigues, Rogério Ferreira. ...

Reached to the end of result.

RSS