Daniel Kroening

Daniel Kroening (born 6 November 1975) is a German computer scientist, Professor in computer science at the University of Oxford, and Chief Science Officer at the company he co-founded, Diffblue Ltd. He is a fellow of Magdalen College. Provided by Wikipedia
Showing 1 - 5 results of 5 for search 'Kroening, Daniel', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Decision procedures an algorithmic point of view

    Decision procedures an algorithmic point of view by Kroening, Daniel, Strichman, Ofer

    Published 2016

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Decision procedures an algorithmic point of view

    Decision procedures an algorithmic point of view by Kroening, Daniel, Strichman, Ofer

    Published 2010
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Decision procedures an algorithmic point of view

    Decision procedures an algorithmic point of view by Kroening, Daniel, Strichman, Ofer

    Published 2017
    Description
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Decision procedures an algorithmic point of view

    Decision procedures an algorithmic point of view by Kroening, Daniel, Strichman, Ofer

    Published 2016

    Get full text
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Decision procedures an algorithmic point of view

    Decision procedures an algorithmic point of view by Kroening, Daniel, Strichman, Ofer

    Published 2008
    Indexes
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: