Biblioteca da Universidade do Minho catalog › Results of search for 'an:11987'

Your search returned 46 results.

		No cover image available 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). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available 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). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available 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). 1 2 3 4 5 Add to cart (remove)
		No cover image available 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). 1 2 3 4 5 Add to cart (remove)
		No cover image available 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). 1 2 3 4 5 Add to cart (remove)
		No cover image available 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). 1 2 3 4 5 Add to cart (remove)
		No cover image available 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). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available 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). 1 2 3 4 5 Add to cart (remove)
		No cover image available 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). 1 2 3 4 5 Add to cart (remove)
		No cover image available 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). 1 2 3 4 5 Add to cart (remove)
		No cover image available 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). 1 2 3 4 5 Add to cart (remove)
		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). 1 2 3 4 5 Place hold Add to cart (remove)
		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). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available 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 1 2 3 4 5 Add to cart (remove)
		No cover image 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 1 2 3 4 5 Add to cart (remove)
		No cover image available 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). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available 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 1 2 3 4 5 Add to cart (remove)
		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). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image 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). 1 2 3 4 5 Add to cart (remove)
		No cover image 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 1 2 3 4 5 Add to cart (remove)