Skip to contents

Gärtner, Dietmar [Author]

Pi-Red +: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten Lambda-Kalküls

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1992

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9201
Köhler-Schute, Christiana [Editor]; Amberg, Jens [Contributor]; Bansidhar, Jas [Contributor]; Eckhardt, Jens [Contributor]; Frank, Heiko [Contributor]; Gärtner, Dietmar [Contributor]

Industrie 4.0 : ein praxisorientierter Ansatz

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: KS-Energy-Verlag, 2015
Gärtner, Alexander Elenga [Author] ; Göhlich, Dietmar [Degree supervisor]; Göhlich, Dietmar [Other]; Bender, Beate [Other]

Automatic detection of contradictions in requirements specifications

View online
Schließen

Access

... to E-book via DOI (freely accessible)

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Technische Universität Berlin, 2024
Wollnik, Franziska [Author]; Gärtner, Klaus [Author]; Büttner, Dietmar [Author]

Genetic analysis of circadian and ultradian locomotor activity rhythms in laboratory rats

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1987 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2014
Gärtner, Dietmar [Author]; Dağ, Birkan [Author]; Frank, Jana [Author]; Bach, Thies [Author]; Jauer, Lucas [Author]; Wellensiek, Stefan [Author] ; Software AG, Forschungsinstitut für Rationalisierung e.V. an der RWTH Aachen, Fraunhofer-Gesellschaft, DMG MORI Spare Parts GmbH, TOP Mehrwert-Logistik GmbH & Co. KG, Materialise GmbH

Verbundvorhaben Add2Log - dezentrale Produktion auf Basis von additiver Fertigung und agiler Logistik : Konsortialschlussbericht : Laufzeit des Vorhabens: 01.03.2017 bis 30.04.2020

View online
Schließen

Access

... to E-book via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Darmstadt]: [Software Aktiengesellschaft], [2020?]
Weigold, Matthias [Author]; Hanson, Jutta [Author]; Rinderknecht, Stephan [Author]; Hild, Thomas [Author]; Flick, Dominik [Author]; Peter, Heiko [Author]; Müller, Sebastian [Author]; Roloff, Nils [Author]; Böhmann, Alexander [Author]; Bißdorf, Martin [Author]; Weber, Alexander [Author]; Grein, Arne [Author]; Gärtner, Dietmar [Author] ; Abele, Eberhard [Contributor] Technische Universität Darmstadt, Opel Automobile GmbH, Bosch Rexroth AG, ENTEGA AG, MPDV Mikrolab GmbH, Ökotec GmbH, Software AG

Gemeinsamer Schlussbericht zum Projekt PHI-Factory : flexible elektrische Fabriknetzführung - zur systemübergreifenden Steigerung der Energieeffizienz unter den Anforderungen zukünftiger Verteilnetze mit regernerativer Energieerzeugung : Förderbereich: Energieeffizienz in Indutrie und Gewerbe, Handel und Dienstleistungen (GHD) : Laufzeit: 01.12.2016-31.03.2020 = Joint final report for the project PHI-Factory : flexible factory power grid - control for cross-system energy efficiency unter the demands of future distribution networks with renewable energy production

View online
Schließen

Access

... to E-book via DOI (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Darmstadt: Technische Universität Darmstadt, 22.09.2020
Pastowski, Andreas [Author]; Fischedick, Manfred [Author]; Arnold, Karin [Author]; Bienge, Katrin [Author]; Geibler, Justus von [Author]; Merten, Frank [Author]; Schüwer, Dietmar [Author]; Reinhardt, Guido A. [Author]; Gärtner, Sven O. [Author]; Münch, Julia [Author]; Rettenmaier, Nils [Author]; Kadelbach, Stefan [Author]; Barthel, David [Author]

Sozial-ökologische Bewertung der stationären energetischen Nutzung von importierten Biokraftstoffen am Beispiel von Palmöl : Endbericht

View online
Schließen

Links

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wuppertal : Wuppertal Institut für Klima, Umwelt, Energie, 2007
Gärtner, Alexander Elenga; Göhlich, Dietmar

Automated requirement contradiction detection through formal logic and LLMs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2024

Published in: Automated Software Engineering, 31 (2024) 2
Gärtner, Alexander Elenga; Göhlich, Dietmar

Towards an automatic contradiction detection in requirements engineering

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2024

Published in: Proceedings of the Design Society, 4 (2024), Seite 2049-2058
Gärtner, Dietmar; Kluge, Werner E.

π-RED+ An interactive compiling graph reduction system for an applied λ-calculus

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 1996

Published in: Journal of Functional Programming, 6 (1996) 5, Seite 723-756
Gärtner, Alexander Elenga; Göhlich, Dietmar; Fay, Tu-Anh

AUTOMATED CONDITION DETECTION IN REQUIREMENTS ENGINEERING

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2023

Published in: Proceedings of the Design Society, 3 (2023), Seite 707-716
Gärtner, Alexander Elenga; Fay, Tu-Anh; Göhlich, Dietmar

Fundamental Research on Detecting Contradictions in Requirements: Taxonomy and Semi-Automated Approach

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

MDPI AG, 2022

Published in: Applied Sciences, 12 (2022) 15, Seite 7628
Chizhov, Igor; Zorn, Björn; Manstein, Dietmar J.; Gärtner, Wolfgang

Kinetic and Thermodynamic Analysis of the Light-induced Processes in Plant and Cyanobacterial Phytochromes

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2013

Published in: Biophysical Journal, 105 (2013) 9, Seite 2210-2220
Grünreich, Dietmar; Brunner, Kurt; Gartner, G.; Lechthaler, M.

Personalia

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2000

Published in: KN - Journal of Cartography and Geographic Information, 50 (2000) 4, Seite 181-186
Dreha-Kulaczewski, Steffi; Joseph, Arun A.; Merboldt, Klaus-Dietmar; Ludwig, Hans-Christoph; Gärtner, Jutta; Frahm, Jens

Identification of the Upward Movement of Human CSFIn Vivoand its Relation to the Brain Venous System

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Society for Neuroscience, 2017

Published in: The Journal of Neuroscience, 37 (2017) 9, Seite 2395-2402
Kierner, Katharina A.; Weixler, Dietmar; Masel, Eva K.; Gartner, Verena; Watzke, Herbert H.

Polypharmacy in the terminal stage of cancer

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2016

Published in: Supportive Care in Cancer, 24 (2016) 5, Seite 2067-2074
Dreha-Kulaczewski, Steffi; Joseph, Arun A.; Merboldt, Klaus-Dietmar; Ludwig, Hans-Christoph; Gärtner, Jutta; Frahm, Jens

Inspiration Is the Major Regulator of Human CSF Flow

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Society for Neuroscience, 2015

Published in: The Journal of Neuroscience, 35 (2015) 6, Seite 2485-2491
Müller, Christine; Gross, Dietmar; Sarli, Vasiliki; Gartner, Michael; Giannis, Athanassios; Bernhardt, Günther; Buschauer, Armin

Inhibitors of kinesin Eg5: antiproliferative activity of monastrol analogues against human glioblastoma cells

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2006

Published in: Cancer Chemotherapy and Pharmacology, 59 (2006) 2, Seite 157-164
Harms, Ulrike; Weiss, David S.; Gartner, Peter; Linder, Dietmar; Thauer, Rudolf K.

The Energy Conserving N5-Methyltetrahydromethanopterin:Coenzyme M Methyltransferase Complex from Methanobacterium thermoautotrophicum is Composed of Eight Different Subunits

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 1995

Published in: European Journal of Biochemistry, 228 (1995) 3, Seite 640-648
Harms, Ulrike; Weiss, David S.; Gärtner, Peter; Linder, Dietmar; Thauer, Rudolf K.

The Energy Conserving N5‐Methyltetrahydromethanopterin:Coenzyme M Methyltransferase Complex from Methanobacterium thermoautotrophicum is Composed of Eight Different Subunits

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 1995

Published in: European Journal of Biochemistry, 228 (1995) 3, Seite 640-648

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication