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

Your search returned 921 results.

« Previous
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
Next »

		Research directions in high-level parallel programming languages : proceedings / Workshop on... ; ed. Jean Pierre Banâtre, Daniel Le Métayer Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description VIII, 387 p. ; 24 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 Aulas práticas de programação com invocação de procedimentos remotos em RPC-SUN : relatório / Henrique João Lopes Domingos Monografia Publication Lisboa : Faculdade de Ciências da Universidade de Lisboa, 1991 Description 10, 9 f. ; 30 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 The temporal logic of reactive and concurrent systems / Zohar Manna, Amir Pnueli Monografia Publication New York : Springer-Verlag, 1992-19-- Description v. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Foundations of software technology and theoretical computer science / Fourth Conference... ; ed. Mathai Joseph, Rudrapatna Shyamasundar Monografia Publication Berlin : , Springer-Verlag Description IV, 468 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Computer programs for spelling correction : an experiment in program design / James L. Peterson Monografia Publication Berlin : Springer-Verlag, 1980 Description VI, 213 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Axiomatising the logic of computer programming / Robert Goldblatt Monografia Publication Berlin : Springer-Verlag, 1982 Description XI, 304 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 Parallel programming with modules / Stefan Eichholz Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1985 Description 40 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 Symmetric quotients / Rudolf Berghammer, Gunther Schmidt, Hans Zierer Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1986 Description 18 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 Describing semantic domains with sprouts / Gunther Schmidt, Rudolf Berghammer, Hans Zierer Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1986 Description 36 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 Formalisms and languages for specifying parallel inference systems / Wolfgang Ertel... [et al.] Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 37 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 algebraischen Charakterisierung der ganzen Zahlen / Rudolf Berghammer Monografia Publication München : Institut für Informatik der Technische Universitat München, 1984 Description 24 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 Effiziente Algorithmen für relationale Datenbanksysteme mit Rekursion / Johannes Heigert Monografia Publication München : Institut für Informatik der Technische Universitat München, 1986 Description 183 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 Ein spezieller Betriebssystem-Kern für Bedienerrechner / Stefan Schleipfer Monografia Publication München : Institut für Informatik der Technische Universitat München, 1989 Description 226 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 Die Beschreibung und regelunterstützte Bereitstellung anwendungsspezifischer Protokollhierarchien für das OSI - Anwendungssystem / Peter Kaiser Monografia Publication München : Institut für Informatik der Technische Universitat München, 1990 Description 366 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 Proceedings of the Workshop on Implementation of functional languages / ed. Lennart Augustsson... [et al.] Monografia Publication Goteborg : University of Goteborg, 1985 Description IV, [454] 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 Logic programming : a tool for reasoning / Joaquim António Marques Nunes Aparício Monografia Publication Lisboa : Universidade Nova de Lisboa, 1993 Description XX, 198 p. ; 30 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 Advanced matching in vision and artificial intelligence / [ed.] Silvia Pfleger, Bernd Radig Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1990 Description 195 p. : il. ; 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 The combination technique for the sparse grid solution of PDE's on multiprocessor machines / Michael Griebel Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1991 Description 8 p. : il. gráficos) 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 numerischen Behandlung von Singularitaten in elliptischen partiellen Differentialgleichungen / Ulrich Rüde Monografia Publication München : Institut für Informatik der Technische Universitat München, 1988 Description 91 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 Die Rolle der Lastverteilung bei der numerischen Parallelprogrammierung / R. Fom̀eier Monografia Publication München : Institut für Informatik der Technische Universitat München, 1990 Description 24 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)