Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 7 results. Subscribe to this search

|
Computability, complexity, logic / E. Bõrger Monografia Publication Amsterdam : North Holland, 1989 Description XX, 592 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Abstract state machines : a method for high-level system design and analysis / Egon Börger, Robert Stärk Produtos Computador Publication Berlin : Springer, cop. 2003 Description X, 438 p. ; 24 cm + 1 CD-Rom LocationBiblioteca Geral da Universidade do Minho Availability Available (4).

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
Logic and machines : decision problems and complexity : proceedings / Symposium Rekursive Kombinatorik ; ed. E. Borger, G. Hasenjaeger, D. Rodding Monografia Publication Berlin : Springer-Verlag, 1984 Description VI, 456 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich Monografia Publication Berlin : Springer, cop. 1997 Description XII, 482 p. : il. ; 24 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
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