Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 13 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
Field-programmable logic and applications / International Workshop... ; ed. Will Moore, Wayne Luk Monografia Publication Berlin : Springer-Verlag, 1995 Description XII, 450 p. : il. ; 25 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

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
CSL'89 : proceedings / 3rd Workshop on Computer Science Logic ; ed. E. Borger, H. Kleine Buning, M. M. Richter Monografia Publication Berlin : , Springer-Verlag Description VI, 437 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
CSL'88 / 2nd Workshop... ; ed. E. Borger, H. Kleine Buning, M. M. Richter Monografia Publication Berlin : Springer-Verlag, cop. 1989 Description VI, 399 p. ; 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
CSL'87 / Proceedings of Workshop... ; ed. E. Borger, H. Kleine Buning, M. M. Richter Monografia Publication Berlin : Springer-Verlag, cop. 1988 Description VI, 346 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho 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
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
Logic and computational complexity / ed. Daniel Leivant Monografia Publication Berlin : Springer-Verlag, cop. 1995 Description VIII, 514 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

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
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
Foundations of logic and functional programming / ed. M. Boscarol, L. Carlucci Aiello, G. Levi Monografia Publication Berlin : Springer-Verlag, cop. 1988 Description IV, 218 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart