Your search returned 486 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
No cover image available
Towards an algebraic specification of code generation Rudolf Berghammer, Herbert Ehler, Hans Zierer by Series: TUM. I 8707
Publication details: Munchen Universitat Munchen 1987
Availability: Items available for loan: IMAR (1)Call number: II 29281.

Place hold Add to cart
22.
No cover image available
Theoretical CSP and formal languages Drik Taubner by Series: TUM. I 8706
Publication details: Munchen Universitat Munchen 1987
Availability: Items available for loan: IMAR (1)Call number: II 29280.

Place hold Add to cart
23.
No cover image available
Infinitary partial Petri net languages and their relationship to other Petri net semantics Astrid Kiehn by Series: TUM. I 8705
Publication details: Munchen Universitat Munchen 1987
Availability: Items available for loan: IMAR (1)Call number: II 29279.

Place hold Add to cart
24.
No cover image available
Neue Ansatze zum problem der kollisionvermeidung H. Wendel by Series: TUM. I 8704
Publication details: Munchen Universitat Munchen 1987
Availability: Items available for loan: IMAR (1)Call number: II 29278.

Place hold Add to cart
25.
No cover image available
Compiling exploratory and goal-directed deduction into sloppy delta-iteration Helmut Schmidt, Werner Kiessling, Ulrich Guntzer, Rudolf Bayer by Series: TUM. I 8703
Publication details: Munchen Universitat Munchen 1987
Availability: Items available for loan: IMAR (1)Call number: II 29277.

Place hold Add to cart
26.
No cover image available
Multiple $gamma$-extrapolation for multigrid methods Ulrich Rude by Series: TUM. I 8701
Publication details: Munchen Universitat Munchen 1987
Availability: Items available for loan: IMAR (1)Call number: II 29276.

Place hold Add to cart
27.
No cover image available
Symmetric quotiens Rudolf Berghammer, Gunther Schmidt, Hans Zierer by Series: TUM. I 8620
Publication details: Munchen Universitat Munchen 1986
Availability: Items available for loan: IMAR (1)Call number: II 29275.

Place hold Add to cart
28.
No cover image available
Simulierte Zeit und Ada rendezvous Werner Pohlmann by Series: TUM. I 8619
Publication details: Munchen Universitat Munchen 1986
Availability: Items available for loan: IMAR (1)Call number: II 29274.

Place hold Add to cart
29.
No cover image available
LISP-PROLOG-YAPS ( eine vergleichende untersuchung) Siegfried Bocionek by Series: TUM. I 8618
Publication details: Munchen Universitat Munchen 1986
Availability: Items available for loan: IMAR (1)Call number: II 29273.

Place hold Add to cart
30.
No cover image available
Time optimal left to right construction of position trees Michael Kempf, Rudolf Bayer, Ulrich Guntzer by Series: TUM. I 8617
Publication details: Munchen Universitat Munchen 1986
Availability: Items available for loan: IMAR (1)Call number: II 29272.

Place hold Add to cart
31.
No cover image available
ParMod a language for programming with parallel modules Stefan Eichholz by Series: TUM. I 8616
Publication details: Munchen Universitat Munchen 1986
Availability: Items available for loan: IMAR (1)Call number: II 29271.

Place hold Add to cart
32.
No cover image available
A transformational development of several algorithms for testing the existence of cycles in a directed graph Rudolf Berghammer by Series: TUM. I 8615
Publication details: Munchen Universitat Munchen 1986
Availability: Items available for loan: IMAR (1)Call number: II 29270.

Place hold Add to cart
33.
No cover image available
The step failure semantics Drik Taubner, Walter Vogler by Series: TUM. I 8614
Publication details: Munchen Universitat Munchen 1986
Availability: Items available for loan: IMAR (1)Call number: II 29269.

Place hold Add to cart
34.
No cover image available
Effiziente algorithmen fur relationale datenbanksysteme mit rekursion Johannes Heigert by Series: TUM. I 8613
Publication details: Munchen Universitat Munchen 1986
Availability: Items available for loan: IMAR (1)Call number: II 29268.

Place hold Add to cart
35.
No cover image available
Transforming temporal logic specifications H. Schlingloff, F. Kroger by Series: TUM. I 8612
Publication details: Munchen Universitat Munchen 1986
Availability: Items available for loan: IMAR (1)Call number: II 29267.

Place hold Add to cart
36.
No cover image available
Describing semantic domains with sprouts Gunther Schmidt, Rudolf Berghammer, Hans Zierer by Series: TUM. I 8611
Publication details: Munchen Universitat Munchen 1986
Availability: Items available for loan: IMAR (1)Call number: II 29266.

Place hold Add to cart
37.
No cover image available
Ein zuteilungsmodell fur multiprozessor-echtzeitsysteme Gerhard Schrott by Series: TUM. I 8609
Publication details: Munchen Universitat Munchen 1986
Availability: Items available for loan: IMAR (1)Call number: II 29265.

Place hold Add to cart
38.
No cover image available
Dampfungsfreie numerische Verfahren fur linear hyperbolische Dgl-systeme zur simulation frachwasserstrimungen in naturalichen Gerinnen Hans-Joachim Czirwitzky by Series: TUM. M 8704
Publication details: Munchen Universitat Munchen 1987
Availability: Items available for loan: IMAR (1)Call number: II 29264.

Place hold Add to cart
39.
No cover image available
Klassifikation der Raumzeiten mit linearen, diagonalen, statischen metriken von Buchner mit hilfe des rangs des Krummungstensors A. Jakubowicz by Series: TUM. M 8703
Publication details: Munchen Universitat Munchen 1987
Availability: Items available for loan: IMAR (1)Call number: II 29263.

Place hold Add to cart
40.
No cover image available
Global construction of the normalzation of Stein spaces Sandra Hayes, Genevieve Pourcin by Series: TUM. M 8701
Publication details: Munchen Technische universitat Munchen 1987
Availability: Items available for loan: IMAR (1)Call number: II 29262.

Place hold Add to cart
Pages

Powered by Koha