Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 9 results. Subscribe to this search

|
Temporal logic of programs / Fred Krõger Monografia Publication Berlin : Springer-Verlag, cop. 1987 Description VIII, 148 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Kolmogorov complexity and computational complexity / ed. Osamu Watanabe Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description 105 p. ; LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Parsing theory / Seppo Sippu, Eljas Soisalon-Soininen Monografia Publication Berlin : Springer, 1988-1990 Description 2 v. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Petri nets : an introduction / Wolfang Reisig Monografia Publication Berlin : Springer-Verlag, cop. 1985 Description X, 161 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
No cover image available
Fundamentals of algebraic specification / Hartmut Ehrig, Bernd Mahr Monografia Publication Berlin : Springer-Verlag, cop. 1985-1990 Description 2 v. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Duration calculus : a formal approach to real-time systems / Zhou Chaochen, Michael R. Hansen Monografia Publication Berlin : Springer, [imp. 2010] Description X, 247 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Universal algebra for computer scientists / Wolfgang Wechler Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description XII, 339 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Public-key cryptography / Arto Salomaa Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description X, 245 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Iteration theories : the equational logic of iterative processes / Stephen L. Bloom, Zoltán Esik Monografia Publication Berlin : Springer-Verlag, cop. 1993 Description XV, 630 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart