Results of search for 'ccl=pl:"Munchen :"' › the IMAR Library catalog

Results
	81.	No cover image available Wechselseitige Einflusse von Leistung und zuverlassigkeit in rechensystemen Stand der forschung by Schoen, Olaf Series: TUM. I8523 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28182. Place hold Add to cart (remove)
	82.	No cover image available Spezifikation von kommunikationsprotokollen auf der basis attributierter grammatiken Otto Haas by Haas, Otto Series: TUM. I8522 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28181. Place hold Add to cart (remove)
	83.	No cover image available Temporal logic of programs Lecture Notes Fred Kroger by Kroger, Fred Series: TUM. I8521 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28180. Place hold Add to cart (remove)
	84.	No cover image available Jump interpolation search trees an d symmetric binary numbers U. Guntzer, M. Paul by Guntzer, U Paul, M Series: TUM. I8520 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28179. Place hold Add to cart (remove)
	85.	No cover image available Discretizations for multigrid methods Ulrich Rude by Rude, Ulrich Series: TUM. I8519 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28178. Place hold Add to cart (remove)
	86.	No cover image available Self-composability of attribute coupled grammars Sabine Thurme by Thurme, Sabine Series: TUM. I8518 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28177. Place hold Add to cart (remove)
	87.	No cover image available Probabilistische programme:sematik und anwendungen Christian Herzog by Herzog, Christian Series: TUM. I8517 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28176. Place hold Add to cart (remove)
	88.	No cover image available Parallel programming with modules Stefan Eichholz by Eichholz, Stefan Series: TUM. I8516 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28175. Place hold Add to cart (remove)
	89.	No cover image available Transformational program development in a particular problem domain H. Partsch by Partsch, H Series: TUM. I8515 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28174. Place hold Add to cart (remove)
	90.	No cover image available Das textsystem TROFF auf Punktraster-Druckern Reinhard Fobmeier by Fobmeier, Reinhard Series: TUM. I8514 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28173. Place hold Add to cart (remove)
	91.	No cover image available Control for iterative evaluation of recursive rules in database systems U. Guntzer, R. Bayer by Guntzer, U Bayer, R Series: TUM. I8513 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28172. Place hold Add to cart (remove)
	92.	No cover image available On the use of composition in transformational programming Rudolf Berghammer by Berghammer, Rudolf Series: TUM. I8512 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28171. Place hold Add to cart (remove)
	93.	No cover image available User manual for the CIP-system- prototype Hans-Otto Riethmayer, Friedrich Erhard, Herbert Ehler by Riethmayer, Hans-Otto Erhard, Friedrich Ehler, Herbert Series: TUM. I8511 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28170. Place hold Add to cart (remove)
	94.	No cover image available The Munich Project CIP Volume II: the program transformation system CIP-S patr. I: formal specification A. Horsch, B. Moller, H. Partsch, O. Paukner, P. Pepper by Horsch, A Moller, B Partsch, H Series: TUM. I8509 Publication details: Munchen Technische Universitat Munchen 1985 Availability: No items available. Add to cart (remove)
	95.	No cover image available Response times of a real-time system with microprogrammed operating system Kernel Theodor Tempelmeier by Tempelmeier, Theodor Series: TUM. I8508 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28168. Place hold Add to cart (remove)
	96.	No cover image available Example of program development: the Ackermann function Herbert Ehler by Ehler, Herbert Series: TUM. I8507 Publication details: Munchen Technische Universitat Munchen 1985 Availability: Items available for loan: IMAR (1)Call number: II 28167. Place hold Add to cart (remove)
	97.	No cover image available Automatische konstruktion und einheitliche darstellung von attributauswertungsalogarithmen Gerhard Jochum by Jochum, Gerhard Series: TUM. I8113 Publication details: Munchen Universitat Munchen 1981 Availability: Items available for loan: IMAR (1)Call number: II 23044. Place hold Add to cart (remove)
	98.	No cover image available Automatische Erzeugung von maschinencode-optimierern Robert Giegerich by Giegerich, Robert Series: TUM. I8112 Publication details: Munchen Universitat Munchen 1981 Availability: Items available for loan: IMAR (1)Call number: II 23043. Place hold Add to cart (remove)
	99.	No cover image available Betriebssystemkern eines mehrprozessorsystems R. Nagele, J. Schlichter by Nagele, R Schlichter, J Series: TUM. I8111 Publication details: Munchen Universitat Munchen 1981 Availability: Items available for loan: IMAR (1)Call number: II 23042. Place hold Add to cart (remove)
	100.	No cover image available Parameterized specifications: parameter passing and optimizing implementation Harald Ganzinger by Ganzinger, Harald Series: TUM. I8110 Publication details: Munchen Universitat Munchen 1981 Availability: Items available for loan: IMAR (1)Call number: II 23041. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 485 results.