TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Plattformunabhängige Verwendbarkeit eines Führungsinformationssystems durch den Einsatz von CORBA und Java JF - Proceedings zum Workshop Y1 - 2000 N1 - (Institut für Angewandte Systemforschung und Operations-Research <Neubiberg>: Bericht ; S0006) PB - Univ. der Bundeswehr, Fak. Informatik CY - Neubiberg 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 - BOOK A1 - Faßbender, Heinz T1 - Implementierung der Call-by-Need Auswertungsstrategie für Macro Tree-to-String Transducer auf Nested-Stack Maschinen mit geschachtelten Ausgabebändern Y1 - 1989 N1 - Diplomarbeit CY - Aachen 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 T1 - Reengineering an Ada95-programmed command and control information system by using UML JF - Proceedings : September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA / ACM SIGAda Annual International Conference (SIGAda 2001) Y1 - 2001 SN - 1-58113-392-8 N1 - (Ada letters ; 21,4) SP - 53 EP - 60 PB - ACM CY - New York, NY ER - TY - BOOK A1 - Faßbender, Heinz T1 - Architektur eines Führungsinformationssystems unter Verwendung von Enterprise Java Beans Y1 - 2003 N1 - (FKIE-Bericht ; 59) PB - FGAN-FKIE CY - Wachtberg ER - TY - BOOK A1 - Faßbender, Heinz T1 - Architektur eines plattformunabhängigen verteilten Führungsinformationssystems Y1 - 1999 N1 - (FKIE-Bericht ; 8) PB - FGAN-FKIE CY - Wachtberg ER -