TY - CHAP AU - Bigga, Regine AU - Oberliesen, R. ID - 27969 T2 - Neue Technologien und technisch-ökonomische Bildung. TI - Geschlechtsspezifische Arbeitsteilung und technische Innovation - Neue Technologien, Frauenerwerbsarbeit und historisch-genetisches Lernen über Arbeit und Technik. ER - TY - JOUR AU - Noé, Reinhold ID - 38491 IS - 25 JF - ELECTRONICS LETTERS SN - 0013-5194 TI - ENDLESS POLARIZATION CONTROL EXPERIMENT WITH 3 ELEMENTS OF LIMITED BIREFRINGENCE RANGE VL - 22 ER - TY - JOUR AU - Noé, Reinhold ID - 38490 IS - 15 JF - ELECTRONICS LETTERS SN - 0013-5194 TI - ENDLESS POLARIZATION CONTROL IN COHERENT OPTICAL COMMUNICATIONS VL - 22 ER - TY - GEN AU - Heppke, G. AU - Oestreicher, F. AU - Kitzerow, Heinz-Siegfried AU - Krumrey, M. ID - 40636 TI - Optisches System mit einer Flüssigkristallzelle, Verfahren zu seinem Betrieb und seine Verwendung ER - TY - CHAP AU - Grotjahn, Rebecca ID - 40617 SN - 9783877060414 T2 - Das Niedersächsische Staatsorchester 1636–1986 TI - Das Städtische Orchester 1921–1955 ER - TY - CHAP AU - Hilgert, Joachim AU - Hofmann, K.H. ED - Nagel, R. ID - 51487 T2 - Aspects of Positivity in Functional Analysis TI - Invariant Cones in Real Lie Algebras ER - TY - JOUR AU - Hilgert, Joachim ID - 51454 JF - Studia Math. TI - The Mayer-Vietoris and the Puppe Sequence in K-Theory for C*-algebras VL - 83 ER - TY - JOUR AU - Hilgert, Joachim AU - Hofmann, K.H. ID - 51453 JF - Geom. Dedicata TI - On the Automorphism Group of Cones and Wedges VL - 21 ER - TY - JOUR AU - Hilgert, Joachim AU - Hofmann, K.H. ID - 51455 JF - J. Funct. Anal. TI - On Sophus Lie's Fundamental Theorem VL - 67 ER - TY - CHAP AU - Büning, Hans Kleine AU - Lettmann, Theodor ED - Börger, Egon ID - 19821 SN - 0302-9743 T2 - Computation Theory and Logic TI - Representation independent query and update operations on propositional definite Horn formulas ER - TY - JOUR AU - Peckhaus, Volker AU - Thiel, Christian ID - 17820 IS - Juni 1987 JF - FAU Uni-Kurier TI - DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik VL - 70/71 ER - TY - CHAP AU - Seng, Eva- Maria ID - 19359 T2 - Tübinger Blätter, 74. Jg. TI - Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins VL - 74. Jg. ER - TY - CONF AU - Domik, Gitta AU - Leberl, Franz ID - 21791 T2 - ASPRS-ACSM TI - Image based SAR product simulation for analysis ER - TY - CONF AB - This paper describes the realization of an execution tool for Modula-2 modules which is part of an integrated tool set in a software development environment termed IPSEN (Incremental Programming Support Environment). In this environment, all software documents, e.g. Modula-2 modules, are manipulated by syntax-directed editors and are represented internally by attributed graphs. The execution of Modula-2 modules is done by two cooperating interpreters. The first one is a graph interpreter which traverses the internal graph from statement to statement. These statements are translated into a low-level, more efficiently executable object code and interpreted by a second interpreter. This concept of a hybrid interpreter allows the realization of an execution tool which offers a lot of runtime support features to the user. AU - Engels, Gregor AU - Schürr, Andy ID - 7816 T2 - Proceedings of the 1st European Software Engineering Conference (ESEC '87), Strasbourg (France) TI - A Hybrid Interpreter in a Software Development Environment VL - 289 ER - TY - CONF AU - Engels, Gregor AU - Nagl, Manfred AU - Schäfer, Wilhelm ID - 7817 IS - 1 T2 - Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA TI - On the Structure of Structure-Oriented Editors for Different Applications VL - 22 ER - TY - CONF AB - Graphs as conceptual data models are accepted and used in a wide range of different problem areas. Giving some examples we outline common aspects for modeling complex structures by graphs. We present a formal frame-work based on graph grammars to specify graph classes and the corresponding graph manipulations. We show that such a specification can be written in a systematic, engineering-like manner. This is achieved by an extension of the known programmed, attributed graph grammars. Node-set operators are introduced to facilitate graph queries. Concepts like abstraction, decomposition, refinement, parameterization, and integration have been adopted from software engineering to yield a comprehensive specification method. This method has successfully been applied to specify the central data structures in a software development environment project AU - Engels, Gregor AU - Lewerentz, Claus AU - Schäfer, Wilhelm ID - 8257 T2 - Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA) TI - Graph Grammar Engineering: A Software Specification Method VL - 291 ER - TY - JOUR AU - Borodin, A. AU - Fich, F. AU - Meyer auf der Heide, Friedhelm AU - Upfal, E. AU - Wigderson, A. ID - 16772 JF - SIAM Journal on Computing SN - 0097-5397 TI - A Time-Space Tradeoff for Element Distinctness ER - TY - JOUR AU - Meyer auf der Heide, Friedhelm AU - Wigderson, Avi ID - 16773 JF - SIAM Journal on Computing SN - 0097-5397 TI - The Complexity of Parallel Sorting ER - TY - CONF AU - Domik, Gitta ID - 16916 IS - Rep. 29 T2 - Proceedings of the First Int'l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar TI - Digital Rectification Method for Radar Images Applied on Huge Arrays ER - TY - CONF AU - Haeb-Umbach, Reinhold AU - Meyr, Heinrich ID - 11795 T2 - Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio TI - Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels ER -