Skip to contents

  1. Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]

    Handbook of satisfiability / part 2 - [Second edition]

    Books
    Close

    Bookmarks

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

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

    Published 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

  2. Biere, Armin [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]

    Handbook of satisfiability / part 1 - [second edition]

    Books
    Close

    Bookmarks

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

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

    Published 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

  6. Muller, Jean-Michel [Author]; Brunie, Nicolas [Author]; Dinechin, Florent de [Author]; Jeannerod, Claude-Pierre [Author]; Joldes, Mioara [Author]; Lefèvre, Vincent [Author]; Melquiond, Guillaume [Author]; Revol, Nathalie [Author]; Torres, Serge [Author]

    Handbook of floating-point arithmetic - [Second edition]

    Books
    Close

    Bookmarks

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

    Cham, [2018] ; Basel: Birkhäuser, [2018]

  7. Friedman, Daniel P. [Author]; Christiansen, David Thrane [Author] ; Harper, Robert [Writer of preface]; McBride, Conor [Author of afterword, colophon, etc.]; Bibby, Duane [Illustrator]

    The little typer

    Books
    Close

    Bookmarks

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

    Cambridge, MA; London: The MIT Press, [2018]

  10. Baader, Franz [Author]; Horrocks, Ian [Author]; Lutz, Carsten [Author]; Sattler, Ulrike [Author]

    An introduction to description logic - [First published]

    Books
    Close

    Bookmarks

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

    Cambridge; New York; Port Melbourne; Delhi; Singapore: Cambridge University Press, 2017

  15. Gustafson, John L. [Author]

    The end of error : unum computing

    Books
    Close

    Bookmarks

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

    Boca Raton, Fla. [u.a.]: CRC Press, an imprint of the Taylor & Francis Group, c 2015

    Published in: Chapman & Hall/CRC computational science series- A Chapmann & Hall book

  16. Nguyen, Van-Hau [Author] ; Technische Universität Dresden

    SAT encodings of finite CSPs

    Books
    Close

    Bookmarks

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

    Dresden, [2015?]

  20. Smith, Nicholas J. J. [Author]

    Logic : the laws of truth

    Books
    Close

    Bookmarks

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

    Princeton; Oxford: Princeton University Press, 2012