Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 7 results. Subscribe to this search

|
Computer science logic : selected papers / International Workshop... ; ed. Mogens Nielsen, Wolfgang Thomas Monografia Publication Berlin : Springer, cop. 1998 Description VIII, 509 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Programming language implementation and logic programming / Second International Workshop... ; ed. P. Deransart, J. Maluszynski Monografia Publication Berlin : Springer-Verlag, 1990 Description VIII, 401 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Algebraic and logic programming / Proceedings of International Workshop... ; ed. J. Grabowski, P. Lescanne, W. Wechler Monografia Publication Berlin : Springer-Verlag, 1988 Description 278 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Field-programmable logic : smart applications, new paradigms and compilers / Proceedings of International Workshop... ; ed. Reiner W. Hartenstein, Manfred Glesner Monografia Publication Berlin : Springer-Verlag, 1996 Description X, 432 p. : il. ; 25 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
Field-programmable logic and applications : from FPGAs to computing paradigm : proceedings / 8th International Workshop... ; ed. Reiner W. Hartenstein, Andres Keevallik Monografia Publication Berlin : Springer, cop. 1998 Description XI, 529 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (2).

Place hold Add to cart
Field-programmable logic and applications : proceedings / 7th International Workshop... ; ed. Wayne Luk, Peter Y. K. Cheung, Manfred Glesner Monografia Publication Berlin : Springer, cop. 1997 Description XI, 503 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (2).

Place hold Add to cart
Higher order logic theorem proving and its applications : proceedings / International Workshop... ; ed. Luc J. M. Claesen, Michael J. C. Gordon Monografia Publication Amsterdam : North-Holland, 1993 Description XIII, 568 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart