2010, COMPUTING IN CARDIOLOGY 2010, VOL 37, Rodrigues,R
2010, LINEAR & MULTILINEAR ALGEBRA, Fernandes,R
2010, International Conference on Mathematical and Computational Methods in Science and Engineering - Proceedings, Goncalves,GM;Lourenco,LL;Pato,MV
2010, LINEAR & MULTILINEAR ALGEBRA, Fernandes,R
2010, Theory of Computing Systems, Cain,AJ;Oliver,G;Ruskuc,N;Thomas,RM
2010, - Ways of Proof Theory, Kahle,R;Setzer,A
2010, - Ways of Proof Theory, Oitavem,I
2010, Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010., Kahle,R;Oitavem,I
2010, ELECTRONIC JOURNAL OF COMBINATORICS, Sousa,T
2010, JOURNAL OF ALGEBRA, Tabuada,G