Zum Inhalt springen Heckmann, Reinhold Big Integers and Complexity Issues in Exact Real Arithmetic Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1998 Erschienen in: Electronic Notes in Theoretical Computer Science Heckmann, Reinhold Lecture Notes in Computer Science: The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1998 Erschienen in: Lecture Notes in Computer Science Heckmann, Reinhold LOWER BAG DOMAINS Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 1995 Erschienen in: Fundamenta Informaticae HECKMANN, REINHOLD Spaces of Valuations Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Wiley, 1996 Erschienen in: Annals of the New York Academy of Sciences Heckmann, Reinhold Lecture Notes in Computer Science: Probabilistic power domains, information systems, and locales Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1994 Erschienen in: Lecture Notes in Computer Science Heckmann, Reinhold Power domains and second-order predicates Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1993 Erschienen in: Theoretical Computer Science Heckmann, Reinhold Stable power domains Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1994 Erschienen in: Theoretical Computer Science Heckmann, Reinhold CAAP '92: Power domains supporting recursion and failure Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1992 Erschienen in: CAAP '92 Heckmann, Reinhold Lecture Notes in Computer Science: An upper power domain construction in terms of strongly compact sets Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1992 Erschienen in: Lecture Notes in Computer Science Heckmann, Reinhold Lower and upper power domain constructions commute on all cpos Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1991 Erschienen in: Information Processing Letters Heckmann, Reinhold Power domain constructions Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1991 Erschienen in: Science of Computer Programming Heckmann, Reinhold ESOP '88: A functional language for the specification of complex tree transformations Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1988 Erschienen in: ESOP '88 Heckmann, Reinhold ESOP '88: A functional language for the specification of complex tree transformations Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1988 Erschienen in: ESOP '88 Heckmann, Reinhold ESOP '90: Set domains Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1990 Erschienen in: ESOP '90 Heckmann, Reinhold An efficient ELL(1)-parser generator Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 1986 Erschienen in: Acta Informatica Heckmann, Reinhold; Keimel, Klaus Quasicontinuous Domains and the Smyth Powerdomain Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2013 Erschienen in: Electronic Notes in Theoretical Computer Science Ferdinand, Christian; Heckmann, Reinhold Lecture Notes in Computer Science: Verifying Timing Behavior by Abstract Interpretation of Executable Code Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2005 Erschienen in: Lecture Notes in Computer Science Edalat, Abbas; Heckmann, Reinhold Lecture Notes in Computer Science: Computing with Real Numbers : II. A Domain Framework for Computational GeometryI. The LFT Approach to Real Number Computation : II. A Domain Framework for Computational GeometryI. The LFT Approach to Real Number Computation Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2002 Erschienen in: Lecture Notes in Computer Science Edalat, Abbas; Heckmann, Reinhold A computational model for metric spaces Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1998 Erschienen in: Theoretical Computer Science Heckmann, Reinhold; Huth, Michael Computer Science Logic: A duality theory for quantitative semantics Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1998 Erschienen in: Computer Science Logic
Heckmann, Reinhold Big Integers and Complexity Issues in Exact Real Arithmetic Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1998 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold Lecture Notes in Computer Science: The appearance of big integers in exact real arithmetic based on Linear Fractional Transformations Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1998 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold LOWER BAG DOMAINS Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. IOS Press, 1995 Erschienen in: Fundamenta Informaticae
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
HECKMANN, REINHOLD Spaces of Valuations Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Wiley, 1996 Erschienen in: Annals of the New York Academy of Sciences
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold Lecture Notes in Computer Science: Probabilistic power domains, information systems, and locales Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1994 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold Power domains and second-order predicates Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1993 Erschienen in: Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold Stable power domains Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1994 Erschienen in: Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold CAAP '92: Power domains supporting recursion and failure Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1992 Erschienen in: CAAP '92
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold Lecture Notes in Computer Science: An upper power domain construction in terms of strongly compact sets Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1992 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold Lower and upper power domain constructions commute on all cpos Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1991 Erschienen in: Information Processing Letters
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold Power domain constructions Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1991 Erschienen in: Science of Computer Programming
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold ESOP '88: A functional language for the specification of complex tree transformations Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1988 Erschienen in: ESOP '88
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold ESOP '88: A functional language for the specification of complex tree transformations Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1988 Erschienen in: ESOP '88
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold ESOP '90: Set domains Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1990 Erschienen in: ESOP '90
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold An efficient ELL(1)-parser generator Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 1986 Erschienen in: Acta Informatica
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold; Keimel, Klaus Quasicontinuous Domains and the Smyth Powerdomain Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2013 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ferdinand, Christian; Heckmann, Reinhold Lecture Notes in Computer Science: Verifying Timing Behavior by Abstract Interpretation of Executable Code Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2005 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Edalat, Abbas; Heckmann, Reinhold Lecture Notes in Computer Science: Computing with Real Numbers : II. A Domain Framework for Computational GeometryI. The LFT Approach to Real Number Computation : II. A Domain Framework for Computational GeometryI. The LFT Approach to Real Number Computation Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2002 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Edalat, Abbas; Heckmann, Reinhold A computational model for metric spaces Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 1998 Erschienen in: Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heckmann, Reinhold; Huth, Michael Computer Science Logic: A duality theory for quantitative semantics Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 1998 Erschienen in: Computer Science Logic
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (51) Wert ausschließen Bücher (23) Wert ausschließen Audios (1) Wert ausschließen Hochschulschriften (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Magazinbestellung (4) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Zentralbibliothek (3) Wert ausschließen Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (42) Wert ausschließen Ohne Angabe (30) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (46) Wert ausschließen Nicht zu entscheiden (22) Wert ausschließen Deutsch (8) Wert ausschließen Französisch (1) Wert ausschließen Italienisch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (43) Wert ausschließen Technik (10) Wert ausschließen Mathematik (5) Wert ausschließen Allgemeines (2) Wert ausschließen Germanistik, Niederlandistik, Skandinavistik (1) Wert ausschließen Geschichte (1) Wert ausschließen Philosophie (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Heckmann, Reinhold (71) Wert ausschließen Ferdinand, Christian (12) Wert ausschließen Wilhelm, Reinhard (6) Wert ausschließen Absint Angewandte Informatik GmbH (4) Wert ausschließen Fligge, Jörg (4) Wert ausschließen HECKMANN, REINHOLD (4) Wert ausschließen Haller, Klaus (4) Wert ausschließen Kollra, Ursula (4) Wert ausschließen Krueger, Wolfgang (4) Wert ausschließen Kästner, Daniel (4) Wert ausschließen Müller, Harald (4) Wert ausschließen Scheele, Jürgen (4) Wert ausschließen Thorn, Gerhard (4) Wert ausschließen Bohrmann, Hans (3) Wert ausschließen Cullmann, Christoph (3) Wert ausschließen Gebhard, Gernot (3) Wert ausschließen Hammond, Kevin (3) Wert ausschließen Jopp, Robert Klaus (3) Wert ausschließen Lorenzen, Heinz-Jürgen (3) Wert ausschließen Melkis, Astride (3) Wert ausschließen Schütte, C.-H. (3) Wert ausschließen Thesing, Stephan (3) Wert ausschließen Bansa, Helmut (2) Wert ausschließen Beaujean, Marion (2) Wert ausschließen Brandis, Tilo (2) Wert ausschließen Edalat, Abbas (2) Wert ausschließen Herdt, Gisela (2) Wert ausschließen Huth, Michael (2) Wert ausschließen Karos, Thomas (2) Wert ausschließen Koßmann, Bernhard (2) Wert ausschließen Langenbach, Marc (2) Wert ausschließen Martin, Florian (2) Wert ausschließen Robert Bosch GmbH (2) Wert ausschließen Wickert, Konrad (2) Wert ausschließen Andersen, Hans Christian (1) Wert ausschließen Assystem Germany GmbH (1) Wert ausschließen BTC Embedded Systems AG (1) Wert ausschließen Bach, Johann Sebastian (1) Wert ausschließen Bernat, Guillem (1) Wert ausschließen Bettendorf, Emmy (1) Wert ausschließen Blochwitz, Torsten (1) Wert ausschließen Bodenstedt, Friedrich (1) Wert ausschließen Bonenfant, Armelle (1) Wert ausschließen Borchardt, Peter (1) Wert ausschließen Borios, Guillaume (1) Wert ausschließen Brahms, Johannes (1) Wert ausschließen Brandis, Tito (1) Wert ausschließen Branzell, Karin (1) Wert ausschließen Brockmeyer, Udo (1) Wert ausschließen Böhrenz, H. (1) Wert ausschließen Christian-Albrechts-Universität zu Kiel (1) Wert ausschließen Claudius, Matthias (1) Wert ausschließen Daimler AG (1) Wert ausschließen Deutsches Bibliotheksinstitut Expertengruppe Schulbibliotheken (1) Wert ausschließen Deutsches Zentrum für Luft- und Raumfahrt Institut für Systemdynamik und Regelungstechnik (1) Wert ausschließen Donizetti, Gaetano (1) Wert ausschließen Dyckhoff, Roy (1) Wert ausschließen Dörpinghaus, Dr. H.-J. (1) Wert ausschließen Dörpinghaus, H. J. (1) Wert ausschließen Dörpinghaus, H.J. (1) Wert ausschließen Dörr, Heiko (1) Wert ausschließen ESI ITI GmbH (1) Wert ausschließen ETAS GmbH (1) Wert ausschließen Elektronische Fahrwerksysteme GmbH (1) Wert ausschließen Engblom, Jakob (1) Wert ausschließen Ermedahl, Andreas (1) Wert ausschließen FZI Forschungszentrum Informatik (1) Wert ausschließen Gernot Gebhard and Christoph Cullmann and Reinhold Heckmann (1) Wert ausschließen Gluck, Christoph Willibald (1) Wert ausschließen Gounod, Charles (1) Wert ausschließen Grieg, Edvard (1) Wert ausschließen Gurlitt, Manfred (1) Wert ausschließen Heidenreich, Johannes (1) Wert ausschließen Herter, Jörg (1) Wert ausschließen Himbert, Guillaume (1) Wert ausschließen Hofman, Martin (1) Wert ausschließen Holsti, Niklas (1) Wert ausschließen Jean Souyris and Erwan Le Pavec and Guillaume Himbert and Guillaume Borios and Victor Jégu and Reinhold Heckmann (1) Wert ausschließen Jopp, Robert K. (1) Wert ausschließen Jost, Steffen (1) Wert ausschließen Jégu, Victor (1) Wert ausschließen Karlsruher Institut für Technologie (1) Wert ausschließen Keimel, Klaus (1) Wert ausschließen Kevin Hammond and Christian Ferdinand and Reinhold Heckmann and Roy Dyckhoff and Martin Hofman and Steffen Jost and Hans-Wolfgang Loidl and Greg Michaelson and Robert Pointon and Norman Scaife and Jocelyn Sérot and Andy Wallace (1) Wert ausschließen Köpf, Wolfgang (1) Wert ausschließen Köstlin, Reinhold (1) Wert ausschließen Le Pavec, Erwan (1) Wert ausschließen Lenord, Oliver (1) Wert ausschließen Loidl, Hans-Wolfgang (1) Wert ausschließen Malz, Christoph (1) Wert ausschließen Mefkis, Astride (1) Wert ausschließen Meyerbeer, Giacomo (1) Wert ausschließen Michaelson, Greg (1) Wert ausschließen Mitra, Tulika (1) Wert ausschließen Model Engineering Solutions GmbH (1) Wert ausschließen Mueller, Frank (1) Wert ausschließen Nenova, Stefana (1) Wert ausschließen Niere, Jörg (1) Wert ausschließen OFFIS (1) Wert ausschließen Otter, Martin (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Elsevier BV (CrossRef) (17) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (17) Wert ausschließen Verbunddaten SWB (16) Wert ausschließen BASE - Bielefeld Academic Search Engine (12) Wert ausschließen Lizenzfreie Online-Ressourcen (12) Wert ausschließen Scientific publications of the Saarland University (UdS) (8) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (4) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (4) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (3) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (2) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (2) Wert ausschließen Diss online (1) Wert ausschließen IOS Press (CrossRef) (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen