Zum Inhalt springen

  1. Meadows, Donella H. [Verfasser:in]

    Thinking in systems : a primer

    Bücher
    Schließen

    Merkliste

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

    London [u.a.]: Earthscan, 2009

  2. Hoos, Holger H. [Herausgeber:in] ; SAT 7 2004 Vancouver, British Columbia

    Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10 - 13, 2004 ; revised selected papers

    Bücher
    Online ansehen
    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, 2005

    Erschienen in: Lecture notes in computer science ; 3542

  3. Biere, Armin [Herausgeber:in]; Heule, Marijn H. J. [Herausgeber:in]; Maaren, Hans van [Herausgeber:in]; Walsh, Toby [Herausgeber:in]

    Handbook of satisfiability / part 2 - [Second edition]

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Amsterdam; Berlin; Washington, DC: IOS Press, [2021]

    Erschienen in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 2.2021 - Frontiers in artificial intelligence and applications ; 336,2.2021

  4. Biere, Armin [Herausgeber:in]; Heule, Marijn H. J. [Herausgeber:in]; Maaren, Hans van [Herausgeber:in]; Walsh, Toby [Herausgeber:in]

    Handbook of satisfiability / part 1 - [second edition]

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Amsterdam; Berlin; Washington, DC: IOS Press, [2021]

    Erschienen in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 1.2021 - Frontiers in artificial intelligence and applications ; 336,1.2021