Biblioteca da Universidade do Minho catalog › Results of search for '519.68'

Your search returned 909 results.

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

		Turbo C++ for Windows : inside &=and out / Herbert Schildt Monografia Publication Berkeley : Osborne McGraw-Hill, cop. 1992 Description XVI, 334 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)
		Programming language implementation and logic programming / Proceedings of 3rd International Symposium PLILP'91 ; ed. J. Maluszynski, M. Wirsing Monografia Publication Berlin : Springer-Verlag, 1991 Description XI, 433 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)
		C programming for MIDI / Jim Conger Monografia Publication Redwood City, Calif. : M&T Books, cop. 1988 Description 219 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		A relational theory of computing / John G. Sanderson Monografia Publication Berlin : Springer-Verlag, 1980 Description VI, 147 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		EUROSAM 84 / International Symposium on Symbolic and Algebraic Computation ; ed. John Fitch Monografia Publication Berlin : Springer-Verlag, 1984 Description XI, 396 p. ; 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 On the use of composition in transformational programming / Rudolf Berghammer Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1985 Description 23 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Principles of functional programming / Hugh Glaser, Chris Hankin, David Till Monografia Publication Englewood Cliffs, N.J. : Prentice-Hall, cop. 1984 Description XI, 251 p.23 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 Introdução à programação em Pascal : exercícios / William Findlay, David A. Watt ; trad. Ana Cristina Colaço Dias Monografia Publication Lisboa : Edições CETOP, 1981 Description 424 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Mathematics of program construction : proceedings / Second International Conference... ; ed. R. S. Bird, C. C. Morgan, J. C. P. Woodcock Monografia Publication Berlin : Springer-Verlag, cop. 1993 Description VIII, 378 p.24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Formalization of programming concepts / International Colloquium... ; ed. J. Díaz, I. Ramos Monografia Publication Berlin : Springer-Verlag, cop. 1981 Description VII, 478 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Practical XView programming / Kenneth W. Bibb, Larry Wake Monografia Publication New York : John Wiley, cop. 1993 Description XX, 460 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Programming in Martin-Lof's type theory : an introduction / Bengt Nordstrom, Kent Petersson, Jan M. Smith Monografia Publication Oxford : Clarendon Press, 1990 Description X, 221 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Logic and machines : decision problems and complexity : proceedings / Symposium Rekursive Kombinatorik ; ed. E. Borger, G. Hasenjaeger, D. Rodding Monografia Publication Berlin : Springer-Verlag, 1984 Description VI, 456 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Logics of time and computation / Robert Goldblatt Monografia Publication Menlo Park : CSLI, cop. 1992 Description IX, 180 p. ; 23 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 ITS - ein Programmsystem zur Simulation des Verhaltens von Betriebssystemen : Einführung für den Anwender / Stefan Eichholz, Bernhard Hoferer, Helma Schneider Monografia Publication München : Institut für Informatik der Technische Universitat München, 1985 Description 119 p. ; 21 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 Attributierte Transitionsnetze und ihre Anwendungen in Programmierumgebungen / Jürgen Knopp Monografia Publication München : Institut für Informatik der Technische Universitat München, 1987 Description 56 p. ; 21 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 Zur temporalen Logik von Baumen / Bernd-Holger Schlingloff Monografia Publication München : Institut für Informatik der Technische Universitat München, 1990 Description 189 p. ; 21 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 A toolkit based approach for constructing gateways / Ernst Biersack Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1988 Description 35 p. ; 21 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 Time optimal left to right construction of position trees / Michael Kempf, Rudolf Bayer, Ulrich Güntzer Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1986 Description 30 p. ; 21 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 Setheo : a high-performance theorem prover / Reinhold Letz... [et al.] Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 30 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)