Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 103 results. Subscribe to this search

|
No cover image available
Simulationsmodelle für den Verkehr in Rechensystemen / Werner Pohlmann Monografia Publication München : Institut für Informatik der Technische Universitat München, 1990 Description 128 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart
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).

Place hold Add to cart
No cover image available
Das Textsystem Troff auf Punktraster-Druckern / Reinhard Fom̀eier Monografia Publication München : Institut für Informatik der Technische Universitat München, 1985 Description 36 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Programmierung mit Funktionsobjekten : Konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung / Hans Zierer Monografia Publication München : Institut für Informatik der Technische Universitat München, 1988 Description 159 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Two contributions to the theory of finite replacement systems : some properties of weight-reducing presentations : on the knuth-bendix completion for concurrent processes / Volker Diekert Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1987 Description 21 p.21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Query evaluation and recursion in deductive database systems / Rudolf Bayer Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1985 Description 31 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Making formal specifications readable / Herbert Ehler 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).

Place hold Add to cart
No cover image available
Stabilitatsuntersuchung von Differenzenverfahren mit Hilfe der Resultantenalgebra unter Verwendung des REDUCE-Systems / Victor G. Ganzha, Evgenii V. Vorozhtsov, Christoph Zenger Monografia Publication München : Institut für Informatik der Technische Universitat München, 1991 Description 23 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
User manual for the CIP-system-prototype / Hans-Otto Riethmayer, Friedrich Erhard, Herbert Ehler Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1985 Description 75 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Jump interpolation search trees and symmetric binary numbers / U. Güntzer, M. Paul 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).

Place hold Add to cart
No cover image available
Spezifikation von Kommunikationsprotokollen auf der Basis attributierter Grammatiken / Otto Haas Monografia Publication München : Institut für Informatik der Technische Universitat München, 1985 Description 84 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Semantics and efficient compilation for quantitative deductive databases / Nikolaus Steger... [et al.] Monografia Publication München : Institut für Informatik of the Technische Universitat München, 1988 Description 27 p. ; 21 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart