Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 3 results. Subscribe to this search

|
Linear time, branching time and partial order in logics and models for concurrency / School-Workshop... ; ed. J. W. de Bakker, W.-P. de Roever, G. Rozenberg Monografia Publication Berlin : Springer-Verlag, cop. 1989 Description VIII, 713 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Algebraic and coalgebraic methods in the mathematics for program construction : International summer school and workshop / ed. Roland Backhouse, Roy Crole, Jeremy Gibbons Monografia Publication Berlin : Springer, cop. 2002 Description XIV, 385 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
International Workshop on "Earthquake Engineering on Timber Structures" / organised by Department of Civil Engineering, Faculty of Sciences and Technology, University of Coimbra, Department of Civil Engineering, School of Technology, Polytechnic Institute of Castelo Branco Monografia Publication [S.l. : s.n.], 2006 Description 197 p. : il. ; 30 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (2).

Place hold Add to cart