|
|
Model-based spreadsheet engineering [Documento electrónico] / Jácome Miguel Costa da Cunha ; orient. João Alexandre Saraiva, J. Visser
Monografia
Publication
Guimarães : [s.n.], 2011
Online resource
Acesso livre
Availability
No copies available
|
|
|
Fault injection for the evaluation of critical systems [Documento eletrónico] / João Mário Quintas Cunha ; orient. João Alexandre Saraiva
Monografia
Publication
[Braga : s.n.], 2013
Online resource
Versão eletrónica. Acesso livre
Availability
No copies available
|
|
|
Manual de utilização do GKS 6.2=6. 2 no DEC-10=-10 / António Inês P. Silva, João Duarte Cunha, LNEC
Monografia
Publication
Lisboa : LNEC, 1984
Description
40 p. ;
30 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
A comparison betwee DSLs and GPLs for the implementation of unidirectional and bidirectional transformations [Documento eletrónico] = [Comparação entre DSLS e GPLS para a implementação de transformações unidirecionais e bidirecionais] / Daniel Rodrigues Pacheco Murta ; orient. Alcino Cunha, Marco Perestrelo
Monografia
Publication
[Guimarães : s.n.], 2014
Online resource
Acesso restrito à U.M. (2 anos)
Availability
No copies available
|
|
|
Spreadsheet smells [Documento eletrónico] / Hugo Manuel Sousa Ribeiro ; orient. João Saraiva, Jácome Cunha
Monografia
Publication
Braga : [s.n.], 2011
Online resource
Acesso livre
Availability
No copies available
|
|
|
A model repair application scenario with PROVA [Documento eletrónico] / Tiago Manuel da Silva Jorge ; orient. Manuel Alcino Pereira da Cunha
Monografia
Publication
[Braga : s.n.], 2014
Online resource
Acesso livre
Availability
No copies available
|
|
|
Formal approaches to critical systems development [Documento eletrónico] : a case study using SPARK / Ricardo Jorge Cantador Romano ; orient. Manuel Alcino Cunha
Monografia
Publication
[Braga : s.n.], 2011
Online resource
Acesso livre
Availability
No copies available
|
|
|
Lightweight trustworthy high-level software design [Documento eletrónico] / Liu Chong ; orient. Manuel Alcino Cunha, Nuno Moreira Macedo
Produtos Computador
Publication
[Braga : s.n.], 2022
Online resource
Acesso livre
Availability
No copies available
|
|
|
Comparação de plataformas low-code [Documento eletrónico] / Mariana Gonçalves Marques ; orient. João Saraiva e Jácome Cunha
Produtos Computador
Publication
[Braga : s.n.], 2023
Online resource
Acesso livre
Availability
No copies available
|
|
|
Bidirectional distributed data aggregation [Documento eletrónico] / Nuno Miguel Rocha de Sousa ; orient. Manuel Alcino Cunha, Paulo Sérgio Almeida
Monografia
Publication
[Guimarães : s.n.], 2014
Online resource
Acesso livre
Availability
No copies available
|
|
|
Validação de software altamente configurável [Documento eletrónico] / Pedro Manuel Pereira de Lemos ; orient. Pedro Rangel Henriques, João Paulo Macedo da Cunha,
Monografia
Publication
[Braga : s.n.], 2012
Online resource
Acesso livre
Availability
No copies available
|
|
|
Design, implementation and evaluation of model-driven spreadsheets [Documento electrónico] = [Desenho, implementação e avaliação de folhas de cálculo orientadas por modelos] / Jorge Cunha Mendes ; orient. João Alexandre Saraiva, Jácome Cunha
Monografia
Publication
[Guimarães : s.n.], 2017
Online resource
Acesso livre
Availability
No copies available
|
|
|
Evolution of model-driven spreadsheets [Documento eletrónico] / Jorge Cunha Mendes ; orient. João Alexandre Saraiva, Jácome Miguel Cunha
Monografia
Publication
[Braga : s.n.], 2012
Online resource
Acesso livre
Availability
No copies available
|
|
|
Grid computing : software environments and tools / ed. José C. Cunha and Omer F. Rana
Monografia
Publication
London : Springer-Verlag, cop. 2006
Description
XIV, 345 p. :
il. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
Projetando gráficos na Web 3 : [como preparar imagens e mídia para a Web] / texto Lynda Weinman ; design Ali Karp ; trad. Rejane Freitas ; rev. técnica Alfredo Dias da Cunha Júnior
Monografia
Publication
Rio de Janeiro : Editora Ciência Moderna, 2001
Description
XIV, 584 p. :
il. ;
22 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Analysis of message passing software using electrum [Documento eletrónico] / Bruno Renato Fernandes Carvalho ; orient. Alcino Cunha e Nuno Macedo
Produtos Computador
Publication
[Braga : s.n.], 2020
Online resource
Acesso livre
Availability
No copies available
|
|
|
Safety verification for ROS software [Documento eletrónico] = [Verificação de propriedades de correção em ROS] / André Filipe Faria dos Santos ; orient. Manuel Alcino Cunha, Nuno Moreira Macedo
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Directed evolution of model-driven spreadsheets [Documento eletrónico] / André António dos Santos da Silva ; orient. João Alexandre Saraiva, Jácome Miguel Cunha
Monografia
Publication
[Braga : s.n.], 2013
Online resource
Acesso livre
Availability
No copies available
|
|
|
Data analysis and recommender system architecture for e-commerce platforms [Documento eletrónico] = [Análise de dados e arquitetura de um sistema de recomendação para plataformas de comércio eletrónico] / Gil Fernando Ferreira da Cunha ; orient. Hugo Daniel Abreu Peixoto e José Manuel Ferreira Machado
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
Inferência estatística : com utilização do SPSS e do G*power / Joaquim Pinto Coelho, Luísa Margarida Cunha, Inês Lagatheaux Martins
Monografia
Publication
Lisboa : Sílabo, 2008
Description
306 p. :
il., gráficos e tabelas ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
No copies available
Checked out (1).
|