Zum Inhalt springen

  3. Goerigk, Wolfgang [VerfasserIn]; Gaul, Thilo [VerfasserIn]; Goos, Gerhard [VerfasserIn]; Heberle, Andreas [VerfasserIn]; Zimmermann, Wolf [VerfasserIn]

    Compiler correctness and implementation verification: the verifix approach

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KITopen (Karlsruhe Institute of Technologie), 2008-01-16

  4. Gaul, Thilo [VerfasserIn]; Goerigk, Wolfgang [VerfasserIn]; Goos, Gerhard [VerfasserIn]; Heberle, Andreas [VerfasserIn]; Zimmermann, Wolf [VerfasserIn]

    Construction of verified compiler front-ends with program-checking

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KITopen (Karlsruhe Institute of Technologie), 2008-01-16

  5. Appenrodt, Jan [VerfasserIn] ; Becker, Matthias [Sonstige Person, Familie und Körperschaft]; Böttcher, Sven [Sonstige Person, Familie und Körperschaft]; Bozkurt, Askim [Sonstige Person, Familie und Körperschaft]; Dettmann, Kai [Sonstige Person, Familie und Körperschaft]; Diekmann, Susanne [Sonstige Person, Familie und Körperschaft]; Dziumbla, Uwe [Sonstige Person, Familie und Körperschaft]; Ebert, Wolfgang [Sonstige Person, Familie und Körperschaft]; Falk, Roland [Sonstige Person, Familie und Körperschaft]; Freytag, Nora-F [Sonstige Person, Familie und Körperschaft]; Ganz, Kerstin [Sonstige Person, Familie und Körperschaft]; Goos, Ulrich [Sonstige Person, Familie und Körperschaft]; Grochtmann, Thomas [Sonstige Person, Familie und Körperschaft]; Hagenhofer, Thomas [Sonstige Person, Familie und Körperschaft]; Hillegeist, Annika [Sonstige Person, Familie und Körperschaft]; Holle, Hans-Jürgen [Sonstige Person, Familie und Körperschaft]; Jenzen, Julia [Sonstige Person, Familie und Körperschaft]; Kaiser, Matthias [Sonstige Person, Familie und Körperschaft]; Kirchner, Anja [Sonstige Person, Familie und Körperschaft]; Korth, Susanne [Sonstige Person, Familie und Körperschaft]; Kranawetleitner, Tanja [Sonstige Person, Familie und Körperschaft]; Krebs, Heike [Sonstige Person, Familie und Körperschaft]; Krümmel, Stefan [Sonstige Person, Familie und Körperschaft]; Kuri, Norbert [Sonstige Person, Familie und Körperschaft]; Land, Marvin [Sonstige Person, Familie und Körperschaft]; [...]

    Digitalisierung beruflicher Lern- und Arbeitsprozesse : Impulse aus der Bauwirtschaft und anderen gewerblich-technischen Sektoren

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Universitätsverlag der Technischen Universität Berlin, 2022

  6. Appenrodt, Jan [VerfasserIn]; Becker, Matthias [VerfasserIn]; Böttcher, Sven [VerfasserIn]; Bozkurt, Askim [VerfasserIn]; Dettmann, Kai [VerfasserIn]; Diekmann, Susanne [VerfasserIn]; Dziumbla, Uwe [VerfasserIn]; Ebert, Wolfgang [VerfasserIn]; Falk, Roland [VerfasserIn]; Freytag, Nora-F [VerfasserIn]; Ganz, Kerstin [VerfasserIn]; Goos, Ulrich [VerfasserIn]; Grochtmann, Thomas [VerfasserIn]; Hagenhofer, Thomas [VerfasserIn]; Hillegeist, Annika [VerfasserIn]; Holle, Hans-Jürgen [VerfasserIn]; Jenzen, Julia [VerfasserIn]; Kaiser, Matthias [VerfasserIn]; Kirchner, Anja [VerfasserIn]; Korth, Susanne [VerfasserIn]; Kranawetleitner, Tanja [VerfasserIn]; Krebs, Heike [VerfasserIn]; Krümmel, Stefan [VerfasserIn]; Kuri, Norbert [VerfasserIn]; [...] ; Mahrin, Bernd [HerausgeberIn]; Krümmel, Stefan [HerausgeberIn]

    Digitalisierung beruflicher Lern- und Arbeitsprozesse : Impulse aus der Bauwirtschaft und anderen gewerblich-technischen Sektoren

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Universitätsverlag der TU Berlin, 2022

  7. Appenrodt, Jan [VerfasserIn]; Becker, Matthias [VerfasserIn]; Böttcher, Sven [VerfasserIn]; Bozkurt, Askim [VerfasserIn]; Dettmann, Kai [VerfasserIn]; Diekmann, Susanne [VerfasserIn]; Dziumbla, Uwe [VerfasserIn]; Ebert, Wolfgang [VerfasserIn]; Falk, Roland [VerfasserIn]; Freytag, Nora-F [VerfasserIn]; Ganz, Kerstin [VerfasserIn]; Goos, Ulrich [VerfasserIn]; Grochtmann, Thomas [VerfasserIn]; Hagenhofer, Thomas [VerfasserIn]; Hillegeist, Annika [VerfasserIn]; Holle, Hans-Jürgen [VerfasserIn]; Jenzen, Julia [VerfasserIn]; Kaiser, Matthias [VerfasserIn]; Kirchner, Anja [VerfasserIn]; Korth, Susanne [VerfasserIn]; Kranawetleitner, Tanja [VerfasserIn]; Krebs, Heike [VerfasserIn]; Krümmel, Stefan [VerfasserIn]; Kuri, Norbert [VerfasserIn]; [...] ; Mahrin, Bernd [HerausgeberIn]; Krümmel, Stefan [HerausgeberIn]

    Digitalisierung beruflicher Lern- und Arbeitsprozesse : Impulse aus der Bauwirtschaft und anderen gewerblich-technischen Sektoren

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Universitätsverlag der Technischen Universität Berlin, 2022

  8. Aliev, M. K [MitwirkendeR]; Anand-Srivastava, M. B [MitwirkendeR]; Bartel, S [MitwirkendeR]; Becker, C [MitwirkendeR]; Benevolensky, D . S [MitwirkendeR]; Blasig, I . E [MitwirkendeR]; Block, H [MitwirkendeR]; Bodewei, R [MitwirkendeR]; Bohmer, P [MitwirkendeR]; Bolke, L [MitwirkendeR]; Braselmann, H [MitwirkendeR]; Brückner, R [MitwirkendeR]; Carafoli, E [MitwirkendeR]; Catfier, G [MitwirkendeR]; Chernousov, G. B [MitwirkendeR]; David, H [MitwirkendeR]; Dhalla, N . S [MitwirkendeR]; Dhalla, N. S [MitwirkendeR]; Eckert, K [MitwirkendeR]; Emilsson, A [MitwirkendeR]; England, P. J [MitwirkendeR]; Fermum, R [MitwirkendeR]; Ferrari, R [MitwirkendeR]; Feyer, P [MitwirkendeR]; [...]

    Cellular and Molecular Aspects of the Regulation of the Heart : Proceedings of the Symposium held in Berlin from 26.-28. August 1982 The Symposium was organized by The Central Institute of Heart and Circulation Research of the Academy of Sciences of the GDR The Society of Cardiology and Angiology of the GDR - [Reprint 2021]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Boston: De Gruyter, [2022] ; [Online-Ausgabe]

    Erschienen in: Abhandlungen der Akademie der Wissenschaften der DDR/ N. Mathematik, Naturwissenschaften, Technik ; 1984, 1

  9. Heberle, Andreas; Gaul, Thilo; Goerigk, Wolfgang; Goos, Gerhard; Zimmermann, Wolf

    Lecture Notes in Computer Science: Construction of Verified Compiler Front-Ends with Program-Checking

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2000

    Erschienen in: Lecture Notes in Computer Science