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

Your search returned 163 results.

« Previous
1
2
3
4
5
6
7
8
9
Next »

		Functional programming : aplication and iplementation / Peter Henderson Monografia Publication Englewood Cliffs : Prentice-Hall, cop. 1980 Description XI, 355 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Programming from first principles / Richard Bornat Monografia Publication Englewood Cliffs, N.J. : Prentice Hall International, cop. 1987 Description XVIII, 538 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		The Z notation : a reference manual / J. M. Spivey Monografia Publication New York : Prentice Hall, cop. 1989 Description XI, 155 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 programming languages / R. D. Tennent Monografia Publication New York : Prentice Hall, cop. 1981 Description XIV, 271 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Introduction to Pascal / Jim Welsh, John Elder Monografia Publication Englewood Cliffs : Prentice-Hall International, cop. 1979 Description XVIII, 282 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Communicating sequential processes / C. A. R. Hoare Monografia Publication Englewood Cliffs : Prentice-Hall, cop. 1985 Description 256 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). Lost (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Functional programming using standard ML / Ake Wikstrom Monografia Publication London : Prentice Hall, 1987 Description XVII, 446 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Reference (1). 1 2 3 4 5 Add to cart (remove)
		Parallel numerical algorithms / T. L. Freeman, C. Phillips Monografia Publication New York : Prentice Hall, cop. 1992 Description XI, 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)
		Nonlinear optimization : complexity issues / Stephen A. Vavasis Monografia Publication New York : Oxford University Press, 1991 Description X, 165 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Reference (1). 1 2 3 4 5 Add to cart (remove)
		The implementation of functional programming languages / Simon L. Peyton Jones ; colab. Philip Wadler... [et al.] Monografia Publication New York : Prentice Hall, 1987 Description XVIII, 445 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Cornerstones of undecidability / Grzegorz Rozenberg, Arto Salomaa Monografia Publication New York : Prentice Hall, 1994 Description XVI, 197 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Computer science : a modern introduction / Les Goldschlager, Andrew Lister Monografia Publication New York : Prentice-Hall, 1988 Description XIII, 330 p. : il. ; 23 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)
		Communication and concurrency / Robin Milner Monografia Publication New York : Prentice-Hall, cop. 1989 Description XI, 260 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Systematic software development using VDM / Cliff B. Jones Monografia Publication New York : Prentice-Hall, cop. 1990 Description XIV, 333 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Distributed systems and computer networks / Morris Sloman, Jeff Kramer Monografia Publication Englewood Cliffs : Prentice-Hall, cop. 1987 Description XVI, 336 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Computation as logic / René Lalement ; trad. John Plaice Monografia Publication Englewood Cliffs, N.J. : Prentice Hall, cop. 1993 Description XI, 387 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Formal specification and software development / Dines Bjorner, Cliff B. Jones ; colab. Derek Andrews... [et al.] Monografia Publication Englewood Cliffs : Prentice Hall, cop. 1982 Description X, 501 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Introduction to the theory of complexity / Daniel Pierre Bovet, Pierluigi Crescenzi Monografia Publication New York : Prentice-Hall, cop. 1994 Description XI, 282 p. ; 25 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)
		Programming language concepts and paradigms / David A. Watt ; contrib. William Findlay, John Hughes Monografia Publication New York : Prentice Hall, 1990 Description XVI, 322 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till Monografia Publication London : Prentice Hall, 1996 Description XIV, 434 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)