Zum Inhalt springen

  1. Dreehsen, Heinz-Gerd [VerfasserIn]

    Logik der Programmierung

    Bücher
    Schließen

    Merkliste

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

    Berlin; Offenbach: VDE-Verl., 1995

  2. Fischbach, Franz [VerfasserIn]; Groß, Jürgen [VerfasserIn]

    Programmierlogik

    Bücher
    Schließen

    Merkliste

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

    Köln-Braunsfeld: R. Müller, 1976

    Erschienen in: Die elektronische Datenverarbeitung von A bis Z

  9. Stepanov, Alexander A. [VerfasserIn]; McJones, Paul [VerfasserIn]

    Elements of programming

    Bücher
    Schließen

    Merkliste

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

    Upper Saddle River, NJ; Munich [u.a.]: Addison-Wesley, 2009

  12. Grädel, Erich [HerausgeberIn]; Kahle, Reinhard [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 23 2009 Coimbra

    Computer science logic : 23rd international workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 ; proceedings

    Bücher
    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, 2009

    Erschienen in: Lecture notes in computer science ; 5771

  13. Dawar, Anuj [HerausgeberIn]; Veith, Helmut [Sonstige Person, Familie und Körperschaft] ; CSL 24 2010 Brünn

    Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 ; proceedings

    Bücher
    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, 2010

    Erschienen in: Lecture notes in computer science ; 6247

  14. De Schreye, Danny [Sonstige Person, Familie und Körperschaft]; DeSchreye, Danny [HerausgeberIn] ; LOPSTR 19 2009 Coimbra

    Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 ; revised selected papers

    Bücher
    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, 2010

    Erschienen in: Lecture notes in computer science ; 6037

  16. Armando, Alessandro [HerausgeberIn]; Baumgartner, Peter [Sonstige Person, Familie und Körperschaft]; Dowek, Gilles [Sonstige Person, Familie und Körperschaft] ; IJCAR 4 2008 Sydney

    Automated reasoning : 4th international joint conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 ; proceedings

    Bücher
    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 ; 5195

  17. Kaminski, Michael [HerausgeberIn]; Martini, Simone [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 22 2008 Bertinoro

    Computer science logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008; proceedings

    Bücher
    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 ; 5213

  18. Duparc, Jacques [HerausgeberIn]; Henzinger, Thomas A. [Sonstige Person, Familie und Körperschaft] ; European Association for Computer Science Logic, CSL 21 2007 Lausanne

    Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11 - 15, 2007 ; proceedings

    Bücher
    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, 2007

    Erschienen in: Lecture notes in computer science ; 4646

  19. Baaz, Matthias [HerausgeberIn]; Makowsky, Johann M. [HerausgeberIn] ; European Association for Computer Science Logic, International Workshop CSL 17 2003 Wien, Kurt Gödel Colloquium 8 2003 Wien

    Computer science logic : 17th International Workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25 - 30, 2003 ; proceedings

    Bücher
    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, 2003

    Erschienen in: Lecture notes in computer science ; 2803

  20. Marcinkowski, Jerzy [HerausgeberIn] ; European Association for Computer Science Logic, CSL 18 2004 Karpacz

    Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20 - 24, 2004 ; proceedings

    Bücher
    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 ; 3210