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  - BOOK
A1  - Faßbender, Heinz
T1  - E-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.
Y1  - 1995
SN  - 3-8265-0917-X
N1  - (Berichte aus der Informatik) ; Zugl.: Ulm, Univ., Diss., 1995
PB  - Shaker
CY  - Aachen
ER  - 
TY  - CHAP
A1  - Beckmöller, S.
A1  - Wolters, J.
A1  - Breitbach, Gerd
A1  - Penkalla, H. J.
A1  - Schubert, F.
T1  - Microstructural dependent constitutive equation for inelastic analysis of internally cooled IN 738 LC turbine blades
T2  - Materials for advanced power engineering 1994 : proceedings of a conference held in Liege, Belgium, 3 - 6 Oct. 1994
Y1  - 1995
SN  - 0792330749
SP  - 829
EP  - 839
PB  - Kluwer
CY  - Dordrecht
ER  - 
TY  - JOUR
A1  - Müller, Thomas
T1  - Das "Schumacker"–Urteil des EuGH und seine Auswirkungen auf die beschränkte Einkommensteuerpflicht
JF  - Deutsches Steuerrecht : DStR
Y1  - 1995
SN  - 0012-1347 (Print); 0949-7676 (Print)
IS  - H. 16
SP  - 585
EP  - 589
ER  - 
TY  - JOUR
A1  - Alt, Helmut
T1  - Netzanschlußmöglichkeiten und energiewirtschaftliche Bewertung von Windkraftanlagen
JF  - Elektrizitätswirtschaft
Y1  - 1995
SN  - 0013-5496
VL  - Jg. 94
IS  - H. 19
SP  - 1224
EP  - 1234
ER  - 
TY  - JOUR
A1  - Alt, Helmut
T1  - Netzimpedanz- und Oberschwingungsberechnung in Netzen der öffentlichen Stromversorgung
JF  - Elektrizitätswirtschaft
Y1  - 1995
SN  - 0013-5496
VL  - Bd. 94
IS  - H. 4
SP  - 166
EP  - 174
ER  - 
TY  - CHAP
A1  - Weber, S.
A1  - Terstegge, Andreas
A1  - Halling, H.
A1  - Herzog, H.
A1  - Reinartz, R.
A1  - Reinhart, P.
A1  - Rongen, F.
A1  - Müller-Gärtner, H.-W.
T1  - The design of an animal PET: flexible geometry for achieving optimal spatial resolution or high sensitivity
T2  - Conference record / 1995 IEEE Nuclear Science Symposium and Medical Imaging, October 21 - 28, 1995, San Francisco ; vol. 2
Y1  - 1995
SN  - 078033180X ; 0780331818 ; 0780331826
SP  - 1002
EP  - 1005
PB  - IEEE
CY  - Piscataway, NJ
ER  - 
TY  - JOUR
A1  - Tüg, Helmut
A1  - Baumann, Marcus
T1  - Reply to the comments by R.L. McKenzie and P.V. Johnston on our paper “Problems of UV-B radiation measurements in biological research: Critical Remarks on current techniques and suggestions for improvements”
JF  - Geophysical research letters
Y1  - 1995
SN  - 1944-8007 (E-Journal); 0094-8276 (Print)
VL  - Vol. 22
IS  - Iss. 9
SP  - 1159
EP  - 1160
ER  - 
TY  - JOUR
A1  - Wollert, Jörg
T1  - Zeitsprung : Grundlagen und Marktübersicht zu Echtzeit-Betriebssystemen
JF  - ELRAD : Magazin für Elektronik und technische Rechneranwendungen
Y1  - 1995
SN  - 0170-1827
IS  - H. 6
SP  - 48
EP  - 59
ER  - 
TY  - JOUR
A1  - Wollert, Jörg
T1  - Euros - 166 - Echtzeitentwicklungskit für den 80C166
JF  - ELRAD : Magazin für Elektronik und technische Rechneranwendungen
Y1  - 1995
SN  - 0170-1827
IS  - H. 8
SP  - 32
EP  - 34
ER  -