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

Your search returned 28 results.

		Geometrical methods in robotics / J. M. Selig Monografia Publication New York : Springer, cop. 1996 Description XIII, 269 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)
		Super-recursive algorithms / Mark Burgin Monografia Publication New York : Springer, cop. 2005 Description XII, 304 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		A theory of objects / Martín Abadi, Luca Cardelli Monografia Publication New York : Springer, cop. 1996 Description XIII, 396 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Expert systems and probabilistic network models / Enrique Castillo, José Manuel Gutiérrez, Ali S. Hadi Monografia Publication New York : Springer, cop. 1997 Description XIV, 605 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		ML with concurrency : design, analysis, implentation, and application / ed. Flemming Nielson Monografia Publication New York : Springer, cop. 1997 Description X, 255 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing Monografia Publication New York : Springer, cop. 2005 Description XI, 420 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Active rules in database systems / ed. Norman W. Paton Monografia Publication New York : Springer, cop. 1999 Description XIX, 439 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Fundamentals of computer security / Josef Pieprzyk, Thomas Hardjono, Jennifer Seberry Monografia Publication Berlin : Springer, cop. 2003 Description XX, 677 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Incomplete information : structure, inference, complexity / Stéphane P. Demri, Ewa S. Orlowska Monografia Publication Berlin : Springer, cop. 2002 Description XVIII, 405 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		No cover image available Coloured petri nets : basic concepts, analysis methods and practical use / Kurt Jensen Monografia Publication Berlin : Springer, imp. 1997-19-- Description v. : il. ; 25 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (3). 1 2 3 4 5 Place hold Add to cart (remove)
		Theoretical aspects of local search / Wil Michiels, Emile Aarts, Jan Korst Monografia Publication Berlin : Springer, 2007 Description VIII, 235 p. : il. ; 25 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 Coloured petri nets : basic concepts, analysis methods and practical use / Kurt Jensen Monografia Publication Berlin : Springer, imp. 1997-19-- Description v. : il. ; 25 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Information and randomness : an algorithmic perspective / Cristian Calude ; foreword by Gregory J. Chaitin, Arto Salomaa Monografia Publication Berlin : Springer-Verlag, 1997 Description 240 p. : il. ; 25 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Petri Net algebra / Eike Best, Raymond Devillers, Maciej Koutny Monografia Publication Berlin : Springer, cop. 2001 Description XI, 378 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll Monografia Publication New York : Springer-Verlag, imp. 1984 Description VIII, 220 p. : il. ; 25 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 Algorithmic language program development / F. L. Bauer, H. Wõssner ; colab. H. Partsch, P. Pepper Monografia Publication Berlin : Springer-Verlag, 1982 Description XVI, 497 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		An introduction to formal language theory / Robert N. Moll, Michael A. Arbib, A. J. Kfoury ; colab. James Pustejovsky Monografia Publication New York : Springer-Verlag, cop. 1988 Description X, 203 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 in the 1990s : an introduction to the calculation of programs / Edward Cohen Monografia Publication New York : Springer-Verlag, cop. 1990 Description XV, 265 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		The design of well-structured and correct programs / Suad Alagic, Michael A. Arbib Monografia Publication New York : Springer-Verlag, cop. 1978 Description X, 292 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 science of programming / David Gries Monografia Publication New York : Springer-Verlag, imp. 1989 Description XV, 366 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)