Biblioteca da Universidade do Minho catalog › Results of search for 'Cambridge tracts in theoretical computer science'

Your search returned 34 results.

		The clausal theory of types / D. A. Wolfram Monografia Publication Cambridge : Cambridge University Press, 1993 Description VIII, 124 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Win H. Hesselink Monografia Publication Cambridge : Cambridge University Press, 1992 Description XII, 223 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Applications of process algebra / ed. J. C. M. Baeten Monografia Publication Cambridge : Cambridge University Press, 1990 Description IX, 317 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		The uncertain reasoner's companion : a mathematical perspective / J. B. Paris Monografia Publication Cambridge : Cambridge University Press, 1994 Description X, 212 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Topology via logic / Steven Vickers Monografia Publication Cambridge : Cambridge University Press, cop. 1989 Description 200 p. : il. ; 26 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Free choice petri nets / Jörg Desel, Javier Esparza Monografia Publication Cambridge : Cambridge University Press, 1995 Description VIII, 244 p. : il. ; 26 cm Availability No copies available 1 2 3 4 5 Add to cart (remove)
		Formal methods in artificial intelligence / Allan Ramsay Monografia Publication Cambridge : Cambridge University Press, imp. 1989 Description IX, 279 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Checked out (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Formal specification and design / L. M. G. Feijs, H. B. M. Jonkers Monografia Publication Cambridge : Cambridge University Press, 1992 Description XVI, 335 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available Process algebra / J. C. M. Baeten, W. P. Weijland Monografia Publication Cambridge : Cambridge University Press, imp. 1995 Description [8], 248 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Basic simple type theory / J. Roger Hindley Monografia Publication Cambridge : Cambridge University Press, 1997 Description XI, 186 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (3). 1 2 3 4 5 Place hold Add to cart (remove)
		Process algebra : equational theories of communicating processes / J. C. M. Baeten, T. Basten, M. A. Reniers Monografia Publication Cambridge : Cambridge University Press, 2010 Description XVI, 460 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Lambda-calculus, combinators, and functional programming / G. E. Revesz Monografia Publication Cambridge : Cambridge University Press, cop. 1989 Description X, 181 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Metamathematics, machines, and Godel's proof / N. Shankar Monografia Publication Cambridge : Cambridge University Press, 1994 Description XV, 202 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons Monografia Publication Cambridge : Cambridge University Press, cop. 2000 Description XXV, 384 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Action semantics / Peter D. Mosses Monografia Publication Cambridge : Cambridge University Press, 1992 Description XX, 372 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien Monografia Publication Cambridge : Cambridge University Press, 1998 Description XVI, 484 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Mathematical theory of domains / Viggo Stoltenberg-Hansen Monografia Publication Cambridge : Cambridge University Press, 1994 Description XII, 349 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Predicate transformer semantics / Ernest G. Manes Monografia Publication Cambridge : Cambridge University Press, 1992 Description 223 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek Monografia Publication Cambridge : Cambridge University Press, 1995 Description XIII, 354 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Deduction and declarative programming / Peter Padawitz Monografia Publication Cambridge : Cambridge University Press, 1992 Description VI, 279 p. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)