Search Results - Blanchette, Jasmin

Jasmin Blanchette

Jasmin Christian Blanchette is a computer scientist working as a professor of theoretical computer science at the Ludwig Maximilian University of Munich. Provided by Wikipedia
  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Cover Image

    C++ GUI programming with Qt 4 / by Blanchette, Jasmin

    Published 2006
    Full Text (via O'Reilly/Safari)
    eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    C++ GUI programming with Qt 4 / by Blanchette, Jasmin

    Published 2008
    Full Text (via O'Reilly/Safari)
    eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    C & & GUI programming with Qt3 / by Blanchette, Jasmin

    Published 2004
    Full Text (via O'Reilly/Safari)
    eBook

    Save to List
    Saved in:
  4. 4
    Cover Image

    Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings /

    Published 2016
    Other Authors: “…Blanchette, Jasmin…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  5. 5
    Cover Image

    Tests and proofs : 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings /

    Published 2015
    Other Authors: “…Blanchette, Jasmin Christian…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  6. 6
    Cover Image

    Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /

    Published 2022
    Other Authors: “…Blanchette, Jasmin…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  7. 7
    Cover Image

    Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /

    Published 2022
    Other Authors: “…Blanchette, Jasmin…”
    Full Text (via EBSCO)
    Conference Proceeding eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search