TY  - JOUR
A1  - Gossla, Ulrich
A1  - Bösche, Thomas
A1  - Brunner, Andreas
T1  - Untersuchungen zur Verbesserung der Erkenntnisse über das Tragverhalten der Vorlandbögen der Eisenbahn-Marienbrücke Dresden / Bösche, Thomas ; Gossla, Ulrich ; Brunner, Andreas
JF  - 4. Symposium Experimentelle Untersuchungen von Baukonstruktionen : 27. September 2007 / Technische Universität Dresden, Fakultät Bauingenieurwesen. [Hrsg. dieses Bd. Manfred Curbach ...].
Y1  - 2007
N1  - Schriftenreihe Konstruktiver Ingenieurbau Dresden ; 12
SP  - 103
EP  - 114
PB  - Techn. Univ., Fak. Bauingenieurwesen
CY  - Dresden
ER  - 
TY  - JOUR
A1  - Holthaus-Sellheier, Ursula
A1  - Blecken, Udo
T1  - Nutzenkosten: DIN 18960-2008 - Leistungsfähige Grundlage für die zielorientierte Planung der Lebenszykluskosten / Blecken, Udo ; Holthaus-Sellheier, Ursula
JF  - Bautechnik. 85 (2008), H. 7
Y1  - 2008
SN  - 1437-0999
SP  - 464
EP  - 471
ER  - 
TY  - JOUR
A1  - Jochim, Haldor E.
T1  - Beurteilung der Ausbaunotwendigkeit von Eisenbahn-Streckenabschnitten - ein anspruchsloses Verfahren
JF  - Eisenbahn-Ingenieur-Kalender 2008 : EIK ; Jahrbuch für Schienenverkehr & Technik / Hrsg. Verband Deutscher Eisenbahn-Ingenieure e.V., VDEI
Y1  - 2007
SN  - 0934-5930
SP  - 333
EP  - 342
ER  - 
TY  - JOUR
A1  - Timme, Michael
T1  - Schriftformmangel trotz Heilungsklausel?
JF  - Neue Zeitschrift für Miet- und Wohnungsrecht : NZM. 11 (2008)
Y1  - 2008
SN  - 1434-677X
SP  - 764
EP  - 767
ER  - 
TY  - JOUR
A1  - Timme, Michael
A1  - Hülk, Fabian
T1  - Mieterhöhungsverlangen bei unwirksamer Schönheitsreparaturklausel
JF  - Monatsschrift für deutsches Recht : MdR ; Zeitschrift für die Zivilrechtspraxis. 28 (2008), H. 22
Y1  - 2008
SN  - 0340-1812
SP  - 1249
EP  - 1251
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - An implementation of syntax directed functional programming on nested-stack machines
JF  - Formal Aspects of Computing. 4 (1992), H. 4
Y1  - 1992
SN  - 0934-5043
SP  - 341
EP  - 375
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - Implementation of a universal unification algorithm for macro tree transducers
JF  - Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zoltán Ésik (ed.)
Y1  - 1993
SN  - 3-540-57163-9
N1  - (Lecture notes in computer science ; 710)
SP  - 222
EP  - 233
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - Implementation of a UU-Algorithm for primitive recursive tree functions
JF  - Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)
Y1  - 1995
SN  - 3-540-60249-6
N1  - (Lecture notes in computer science ; 965)
SP  - 233
EP  - 242
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - A verified implementation of narrowing
JF  - Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)
Y1  - 1995
SN  - 3-540-60359-X
N1  - (Lecture notes in computer science ; 982)
SP  - 63
EP  - 80
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Maneth, Sebastian
T1  - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
JF  - Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)
Y1  - 1996
SN  - 3-540-61735-3
N1  - (Lecture notes in computer science ; 1139)
SP  - 194
EP  - 208
PB  - Springer
CY  - Berlin [u.a.]
ER  -