Zum Inhalt springen

  11. Härling, Stephan [VerfasserIn] ; Westerhausen, Matthias [Sonstige Person, Familie und Körperschaft]; Beckert, Rainer [Sonstige Person, Familie und Körperschaft]

    s-Block-Metall-vermittelte Hydrophosphoranylierung von Heterokumulenen und Alkinen

    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.

    Jena: Friedrich-Schiller-Universität Jena, 2018

  12. Beckert, Bernhard [VerfasserIn]; Bormer, Thorsten [VerfasserIn]; Gocht, Stephan [VerfasserIn]; Herda, Mihai [VerfasserIn]; Lentzsch, Daniel [VerfasserIn]; Ulbrich, Mattias [VerfasserIn] ; Karlsruher Institut für Technologie Fakultät für Informatik

    Using relational verification for program slicing

    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.

    Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019

    Erschienen in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2019,5

  13. Beckert, Bernhard [VerfasserIn]; Bormer, Thorsten [VerfasserIn]; Gocht, Stephan [VerfasserIn]; Herda, Mihai [VerfasserIn]; Lentzsch, Daniel [VerfasserIn]; Ulbrich, Mattias [VerfasserIn]

    Using Relational Verification for Program Slicing

    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.

    Karlsruher Institut für Technologie, 2019-01-01

  14. Beckert, Bernhard [VerfasserIn]; Bormer, Thorsten [VerfasserIn]; Gocht, Stephan [VerfasserIn]; Herda, Mihai [VerfasserIn]; Lentzsch, Daniel [VerfasserIn]; Ulbrich, Mattias [VerfasserIn]

    Using Relational Verification for Program Slicing

    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, 2019-01-01

  15. Beckert, Bernhard [VerfasserIn]; Budurushi, Jurlind [VerfasserIn]; Grunwald, Armin [VerfasserIn]; Krimmer, Robert [VerfasserIn]; Kulyk, Oksana [VerfasserIn]; Küsters, Ralf [VerfasserIn]; Mayer, Andreas [VerfasserIn]; Müller-Quade, Jörn [VerfasserIn]; Neumann, Stephan [VerfasserIn]; Volkamer, Melanie [VerfasserIn]

    Recent Developments in the Context of Online Elections and Digital Polls in Germany

    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.

    Gesellschaft für Informatik, 2022-02-01

  16. Beckert, Bernhard [VerfasserIn]; Budurushi, Jurlind [VerfasserIn]; Grunwald, Armin [VerfasserIn]; Krimmer, Robert [VerfasserIn]; Kulyk, Oksana [VerfasserIn]; Küsters, Ralf [VerfasserIn]; Mayer, Andreas [VerfasserIn]; Müller-Quade, Jörn [VerfasserIn]; Neumann, Stephan [VerfasserIn]; Volkamer, Melanie [VerfasserIn]

    Aktuelle Entwicklungen im Kontext von Online-Wahlen und digitalen Abstimmungen - [Version 1.0]

    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.

    Karlsruhe, [10.09.2021]

  17. Faust, Heiko [VerfasserIn]; Schwarze, Stefan [VerfasserIn]; Beckert, Barbara [VerfasserIn]; Brümmer, Bernhard [VerfasserIn]; Dittrich, Christoph [VerfasserIn]; Euler, Michael [VerfasserIn]; Gatto, Marcel [VerfasserIn]; Hauser-Schäublin, Brigitta [VerfasserIn]; Hein, J. [VerfasserIn]; Holtkamp, Anna Mareike [VerfasserIn]; Ibanez-Diaz, Marcela [VerfasserIn]; Klasen, Stephan [VerfasserIn]; Kopp, Thomas [VerfasserIn]; Krishna, Vijesh [VerfasserIn]; Kunz, Y. [VerfasserIn]; Lay, Jann [VerfasserIn]; Mußhoff, Oliver [VerfasserIn]; Qaim, Matin [VerfasserIn]; Steinebach, Stefanie [VerfasserIn]; Vorlaufer, Miriam [VerfasserIn]

    Assessment of socio-economic functions of tropical lowland transformation systems in Indonesia - sampling framework and methodological approach

    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.

    Göttingen: GOEDOC, Dokumenten- und Publikationsserver der Georg-August-Universität, 2013