Your search returned 43 results.

Sort
Results
1.
Dymamic flavors Siegfried Bocionek by Series: TUM. I 8708
Publication details: Munchen Universitat Munchen 1987
Availability: Items available for loan: IMAR (1)Call number: II 29282.

2.
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.

3.
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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

15.
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.

16.
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.

17.
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.

18.
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.

19.
Unendliche Objekte und Geflechte Bernhard Muller by Series: TUM. I 8213
Publication details: Munchen Universitat Munchen 1982
Availability: Items available for loan: IMAR (1)Call number: II 23981.

20.
Concurrency control auf Ethernet-ahnlichen Netzwerken Volker Deringer, Johannes Heigert by Series: TUM. I 8212
Publication details: Munchen Universitat Munchen 1982
Availability: Items available for loan: IMAR (1)Call number: II 23980.

Pages

Powered by Koha