|
|
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).
|
|
|
Extração automática de modelos de sistemas de tempo real [Documento eletrónico] / André Ribeiro de Carvalho ; orient. Jorge Sousa Pinto, Simão Melo de Sousa
Monografia
Publication
[Braga : s.n.], 2011
Online resource
Acesso Livre
Availability
No copies available
|
|
|
Conceção de arquitetura de interoperabilidade [Documento eletrónico] : o caso Caravela Seguros = [Interoperability architecture design] / Ana Zita Pinto de Sousa ; orient. António Nestor Ribeiro
Monografia
Publication
[Guimarães : s.n.], 2016
Online resource
Acesso restrito à U.M. (3 anos)
Availability
No copies available
|
|
|
Partial replication in the database state machine [Documento electrónico] / António Luís Pinto Ferreira de Sousa ; orient. Rui Carlos Mendes de Oliveira
Monografia
Publication
[Braga : s.n.], 2006
Online resource
Acesso livre
Availability
No copies available
|
|
|
Classificação automática de logs [Documento eletrónico] / Manuel Fernando Fortuna Ribeiro Dias ; orient. António Luís Sousa
Monografia
Publication
[Braga : s.n.], 2012
Online resource
Acesso livre
Availability
No copies available
|
|
|
Construção automática de CMDB [Documento eletrónico] / Joana Catarina Maciel Pereira ; orient. António Luís Pinto Ferreira de Sousa
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Ambientes de trabalho cooperativo no ensino à distância / Carlos Alberto Baptista de Sousa Pinto
Monografia
Publication
Braga : Universidade do Minho, 1998
Description
IX, 164 f., 32 f. anexos :
il. ;
30 cm
LocationBiblioteca de Reservados, Biblioteca da UMinho no Campus de Azurém
Availability
Available (1).
Reference (2).
|
|
|
Common infrastructure provisioning [Documento eletrónico] / Rui Miguel Martins Ribeiro ; orient. Antonio Luís Pinto Ferreira Sousa
Produtos Computador
Publication
[Braga : s.n.], 2017
Online resource
Acesso livre
Availability
No copies available
|
|
|
Agilizar o deployment de aplicações modernas [Documento eletrónico] : soluções cloud para a indústria automóvel / Nuno Silvino Santos Dionísio ; orient. António Luís Pinto Ferreira de Sousa, André Leite Ferreira
Monografia
Publication
[Braga : s.n.], 2017
Online resource
Acesso livre
Availability
No copies available
|
|
|
Bounded Model Checking de programas imperativos / José João Peixoto Pereira ; orient. Luís Filipe Ribeiro Pinto, Jorge Sousa Pinto
Monografia
Publication
[Braga : s.n.], 2013
Description
XIV, 84 p. ;
30 cm
Online resource
Acesso livre
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Early validation of system requirements and design [Documento eletrónico] / Marcelo Miranda ; orient. Jorge Sousa Pinto
Produtos Computador
Publication
[Braga : s.n.], 2019
Online resource
Acesso livre
Availability
No copies available
|
|
|
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
|
|
|
Avaliação do desempenho de equipas em serviços de sistemas de informação [Documento eletrónico] = [Team performance assessment in information systems services] / Fábio Miguel da Silva Teixeira ; orient. Carlos Alberto Baptista Sousa Pinto, João Eduardo Quintela Alves de Sousa Varajão
Monografia
Publication
Guimarães : [s.n.], 2015
Online resource
Acesso livre
Availability
No copies available
|
|
|
Verificação funcional de controladores Arduino [Documento eletrónico] / Rafael Alexandre Antunes Barbosa ; orient. Jorge Miguel de Matos Sousa Pinto, Cláudio Filipe Belo da Silva Lourenço
Produtos Computador
Publication
[Braga : s.n.], 2018
Online resource
Acesso livre
Availability
No copies available
|
|
|
Formalization of deep learning techniques with the Why3 proof platform [Documento eletrónico] = [Formalização de técnicas de Deep Learning com a plataforma de prova Why3] / Márcio Alexandre Mota Sousa ; orient. Jorge Miguel de Matos Sousa Pinto, Paulo Jorge de Sousa Azevedo
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Conversão para Why3 de formalizações em Coq [Documento eletrónico] / Bárbara Andreia Cardoso Ferreira ; orient. Jorge Miguel Matos Sousa Pinto, Maria João Gomes Frade
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Single-assignment program verification [Documento electrónico] / Cláudio Filipe Belo da Silva Lourenço ; orient. Jorge Sousa Pinto
Monografia
Publication
[Braga : s.n.], 2018
Online resource
Acesso livre
Availability
No copies available
|
|
|
Safe storage of medical images in NoSQL databases [Documento eletrónico] = [Armazenamento de imagens médicas em bases de dados NoSQL de forma segura] / Diana Sofia Chaves Martins ; orient. António Luís Sousa
Monografia
Publication
[Braga : s.n.], 2016
Online resource
Acesso livre
Availability
No copies available
|
|
|
PRISMA [Documento eletrónico] : a prefetching storage middleware for accelerating deep learning frameworks / Cláudia Sofia Mendonça de Sá Correia ; orient. João Tiago Medeiros Paulo, António Luís Pinto Ferreira Sousa
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|