Refine
Departments, institutes and facilities
- Fachbereich Wirtschaftswissenschaften (1241)
- Fachbereich Informatik (1148)
- Fachbereich Angewandte Naturwissenschaften (766)
- Fachbereich Ingenieurwissenschaften und Kommunikation (636)
- Institut für funktionale Gen-Analytik (IFGA) (584)
- Institut für Technik, Ressourcenschonung und Energieeffizienz (TREE) (485)
- Präsidium (404)
- Fachbereich Sozialpolitik und Soziale Sicherung (402)
- Institute of Visual Computing (IVC) (313)
- Institut für Cyber Security & Privacy (ICSP) (307)
Document Type
- Article (2430)
- Conference Object (1806)
- Part of a Book (942)
- Book (monograph, edited volume) (452)
- Part of Periodical (411)
- Report (201)
- Contribution to a Periodical (118)
- Doctoral Thesis (106)
- Working Paper (94)
- Preprint (90)
Year of publication
Keywords
- Lehrbuch (88)
- Deutschland (34)
- Nachhaltigkeit (30)
- Controlling (25)
- Unternehmen (25)
- Management (20)
- Corporate Social Responsibility (18)
- Betriebswirtschaftslehre (17)
- Digitalisierung (17)
- Machine Learning (17)
On the design and performance of a hybrid-integrated high-T c superconducting C-band oscillator
(1992)
Microstrip transmission line resonator with epitaxial YBa2Cu3O7-x/NdAIO3/YBa2Cu2O7-x trilayer
(1992)
Methoden zur computerunterstützten Untersuchung selektiver Oberflächeneigenschaften von Proteinen
(1993)
Fast generation of molecular surfaces from 3D data fields with an enhanced "marching cube" algorithm
(1993)
Client/Server-Computing
(1993)
Koexistenz von R/2 und R/3
(1993)
Client/Server-Systeme: Schlüsseltechnologie für die betriebliche Datenverarbeitung der 90er Jahre
(1993)
Client/Server-Systeme: Schlüsseltechnologie für die betriebliche Datenverarbeitung der 90er Jahre
(1993)
Spinodal of liquid water
(1993)
Modeling of magic water clusters (H2O)20 and (H2O)21H+ with the PM3 quantum-mechanical method
(1993)
Information
(1993)
Narrow-band YBCO superconducting parallel-coupled coplanar waveguide band-pass filters at 10 GHz
(1993)
Planar transmission line resonators from YBa2Cu3O7-x thin films and epitaxial SIS multilayers
(1993)
Microwave properties of YBa2Cu3O7−x thin films studied with coplanar transmission line resonators
(1993)
We present a type inference algoritm and its verification for an object-oriented programming language called O'SMALL. O'SMALL is a class-based language with imperative features. Classes are not first-class citizens. No type declarations are required. Type inference operates on an extended lambda-calculus into which O'SMALL is translated. The system features extensible record types, mu-types, and imperative types. This work belongs to both theoretical and practical computer science. In the theoretical part, the type inference algoritm for our lambda-calculus with records is formalized in order-sorted logic. In the practical part, the algoritm for let-polymorphism and imperative features is based on well-known approaches. These approaches are presented in a new fashion but they are not proven correct.
Das System SAP R/3
(1994)
Zumutbarkeit von Arbeit
(1994)