Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 8 results. Subscribe to this search

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

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart