Saltar conteúdo

Biblioteca da Universidade do Minho

Your cart is empty.

Cart
- Your cart is empty.
Lists

Languages
- English
- Português
Log in to your account
Search history [x]

Universidade do Minho - Serviço de Documentação e Bibliotecas

Pesquisa simples Simple search
Pesquisa avançada Advanced search
Índices Indexes search
Etiquetas/Tags Tags

Carrinho Cart

Área pessoal Personal area
Sair Logout

RepositóriUM RepositóriUM Bases de dados Databases A to Z A to Z Contactos Contacts Pergunte-nos Ask us

PT
|
EN

Search

Branches limit

Advanced search
Course reserves
Authority search
Tag cloud
Most popular

Log in to your account

Login Login: Password:

Forgot your password?

Cancel

Home ›
Results of search for 'an:252781'

Refine your search

Availability
- Limit to currently available items.
Authors
- Henriques,
- Cruz,
- Pinto,
Item types
- Monografia
- Produtos Computador

Your search returned 8 results.

|

		No cover image available GamaBoogie [Documento eletrónico] : a contract-based slicer for Boogie programs / Márcio João Carvalho Coelho ; orient. Pedro Henriques Rangel, Daniela Carneiro da Cruz Monografia Publication Braga : [s.n.], 2011 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available Detection of plagiarism in software in an academic environment [Documento eletrónico] / Vítor Tiago Varajão Martins ; orient. Pedro Rangel Henriques, Daniela da Cruz Monografia Publication [Braga : s.n.], 2015 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available Vulnerabilities fast scan [Documento eletrónico] : tackling SAST performance issues with Machine Learning / Samuel Gonçalves Ferreira ; orient. Pedro Rangel Henriques, Daniela da Cruz Produtos Computador Publication [Braga : s.n.], 2019 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available Implementing an integrated Syntax Directed Editor for LISS [Documento eletrónico] = [Implementação de um editor dirigido à sintaxe com compilador para LISS] / Damien da Silva Vaz ; orient. Pedro Rangel Henriques, Daniela da Cruz Monografia Publication [Guimarães : s.n.], 2016 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available Comment analysis for program comprehension [Documento eletrónico] / José Luís Figueiredo de Freitas ; orient. Pedro Rangel Henriques, Daniela da Cruz Monografia Publication [Braga : s.n.], 2011 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available Verification, slicing, and visualization of programs with contracts [Documento electrónico] / Daniela Carneiro da Cruz ; orient. Pedro Rangel Henriques, Jorge Sousa Pinto Monografia Publication Braga : [s.n.], 2011 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available The role of best practices in assessing software quality [Documento eletrónico] / Miguel Regedor ; orient. Pedro Rangel Henriques, Daniela da Cruz Monografia Publication Braga : [s.n.], 2013 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available Vulnerabilities preservation using code mutation [Documento eletrónico] / Jorge Fernando Alves Cruz ; orient. Jorge Sousa Pinto, Daniela da Cruz Produtos Computador Publication [Braga : s.n.], 2022 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)

Bibliotecas Libraries

Biblioteca Geral da UMinho
Biblioteca da UMinho no campus de Azurém
Biblioteca de Ciências da Educação
Biblioteca de Direito
Biblioteca Prof. Joaquim Pinto Machado
Biblioteca Nuno Portas
Biblioteca do campus de Couros
Outras bibliotecas

General Library of the University of Minho
Library of University of Minho on Azurém Campus
Library of Educational Sciences
Library of Law of the University of Minho
Library Prof. Joaquim Pinto Machado
Library Nuno Portas
Library Fernão Mendes Pinto
Library of the Couros campus
Other libraries

Serviços Services

Empréstimo Excecional
Empréstimo à Distância
Pedido de documentos ao exterior
Biblioteca digital
Reserva online de espaços
Guias e Ajudas
Antigos alunos
Pergunte-nos
Outros serviços

Exceptional loan
Distance Loan
Document supply
Digital library
Online booking (spaces)
Libraries user guide
Former Students
Ask-us
All services

Contactos gerais Contacts

Serviço de Documentação e Bibliotecas
Campus de Gualtar, Edifício 04
4710-057 Braga
+351 253 604 150
usdb@usdb.uminho.pt
http://www.sdum.uminho.pt

Serviço de Documentação e Bibliotecas
Campus de Gualtar, Edifício 04
4710-057 Braga
+351 253 604 150
usdb@usdb.uminho.pt

Contactos e horário

Biblioteca Comum

Languages:
English
Português