Zum Inhalt springen

  1. Börger, Egon [Gefeierte:r]; Raschke, Alexander [Herausgeber:in]; Riccobene, Elvinia [Herausgeber:in]; Schewe, Klaus-Dieter [Herausgeber:in]

    Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday

    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.

    Cham: Springer, [2021]

    Erschienen in: Lecture notes in computer science ; 12750

  2. Sarrouh, Nadim [Verfasser:in] ; Nestmann, Uwe [Akademische:r Betreuer:in]; Mahr, Bernd [Akademische:r Betreuer:in]; Schieferdecker, Ina [Akademische:r Betreuer:in]

    Privacy-aware dynamic coalitions : a formal framework

    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: Technische Universität Berlin, 2014

  6. Ait Ameur, Yamine [Verfasser:in] ; Schewe, Klaus-Dieter [Herausgeber:in]

    Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

    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, Heidelberg: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8477

  7. Derrick, John [Verfasser:in] ; Fitzgerald, John [Sonstige Person, Familie und Körperschaft]; Gnesi, Stefania [Sonstige Person, Familie und Körperschaft]; Khurshid, Sarfraz [Sonstige Person, Familie und Körperschaft]; Leuschel, Michael [Sonstige Person, Familie und Körperschaft]; Reeves, Steve [Sonstige Person, Familie und Körperschaft]; Riccobene, Elvinia [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

    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, Heidelberg: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 7316

  8. Frappier, Marc [Verfasser:in] ; Glässer, Uwe [Sonstige Person, Familie und Körperschaft]; Khurshid, Sarfraz [Sonstige Person, Familie und Körperschaft]; Laleau, Régine [Sonstige Person, Familie und Körperschaft]; Reeves, Steve [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

    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, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 5977

  9. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Boca, Paul [Sonstige Person, Familie und Körperschaft]; Börger, Egon [Sonstige Person, Familie und Körperschaft]; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; Butler, Michael [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

    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, Heidelberg: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 5238

  10. Zimmermann, Wolf [Verfasser:in] ; Thalheim, Bernhard [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings

    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, Heidelberg: Springer Berlin Heidelberg, 2004

    Erschienen in: Lecture notes in computer science ; 3052

  11. Zimmermann, Wolf [Verfasser:in] ; Thalheim, Bernhard [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings

    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; Heidelberg: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 305200

  12. Soden, Michael [Verfasser:in] ; Fischer, Joachim [Akademische:r Betreuer:in]; Schlingloff, Holger [Akademische:r Betreuer:in]; Prinz, Andreas [Akademische:r Betreuer:in]

    Dynamische Modellanalyse von Metamodellen mit operationaler Semantik

    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: Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015

  14. Blass, Andreas [Verfasser:in] ; Dershowitz, Nachum [Sonstige Person, Familie und Körperschaft]; Reisig, Wolfgang [Sonstige Person, Familie und Körperschaft]

    Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

    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, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6300

  17. Börger, Egon [Verfasser:in] ; Gargantini, Angelo [Sonstige Person, Familie und Körperschaft]; Riccobene, Elvinia [Sonstige Person, Familie und Körperschaft]

    Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings

    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, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

    Erschienen in: Lecture notes in computer science ; 2589

  20. Klünder, Daniel [Verfasser:in]

    Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation

    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.

    Aachen: RWTH, Fachgruppe Informatik, 2009 ; Online-Ausg.:: [Aachen]: [Bibliothek der Techn. Hochsch.], 2009

    Erschienen in: Aachener Informatik-Berichte ; 42009 14