Your search returned 4 results. Subscribe to this search

|
Curriculum vitae / Jorge Miguel de Matos Sousa Pinto Monografia Publication Braga : J.M.M.S.P., 1995 Description 3 p. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Construção de contextos em sistemas hierárquicos de representação de conhecimento / Jorge Miguel de Matos Sousa Pinto Monografia Publication Braga : Universidade do Minho, 1995 Description VI, 173 p. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Construção de contextos em sistemas hierárquicos de representação de conhecimento / Jorge Miguel de Matos Sousa Pinto Monografia Publication Braga : J.M.M.S.P., 1995 Description VI, 173 f. : il. ; 30 cm LocationBiblioteca de Reservados Availability Available (1).

Dynamic contracts for verification and enforcement of real-time systems properties [Documento eletrónico] / André de Matos Pedro ; orient. Jorge Sousa Pinto, Luís Miguel Pinho Produtos Computador Publication [Braga : s.n.], 2018 Online resource Acesso livre Availability No copies available