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

Your search returned 17 results.

		Verification of reactive systems : formal methods and algorithms / Klaus Schneider Monografia Publication Berlin : Springer, cop. 2004 Description XIV, 600 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Boolean functions and computation models / Peter Clote, Evangelos Kranakis Monografia Publication Berlin : Springer, cop. 2002 Description XIV, 601 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		The resolution calculus / Alexander Leitsch Monografia Publication Berlin : Springer, 1997 Description VIII, 300 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Communication complexity and parallel computing / Juraj Hromkovic Monografia Publication Berlin : Springer, 1997 Description X, 336 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Communication complexity and parallel computing / Juraj Hromkovic Monografia Publication Berlin : Springer, cop. 1997 Description X, 336 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		The parametric lambda calculus : a meta-model for computation / Simona Ronchi Della Rocca, Luca Paolini Monografia Publication Berlin : Springer-Verlag, cop. 2004 Description XIII, 252, [1] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Structural complexity I / José Luis Balcázar, Josep Díaz, Joaquim Gabarró Monografia Publication Berlin : Springer, cop. 1995 Description XIII, 208 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Reference (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Public-key cryptography / Arto Salomaa Monografia Publication Berlin : Springer-Verlag, cop. 1996 Description X, 271 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Finite model theory and its applications / Erich Grädel... [et al.] Monografia Publication Berlin : Springer, 2007 Description XI, 437 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions / Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring Monografia Publication Berlin : Springer, cop. 2004 Description XV, 469 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (4). Checked out (1). 1 2 3 4 5 Place hold Add to cart (remove)
		DNA computing : new computing paradigms / G. Paun, G. Rozenberg, A. Salomaa Monografia Publication Berlin : Springer, 1998 Description 402 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Introduction to process algebra / Wan Fokkink Monografia Publication [London] : Springer, [imp. 2010] Description VIII, 163 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		The complexity theory companion / Lane A. Hemaspaandra, Mitsunori Ogihara Monografia Publication Berlin : Springer, cop. 2002 Description XIII, 369 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Modelling distributed systems / Wan Fokkink Monografia Publication Berlin : Springer, cop. 2007 Description VIII, 151 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Parsing schemata : a framework for specification and analysis of parsing algorithms / Klaas Sikkel Monografia Publication Berlin : Springer, cop. 1997 Description XVI, 365 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Elements of finite model theoy / Leonid Libkin Monografia Publication Berlin : Springer, cop.2004 Description XIV, 315 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Abstract computing machines : a lambda calculus perspective / W. Kluge Monografia Publication Berlin : Springer, cop. 2005 Description XIV, 384 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)