|
|
Living in Portugal [Documento electrónico] : the multimedia CD-ROM to help learn portuguese and explore everyday life in Portugal
Produtos Computador
Publication
Braga : Universidade do Minho - Departamento de Informática, [1997]
Description
1 CD-ROM em caixa ;
13 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Cayenne : a language with dependent types / Lennart Augustsson
Monografia
Publication
Braga : Departamento de Informática da Universidade do Minho, 1998
Description
[28] p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Generic programming - an introduction / Roland Backhouse... [et al.]
Monografia
Publication
Braga : Departamento de Informática da Universidade do Minho, 1998
Description
101 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Sorting morphisms / Lex Augusteijn
Monografia
Publication
Braga : Departamento de Informática da Universidade do Minho, 1998
Description
23 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Seminário 3 - Sinchronous teleCooperation in distributed environments / 6º Encontro Português de Computação Gráfica, Stefan Noll
Monografia
Publication
Braga : Departamento de Informática - Universidade do Minho, 1994
Description
[35] f. :
il. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Uma metodologia de participação para o co-projecto de sistemas digitais embebidos [Documento eletrónico] / António Joaquim André Esteves
Monografia
Publication
Braga : [s.n.], 2001
Online resource
Acesso livre
Availability
No copies available
|
|
|
Point-free program calculation [Documento electrónico] / Manuel Alcino Pereira da Cunha
Monografia
Publication
Braga : [s.n.], 2005
Online resource
Acesso livre
Availability
No copies available
|
|
|
Análise e compressão de sequências genómicas [Documento electrónico] / Sérgio Alípio Domingues Deusdado ; orient. Paulo Martins de Carvalho
Monografia
Publication
Braga : [s.n.], 2008
Online resource
Acesso livre
Availability
No copies available
|
|
|
Desmaterialização de documentos de identificação [Documento eletrónico] / Matias Nicolau Araújo ; orient. José Bacelar Almeida
Produtos Computador
Publication
[Braga : s.n.], 2019
Online resource
Acesso livre
Availability
No copies available
|
|
|
Sistemas de bases de dados orientados por colunas [Documento eletrónico] / Raquel Gouveia Ribeiro ; orient. Orlando Manuel de Oliveira Belo
Monografia
Publication
[Braga : s.n.], 2013
Online resource
Acesso livre
Availability
No copies available
|
|
|
Geração de perfis Web baseada em assinaturas [Documento eletrónico] / Paulo Alexandre Ricardo Monsanto ; orient. Orlando Manuel de Oliveira Belo
Monografia
Publication
[Braga : s.n.], 2013
Online resource
Acesso livre
Availability
No copies available
|
|
|
Gestão de depósitos em arquivos [Documento eletrónico] / Nuno Antunes Marques ; orient. José Carlos Leite Ramalho
Monografia
Publication
[Braga : s.n.], 2012
Online resource
Acesso livre
Availability
No copies available
|
|
|
Ferramentas de verificação formal de protocolos criptográficos [Documento eletrónico] / Prada, Inês Isabel Russo ; orient. José Carlos Bacelar Almeida
Monografia
Publication
[Braga : s.n.], 2011
Online resource
Acesso livre
Availability
No copies available
|
|
|
Using MetaML : a staged programming language / Tim Sheard
Monografia
Publication
Braga : Departamento de Informática da Universidade do Minho, 1998
Description
45 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The fall and rise of FP / Rafael Dueire Lins
Monografia
Publication
Braga : Departamento de Informática da Universidade do Minho, 1998
Description
101 p. ;
21 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Um sistema P2P para detecção de anomalias de rede [Documento eletrónico] / Ricardo César Cangueiro Mendonça ; orient. Pedro Nuno Sousa
Produtos Computador
Publication
[Braga : s.n.], 2020
Online resource
Acesso livre
Availability
No copies available
|
|
|
Manutenção de caches para sistemas OLAP [Documento eletrónico] / Pedro Carvalho Marques ; orient. Orlando Manuel de Oliveira Belo
Monografia
Publication
[Braga : s.n.], 2010
Online resource
Acesso livre
Availability
No copies available
|
|
|
Database replication in large scale systems [Documento eletrónico] / Miguel Gonçalves de Araújo ; orient. José Orlando Pereira
Monografia
Publication
Braga : [s.n.], 2011
Online resource
Acesso livre
Availability
No copies available
|
|
|
Analysis of interaction patterns - attention [Documento eletrónico] / José João Faria Pacheco ; orient. Paulo Jorge de Freitas Oliveira Novais
Monografia
Publication
[Braga : s.n.], 2014
Online resource
Acesso livre
Availability
No copies available
|
|
|
MDA SMART [Documento eletrónico] : uma ferramenta multiplataforma baseada em modelos / Rogério Araújo Costa ; orient. António Manuel Nestor Ribeiro
Monografia
Publication
[Braga : s.n.], 2012
Online resource
Acesso restrito à U.M.
Availability
No copies available
|