Search Results - "IMEC"

Suggested Topics within your search.
  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

    Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '...

    Published 1993
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Formal VLSI specification and synthesis proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

    Formal VLSI specification and synthesis proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

    Published 1990
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    Formal VLSI correctness verification proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

    Formal VLSI correctness verification proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

    Published 1990
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    International Conference on New Trains 4-5 June 2003 at Le Meridien, York, UK

    International Conference on New Trains 4-5 June 2003 at Le Meridien, York, UK

    Published 2004
    Click Here to View Status and Holdings.
    Conference Proceeding

    Save to List
    Saved in:
  5. 5
    Architecture and the Smart City

    Architecture and the Smart City

    Published 2020
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: