Zum Inhalt springen

  1. Gill, Arthur [Verfasser:in]

    Applied algebra for the computer sciences

    Bücher
    Schließen

    Merkliste

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

    Englewood Cliffs, NJ: Prentice-Hall, Inc., 1976

    Erschienen in: Prentice-Hall series in automatic computation

  3. Aït-Kaci, Hassan [Verfasser:in] ; Aït-Kaci, Hassan [Sonstige Person, Familie und Körperschaft]

    Warren's abstract machine : a tutorial reconstruction

    Bücher
    Schließen

    Merkliste

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

    Cambridge, Mass. [u.a.]: MIT Press, 1991

    Erschienen in: Logic programming

  5. Börger, Egon [Herausgeber:in]; Butler, Michael [Sonstige Person, Familie und Körperschaft]; Bowen, Jonathan P. [Sonstige Person, Familie und Körperschaft]; Boca, Paul [Sonstige Person, Familie und Körperschaft] ; ABZ 1 2008 London

    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 [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5238

  12. Zimmermann, Wolf [Herausgeber:in]; Thalheim, Bernhard [Sonstige Person, Familie und Körperschaft] ; ASM 11 2004 Wittenberg

    Abstract state machines 2004 : advances in theory and practice ; 11th international workshop, 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 [u.a.]: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 3052

  17. Hofmann, Martin [Herausgeber:in] ; FOSSACS 14 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

    Foundations of software science and computational structures : 14th international conference, FOSSACS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; 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 [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6604