Your search returned 35 results. Subscribe to this search

|
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).

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 : 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).

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).

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).

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).

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).

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).

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).

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).

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

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).

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).

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).

Prototyping a calculus of QoS [Documento eletrónico] : aware software components / André Batista Martins ; orient. Luís Soares Barbosa, Nuno Miguel Rodrigues Monografia Publication Braga : [s.n.], 2011 Online resource Acesso livre Availability No copies available