Your search returned 51 results. Subscribe to this search

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

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

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

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

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

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

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

Utilização de resinas epoxídicas para reabilitação de betões / Luís Filipe Barbosa da Silva ; orient. José Luís Barroso de Aguiar Monografia Publication Guimarães : [s.n.], 2008 Description V, 48 f. : il. ; 30 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (2).

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

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

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

Third International Summer School on Advanced Functional Programming, : research themes on functional programming / ed. L. S. Barbosa, J. A. Saraiva Monografia Publication [Braga] : Universidade do Minho, [1998] Description [90] p. ; 21 cm LocationBiblioteca de Reservados Availability Reference (1).

Sistema de previsão e alerta de cheias e inundações no rio Este [Documento eletrónico] = [Flood early warning system] / Rui Nuno Barbosa Veloso ; orient. José Luís Pinho Monografia Publication Guimarães : [s.n.], 2014 Online resource Acesso livre Availability No copies available

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

Aperçu historique de l'enseignement de l'anatomie humaine à Lisbonne / M. B. Barbosa Sueiro & Victor Fontes / H. de Vilhena Monografia Publication [Lisboa : s.n.], 1933 Description P. 489-536 : il. ; 26 cm LocationBiblioteca Prof. Joaquim Pinto Machado Availability Reference (1).

Development of a poly(L-Lactic acid) based drug release system = [Desenvolvimento de um sistema de libertação de fármacos baseado no ácido poli(L-láctico)] / João Alberto Cunha Barbosa ; orient. Senentxu Lanceros-Mendez, Clarisse Ribeiro Monografia Publication [Braga : s.n.], 2015 Description 77 p. : il. ; 30 cm Online resource Versão eletrónica. Acesso livre LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Rutura da barragem da Caniçada [Documento electrónico] : simulação de cenários de inundação no vale a jusante / Carla Sofia Pimenta Barbosa ; orient. Maria Manuela Lemos Lima, José Luis Pinho Monografia Publication [Braga : s.n.], 2016 Online resource Acesso restrito à U.M. (3 anos) Availability No copies available