Erscheinungsjahr
Datenquelle
Format
Lizenz
Sprache
TIB-Lesesaalbestand
-
Modelle und Algorithmen zur Verklemmungsentdeckung
TIBKAT | 1978|Verlag: Technische Universität München, Institut für Informatik, München -
Spektraltheorie in geordneten Vektorräumen
TIBKAT | 1979|Verlag: Technische Universität München, Institut für Mathematik, München -
Zur Modellierung des Festigkeitsverhaltens von Bauholz bei Druck-, Zug- und Biegebeanspruchung
TIBKAT | 1981|Verlag: Sonderforschungsbereich 96, Laboratorium für den Konstruktiven Ingenieurbau (LKI), Technische Universität München, München -
Festschrift zum 70. Geburtstag von Herrn Prof. Dr. rer. nat. K. Magnus : gewidmet von seinen Schülern, München, im November 1982
TIBKAT | 1982|Verlag: Lehrstuhl B für Mechanik, Technische Universität München, München -
Tragfähigkeit von Verpreßankern in nichtbindigem Boden : neue Erkenntnisse durch Dehnungsmessungen im Verankerungsbereich
TIBKAT | 1982|Verlag: Lehrstuhl und Prüfamt für Grundbau, Bodenmechanik und Felsmechanik, Technische Universität München, München -
Beiträge zur Anwendung der Stochastik und Zuverlässigkeitstheorie in der Bodenmechanik
TIBKAT | 1983|Verlag: Lehrstuhl und Prüfamt für Grundbau, Bodenmechanik und Felsmechanik, Technische Universität München, München -
In situ-Versuche zur Ermittlung der Unterbausteifigkeit an zwei Pfeilern der Sinntalbrücke Schaippach
TIBKAT | 1984|Verlag: Lehrstuhl und Prüfamt für Grundbau, Bodenmechanik und Felsmechanik, Technische Universität München, München -
Das Textsystem TROFF auf Punktraster-Druckern : Contract TUM-INFO-07-85-I-14-280-1-FMA
TIBKAT | 1985|Verlag: Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München, München -
Making formal specifications readable : Contract TUM-INFO-12-85-I-27-350-1-FMA
TIBKAT | 1985|Verlag: Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München, München -
Spezifikation von Kommunikationsprotokollen auf der Basis attributierter Grammatiken : Contract TUM-INFO-10-85-I-22-280-1-FMA
TIBKAT | 1985|Verlag: Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München, München -
Temporal logic of programs : Lecture notes ; Contract TUM-INFO-09-85-I-21-280-1-FMA
TIBKAT | 1985|Verlag: Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München, München -
Parallel programming with modules : Contract TUM-INFO-07-85-I-16-280-1-FMA
TIBKAT | 1985|Verlag: Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München, München -
Transformational program development in a particular problem domain : Contract TUM-INFO-07-85-I-15-280-1-FMA
TIBKAT | 1985|Verlag: Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München, München -
ITS: Ein Programmsystem zur Simulation des Verhaltens von Betriebssystemen : Einführung für den Anwender ; Contract TUM-INFO-04-85-I-05-300-1-FMA
TIBKAT | 1985|Verlag: Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München, München -
Tree grammars as a pattern matching mechanism for code generation : Contract TUM-INFO-10-85-I-24-280-1-FMA
TIBKAT | 1985|Verlag: Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München, München -
On the use of composition in transformational programming : Contract TUM-INFO-07-85-I-12-280-1-FMA
TIBKAT | 1985|Verlag: Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München, München -
Simulierte Zeit und das Ada Rendezvous : Contract TUM-INFO-11-86-I-19-280-1-FMI
TIBKAT | 1986|Verlag: Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München, München -
Effiziente Algorithmen für relationale Datenbanksysteme mit Rekursion : Contract TUM-INFO-13-86-I-13-280-1-FMI
TIBKAT | 1986|Verlag: Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München, München -
A workbench for multigrid methods : Contract TUM-INFO-05-86-I-07-300-1-FMA
TIBKAT | 1986|Verlag: Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München, München -
Towards a formalization of digital circuit design : Contract TUM-INFO-02-86-I-04-350-1-FMA
TIBKAT | 1986|Verlag: Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München, München
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.