Biblioteca da Universidade do Minho catalog › Results of search for 'International series in Computer science'

Your search returned 120 results.

		Algebra of programming / Richard Bird, Oege de Moor Monografia Publication New York : Prentice Hall, 1997 Description XIV, 295 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). Reference (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Real-time systems : specification, verification and analysis / ed. Mathai Joseph Monografia Publication London : Prentice Hall, cop. 1996 Description XIV, 278 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Category theory for computing science / Michael Barr, Charles Wells Monografia Publication New York : Prentice Hall, 1990 Description XV, 432 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Introduction to functional programming / Richard Bird, Philip Wadler Monografia Publication New York : Prentice Hall, 1988 Description XV, 293 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Introduction to Pascal / Jim Welsh, John Elder Monografia Publication New York : Prentice Hall, cop. 1988 Description X, 315 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Object-oriented databases : a semantic data model approach / Peter M. D. Gray, Krishnarao G. Kulkarni, Norman W. Paton Monografia Publication New York : Prentice Hall, 1992 Description XV, 237 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Introduction to the theory of programming languages / Bertrand Meyer Monografia Publication New York : Prentice Hall, cop. 1991 Description XVI, 447 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 program correctness / Jaco de Bakker ; colab. Arie de Bruin, Jeffery Zucker Monografia Publication Englewood Cliffs, N.J. : Prentice Hall, cop. 1980 Description XVI, 505 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Case studies in systematic software development / ed. Cliff B. Jones, Roger C. F. Shaw Monografia Publication New York : Prentice Hall, 1990 Description XV, 387 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho Availability Available (1). Checked out (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Computational category theory / David E. Rydeheard, Rod M. Burstall Monografia Publication New York : Prentice Hall, 1988 Description XIV, 257 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Checked out (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Programming in occam R2 / Geraint Jones, Michael Goldsmith Monografia Publication New York : Prentice Hall, 1988 Description X, 317 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Principles of concurrent and distributed programming / M. Ben-Ari Monografia Publication New York : Prentice Hall, cop. 1990 Description X, 225 p. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Computer science : a mathematical introduction / Art Lew Monografia Publication Englewood Cliffs : Prentice-Hall, cop. 1985 Description XXVI, 421 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Computer and communication systems performance modelling / Peter J. B. King Monografia Publication New York : Prentice Hall, 1990 Description XIV, 245 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Object-oriented software construction / Bertrand Meyer Monografia Publication New York : Prentice-Hall, 1988 Description XVIII, 534 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho, Biblioteca da UMinho no Campus de Azurém Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		The logic of programming / Eric C. R. Hehner Monografia Publication Englewood Cliffs, N.J. : Prentice-Hall, cop. 1984 Description 361 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1). 1 2 3 4 5 Add to cart (remove)
		No cover image available Mathematical logic and programming languages / ed. C. A. R. Hoare, J. C. Shepherdson Monografia Publication Englewood Cliffs, New Jersey : Prentice-Hall, cop. 1985 Description 184 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1). 1 2 3 4 5 Add to cart (remove)
		Mathematical logic for computer science / M. Ben-Ari Monografia Publication New York : Prentice Hall, 1993 Description XI, 305 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Discrete-time models for communication systems including ATM / Herwig Bruneel, Byung G. Kim Monografia Publication Boston : Kluwer Academic Publishers, cop. 1993 Description X, 200 p. : il. gráficos ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Coordination of distributed problem solvers / Edmund H. Durfee Monografia Publication Bostob : Kluwer Academic, cop. 1988 Description VIII, 269 p. : il. gráficos ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)