Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 4 results. Subscribe to this search

|
Automated deduction - Cade-14 : proceedings / 14th International Conference... ; ed. William McCune Monografia Publication Berlin : Springer-Verlag, cop. 1997 Description XIV, 462 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
DYFP 2009 : book of abstracts / 14th International Conference... Monografia Publication Eindhoven : Materials Technology Group, 2009 Description XII, 478 p. : il. ; 21 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
Advanced information systems engineering : proceedings / 14th International Conference, CAiSE'2002 ; ed. Anne Banks Pidduck...[et al.] Monografia Publication Berlin : Springer-Verlag, cop. 2002 Description XIV, 799 p. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
Formal aspects of component software : proceedings / 14th International Conference, FACS 2017 ; ed. José Proença, Markus Lumpe Monografia Publication Cham : Springer, cop. 2017 Description X, 250, [1] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (3).

Place hold Add to cart