yr 〜
yr

Search results 3

Proceedings of the 5th Brazilian technology symposium : emerging trends, issues, and challenges in the Brazilian technology, volume 1 : BTSym 2019 : Oct 2019, Campinas, Brazil. (Smart Innovation, Systems and Technologies ; 201)

Proceedings of the 5th Brazilian technology symposium : emerging trends, issues, and challenges in the Brazilian technology, volume 1 : BTSym 2019 : Oct 2019, Campinas, Brazil. (Smart Innovation, Systems and Technologies ; 201)
Paper図書
Springer[2021]<M17-22-629>
National Diet Library
  • Author Heading...ça, Reinaldo. Universidade Presbiteriana Mackenzie.

Proceedings of the 4th Brazilian technology symposium (BTSym'18) : emerging trends and challenges in technology : Oct 2018, Campinas, Brazil. (Smart Innovation, Systems and Technologies ; 140)

Proceedings of the 4th Brazilian technology symposium (BTSym'18) : emerging trends and challenges in technology : Oct 2018, Campinas, Brazil. (Smart Innovation, Systems and Technologies ; 140)
Paper図書
Springer[2019]<M17-21-286>
National Diet Library
  • Author Heading... Hermes José. Universidade Presbiteriana Mackenzie.

Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011 : São Paulo, Brazil, September 26-30, 2011 : revised selected papers : Sep 2011, São Paulo, Brazil. (Lecture Notes in Computer Science ; 7021)

Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011 : São Paulo, Brazil, September 26-30, 2011 : revised selected papers : Sep 2011, São Paulo, Brazil. (Lecture Notes in Computer Science ; 7021)
Paper図書
Springerc2011.<M17-12-1762>
National Diet Library
  • Author Heading...e Humanidades. Universidade Presbiteriana Mackenzie. Faculdade de Computação e Inf...

Reached to the end of result.