Skip to contents

  1. Beckert, Bernhard [Editor] ; International Conference on Automated Reasoning with Analytic Tableaux and Related Methods 14 2005 Koblenz

    Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 ; proceedings

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Published in: Lecture notes in computer science ; 3702

  4. Beckert, André [Author]; Beckert, Sebastian [Author]; Escherich, Bernhard [Author]

    Mobile Lösungen mit SAP : [SAP und Mobile: welche Chancen bieten sich Ihrem Unternehmen? - Sybase Unwired Platform, SAP Afaria, SAP NetWeaver Gateway: wie funktioniert die Technik? - Mobile-Projekte: wie fangen Sie an, was machen die anderen?]

    Books
    Close

    Bookmarks

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

    Bonn [u.a.]: Galileo Press, 2012

    Published in: SAP PRESS ; IT management

  11. Beckert, Bernhard [Editor]

    Formal Verification of Object-Oriented Software : Papers presented at the 2nd International Conference, October 5-7, 2011, Turin, Italy

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Karlsruhe: KIT, Fakultät für Informatik, 2011

    Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2011,26

  12. Beckert, Bernhard [Other]

    Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Published in: Lecture notes in computer science ; 3702

  14. Völker, Marcus [Author] ; Kowalewski, Stefan [Degree supervisor]; Beckert, Bernhard [Degree supervisor]

    Policy iteration for value set analysis of PLC programs

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Aachen: Universitätsbibliothek der RWTH Aachen, 2023

    Published in: Aachen : RWTH Aachen University, 2023 (Aachener Informatik-Berichte (AIB); 2023-01)

  16. Beckert, Bernhard [Author] ; Damiani, Ferruccio [Other]; Boer, Frank S. [Other]; Bonsangue, Marcello M. [Other]

    Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer, 2013

    Published in: Lecture notes in computer science ; 7542

  18. Beckert, Bernhard [Author] ; Damiani, Ferruccio [Other]; Gurov, Dilian [Other]

    Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer, 2012

    Published in: Lecture notes in computer science ; 7421

  20. Beckert, Bernhard [Author] ; Marche, Claude [Other]

    Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Published in: Lecture notes in computer science ; 6528