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

Your search returned 46 results.

		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 Programação coindutiva : cálculos e aplicações / Paula Cristina Riobom Soares Ribeiro ; orient. Luís Soares Barbosa Monografia Publication Braga : [s.n.], 2005 Description [5] f.,141 p. ; 30 cm Online resource Versão electrónica. Acesso livre LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available Formal specification of an object-oriented framework for designing control systems [Documento electrónico] / David Manuel Rodrigues Sora ; orient. Luís Soares Barbosa Produtos Computador Publication Guimarães : [s.n.], 2007 Description 1 disco óptico (CD-ROM) : il. ; em caixa 13x14x1 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 FACS 2010 [pre-proceedings] / 7th International Workshop on Formal Aspects of Component Software... ; ed. Markus Lumpe, Luís S. Barbosa Monografia Publication [Guimarães] : Universidade do Minho, 2010 Description XI, [2], 264 p. : il. ; 26 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 An engine for coordination-based architectural reconfigurations [Documento eletrónico] / Flávio Gonçalves Rodrigues ; orient. Luís Soares Barbosa Monografia Publication Guimarães : [s.n.], 2014 Online resource Acesso Livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		Programming languages : proceedings / 16th Brazilian Symposium... ; ed. Francisco Heron de Carvalho Junior, Luis Soares Barbosa Monografia Publication Heidelberg : Springer, cop. 2012 Description VIII, 164 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-enhanced reinforcement learning [Documento eletrónico] / André Manuel Resende Sequeira ; orient. Luís Paulo Santos, Luís Soares Barbosa Produtos Computador Publication [Braga : s.n.], 2020 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available On quantum bayesian networks [Documento eletrónico] / Michael de Oliveira ; orient. Luís Soares Barbosa Produtos Computador Publication [Braga : s.n.], 2019 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available Regular expressions for timed automata [Documento eletrónico] / Paulo Ribeiro ; orient. Luís Barbosa, Renato Neves 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 On the development of CAMILA / J. J. Almeida... [et al.] Monografia Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available 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). 1 2 3 4 5 Add to cart (remove)
		No cover image available Proof support for hybridised logics [Documento electrónico] / Renato Jorge Araújo Neves ; orient. Manuel António Martins, Luís Soares Barbosa Monografia Publication [Braga : s.n.], 2013 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		Language engineering and rigorous software development / International LerNet ALFA Summer School 2008 / edited by Ana Bove... [et al.] Monografia Publication Berlin : Springer, 2009 Description VI, 300 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available Learning the physics of open quantum systems from experiments [Documento eletrónico] = [Caraterização de sistemas quânticos abertos através de dados experimentais] / Alexandra Francisco Ramôa da Costa Alves ; orient. Ernesto Galvão, Luís Soares Barbosa 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 Weighted computations [Documento eletrónico] : semantics and program logics = [Computações pesadas : semânticas e lógicas de programas] / Leandro Rafael Moreira Gomes ; orient. Luís Soares Barbosa, Alexandre Madeira Produtos Computador Publication [Braga : s.n.], 2022 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)
		No cover image available Hybrid programs [Documento eletrónico] / Renato Jorge Araújo Neves ; orient. Luís Soares Barbosa, Manuel António Martins Monografia Publication [Guimarães : s.n.], 2018 Online resource Acesso livre Availability No copies available 1 2 3 4 5 Add to cart (remove)