|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
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).
|
|
|
Topics in theoretical computer science : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020 : proceedings / ed. Luís S. Barbosa, Mohammad Ali Abam
Monografia
Publication
Cham : Springer, cop. 2020
Description
VIII, 114, [1] p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Especificação formal de um sistema de gestão de comunicações / F. Mário Martins... [et al.]
Monografia
Publication
Braga : Universidade do Minho, 1986
Description
76 f. ;
30 cm
LocationBiblioteca de Reservados
Availability
Reference (1).
|
|
|
Formal specification of an object-oriented framework for designing control systems / David Manuel Rodrigues Sora ; orient. Luís Soares Barbosa
Monografia
Publication
Guimarães : [s.n.], 2007
Description
XII, 230 p. :
il. ;
30 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (2).
|
|
|
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
|
|
|
Specification and refinement of software connectors [Documento electrónico] / Marco António de Castro Barbosa ; orient. Luís Soares Barbosa
Monografia
Publication
Braga : [s.n.], 2009
Online resource
Versão electrónica. Acesso livre
Availability
No copies available
|