|
|
|
Sistema de gestão integrada de redes de emergência : especificação formal e prototipação / Luís Manuel Dias Coelho Soares Barbosa
Monografia
Publication
Braga : Universidade do Minho, 1987
Description
67 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
|
Protocolos de comunicação : da especificação ao prototipo / Luís M. S. Barbosa
Monografia
Publication
Braga : Universidade do Minho, 1987
Description
39, 8, 4 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
|
Components as coalgebras : composition and refinement / Luís Manuel Soares Barbosa
Monografia
Publication
Guimarães : Universidade do Minho, 2000
Description
IV, 155 p. :
il. ;
30 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
|
Reescrita e dedução equacional / Luís Manuel Dias Coelho Soares Barbosa
Monografia
Publication
Braga : Universidade do Minho, 1992
Description
69 f. :
il. ;
30 cm
LocationBiblioteca de Reservados, Biblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
Availability
Available (2).
Reference (2).
|
|
|
|
Components as coalgebras / Luís Manuel Dias Coelho Soares Barbosa
Monografia
Publication
[Guimarães] : Universidade do Minho, 2001
Description
VIII, 441 p. :
il. ;
24 cm
Online resource
Versão electrónica. Acesso livre
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
|
Sistema de gestão integrada nas redes de emergência : especificação formal e prototipação / Luis Manuel Dias Coelho Soares Barbosa
Monografia
Publication
Braga : Universidade do Minho, 1987
Description
248 f., pag. var. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
|
Sobre a especificação matemática de sistemas concorrentes / Luís Manuel Dias Coelho Soares Barbosa
Monografia
Publication
Braga : L.M.D.C.S.B., 1992
Description
214 f. ;
30 cm
LocationBiblioteca de Reservados, Biblioteca da UMinho no Campus de Azurém
Availability
Available (1).
Reference (3).
|
|
|
|
Curriculum vitae / Luís Manuel Dias Coelho Soares Barbosa
Monografia
Publication
Braga : L.M.D.C.S.B., 1992
Description
4 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
|
Um exercício de programação em ML / Luís Soares Barbosa, Pedro Rangel Henriques
Monografia
Publication
Porto : L.S.B. e P.R.H., 1989
Description
17 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
|
Implementação de um gerador automático de grafos de sincronização / Luís M. S. Barbosa, José C. M. Neves
Monografia
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
|
Edição dirigida por sintaxe abstracta / Luís Barbosa, Clara Ferreira
Monografia
Publication
[Braga] : L.B., 1987
Description
[6] f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
|
Formal aspects of component software : revised selected papers / 7th International Workshop... ; ed. Luís Soares Barbosa, Markus Lumpe
Monografia
Publication
Berlin : Springer, cop. 2012
Description
X, 303 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
|
Dynamic logic : new trends and applications : Second International Workshop... / ed. Luís Soares Barbosa, Alexandru Baltag
Monografia
Publication
Cham : Springer, cop. 2020
Description
X, 226, [1] p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
|
Quantum random walks [Documento eletrónico] : simulations and physical realizations / Jaime Pereira Santos ; orient. Luís Barbosa, Bruno Chagas
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Slicing techniques applied to architectural analysis of legacy software [Documento electrónico] / Nuno Miguel Feixa Rodrigues ; orient. Luís Soares Barbosa
Monografia
Publication
Braga : [s.n.], 2008
Online resource
Versão electrónica. Acesso livre
Availability
No copies available
|
|
|
|
Validation of quantum simulations [Documento eletrónico] : essessing efficiency and reliability in experimental implementations / Afonso Rodrigues ; orient. Luís Barbosa, Carlos Tavares
Monografia
Publication
[Guimarães : s.n.], 2018
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
A virtual factory for smart city service integration [Documento eletrónico] / María Guillermina Cledou ; orient. Luis Manuel Dias Coelho Soares Barbosa, Elsa Estevez
Monografia
Publication
[Braga : s.n.], 2018
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Foundations for quantum algorithms and complexity [Documento eletrónico] = [Fundamentos de algoritmos quânticos e complexidade] / Carlos Eduardo Teixeira Tavares ; orient. Luís Manuel Dias Coelho Soares Barbosa
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Combining paraconsistent and dynamic logic for Qiskit [Documento eletrónico] / Bernardo Almeida Leite Faria ; orient. Luís Soares Barbosa e Alexandre Castro Madeira
Produtos Computador
Publication
[Braga : s.n.], 2021
Online resource
Acesso livre
Availability
No copies available
|
|
|
|
Flexible molecular alignment [Documento eletrónico] : an industrial case study on quantum algorithmic techniques / Marta Sofia Saraiva Oliveira ; orient. Luís Soares Barbosa
Produtos Computador
Publication
[Braga : s.n.], 2020
Online resource
Acesso livre
Availability
No copies available
|
