Your search returned 46 results. Subscribe to this search

|
Exploring paraconsistent logics for quantum programs [Documento eletrónico] : paraconsistent transition systems : modal paraconsistent logic / Ana Luzia Cruz ; orient. Luís Soares Barbosa, Alexandre Madeira Produtos Computador Publication [Braga : s.n.], 2021 Online resource Acesso livre Availability No copies available

Sistemas de programação modular / Fernando Mário Martins... [et al.] Monografia Publication Braga : Universidade do Minho, [19--] Description 23 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Um processador de sintaxe abstracta para Metoo / A. Murta... [et al.] Monografia Publication [Braga] : A.M., 1987 Description [7] f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

Quantum bayesian reinforcement learning [Documento eletrónico] / Gilberto Rui Nogueira Cunha ; orient. Luís Barbosa, André Sequeira, Michael Oliveira Monografia Publication [Braga : s.n.], 2023 Online resource Acesso livre Availability No copies available

Architectural reconfiguration of interacting services [Documento eletrónico] = [Reconfiguração arquitetural da interação de serviços] / Nuno Ernesto Salgado Oliveira ; orient. Luís Soares Barbosa Monografia Publication [Guimarães : s.n.], 2015 Online resource Acesso livre Availability No copies available

Foundations and techniques for software reconfigurability [Documento eletrónico] / Alexandre Leite de Castro Madeira ; orient. Luís Soares Barbosa, Manuel A. Maritns [i.é] Martins Monografia Publication [Braga : s.n.], 2013 Online resource Versão eletrónica. Acesso livre Availability No copies available