Your search returned 132 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Dynamic logic : new trends and applications / Second International Workshop, DaLí.. ; ed. Luís Soares Barbosa, Alexandru Baltag Publicação: Cham : Springer, cop. 2020Descrição: X, 226 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Dynamic logic : new trends and applications : revised selected papers / Third International Workshop, DaLí... ; eds. Manuel A. Martins, Igor Sedlár Publicação: Cham : Springer, cop. 2020Descrição: X, 293 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Product lifecycle management in the digital twin era : revised selected papers / 16th IFIP WG 5.1 International Conference, PLM 2019 ; ed. Clement Fortin ...[et al.] Publicação: Cham : Springer, cop. 2019Descrição: XIV, 412 p. : ilExemplares disponíveis para empréstimo: Biblioteca da ESAN (1).
Engineering analysis with ANSYS software / Tadeusz Stolarski, Yuji Nakasone, Shigeka Yoshimoto Publicação: Oxford : Elsevier, cop. 2018Descrição: X, 551 p. : ilExemplares disponíveis para empréstimo: Biblioteca da ESTGA (1).
Introdução à engenharia de software / Sérgio Guerreiro Publicação: Lisboa : FCA - Editora de Informática, cop. 2015Descrição: XII, 244 p : ilExemplares disponíveis para empréstimo: Biblioteca da ESAN (1), Biblioteca da UA (1).
Fundamentals of software engineering / Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli Publicação: India : Pearson, cop. 2015Descrição: XX, 604 p. : ilExemplares disponíveis para empréstimo: Biblioteca da ESAN (1).
A web toolkit for cloud service integration / Eduardo Miguel Coutinho Gomes de Pinho ; sob orientação de Carlos Manuel Azevedo Costa Publicação: Aveiro : A. Novo, 2014Descrição: IX, 76 p. : il. colorDescrição: 1 CD-ROMFormato digitalExemplares interditos: Biblioteca da UA (2).
A secure, distributed and dynamic RBAC for relational applications / Diogo José Domingues Regateiro ; sob orientação de Óscar Pereira e Rui Aguiar Publicação: Aveiro : D. Regateiro, 2014Descrição: 1 CD-ROMDescrição: XII, 130 p. : il. colorFormato digitalExemplares interditos: Biblioteca da UA (2).
Software engineering for embedded systems : methods, practical techniques, and applications / Robert Oshana, Mark Kraeling Publicação: Amsterdam : Elsevier, cop. 2013Descrição: XLIX, 1150 p. : il.Exemplares emprestados: Biblioteca da UA (1).
Robust data mining [Recurso eletrónico] / by Petros Xanthopoulos, Panos M. Pardalos, Theodore B. Trafalis Publicação: New York (NY) : Springer, 2013Descrição: XII, 59 pFormato digital
Privacy in next generation networks / Alfredo Miguel Melo Matos ; sob orientação de Rui Luís Andrade Aguiar e de Susana Barreto Sargento Publicação: Aveiro : A. Matos, 2012Descrição: 1 CD-ROMDescrição: X, 217 p. : il. colorFormato digitalExemplares interditos: Biblioteca da UA (2).
Service composition for biomedical applications / Pedro Jorge Pereira Lopes ; sob orientação de José Luís Guimarães Oliveira Publicação: Aveiro : P. Lopes, 2012Descrição: VI, 182 p. : il. colorDescrição: 1 CD-ROMFormato digitalExemplares interditos: Biblioteca da UA (2).
Making embedded systems / Elecia White Publicação: Beijing : O'Reilly Media, cop. 2012Descrição: XIV, 310 p. : il.Exemplares emprestados: Biblioteca da UA (1).
Design patterns for embedded systems in C : an embedded software engineering toolkit / Bruce Powell Douglass Publicação: Amsterdam : Newnes, cop. 2011Descrição: XIX, 450 p. : il.Exemplares emprestados: Biblioteca da UA (1).
IEC 61131-3 : concepts and programming languages, requirements for programming systems, decision-making aids : programming industrial automation systems / Karl-Heinz John, Michael Tiegelkamp Publicação: Heidelberg : Springer, cop. 2010Descrição: VI, 390 p. : il. + 1 CD-ROM, 1 DVD. Exemplares disponíveis para empréstimo: Biblioteca da ESTGA (3).
Especificação de requisitos e testes de usabilidade no Sistema de Informação para a Saúde Oral - SISO / Susana Almeida da Costa ; sob orientação de Carlos Manuel dos Santos Ferreira e Rui Jorge Ferreira Soares Borges Lopes Publicação: Aveiro : S. da Costa, 2010Descrição: 1 CD-ROMDescrição: V, 133 p. : il. colorFormato digitalExemplares interditos: Biblioteca da UA (2).
Touch of class : learning to program well with objects and contracts / Bertrand Meyer Publicação: Berlin : Springer, cop. 2009Descrição: LXIV, 876 p. : il. color.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
GPU gems 3 / ed. Hubert Nguyen Publicação: Upper Saddle River (NJ) : Addison-Wesley, cop. 2008Descrição: L, 942 p. : il. color. + 1 CD-ROM. Exemplares disponíveis para empréstimo: Biblioteca da UA (2).
Sistema de gestão para apoio a processos de trabalho cooperativo / Rui Daniel Machado Leal Fernandes ; sob orientação de A. Manuel de Oliveira Duarte Publicação: Aveiro : R. Fernandes, 2008Descrição: XI, 93 p. : il. colorDescrição: 1 CD-ROMFormato digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1). Exemplares interditos: Biblioteca da UA (2).
Manage software testing [] / Peter Farrell-Vinay Publicação: Boca Raton (FL) : Auerbach Publications, cop. 2008Descrição: XXIII, 573 p. : il.Formato digitalExemplares disponíveis para empréstimo: Biblioteca da UA (1).


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>