Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. ProceedingsGheyi, Rohit ; Naumann, David Naumann, David ; Gheyi, RohitNetherlands: Springer Nature 2012Texto completo disponível |
|
2 |
Material Type: Livro
|
Neural Information Processing: 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part IIIHuang, Tingwen ; Zeng, Zhigang ; Li, Chuandong ; Leung, Chi-SingBerlin, Heidelberg: Springer Berlin / Heidelberg 2012Texto completo disponível |