Search Results - IFIP TC-10

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Computer hardware description languages and their applications proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications, Pittsburgh, Pennsylvania, U.S.A., 23-25 May, 1983

    Computer hardware description languages and their applications proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Ap...

    Published 1983
    “…IFIP TC-10…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  2. 2
    VLSI 91 proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August 1991

    VLSI 91 proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August 1991

    Published 1992
    “…IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  3. 3
    Declarative systems proceedings of the IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, Budapest, Hungary, 16-20 October, 1988

    Declarative systems proceedings of the IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, Budapest, Hungary, 16-20 October, 1988

    Published 1990
    “…IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  4. 4
    CONCEPTS and characteristics of knowledge-based systems selected and reviewed papers from the IFIP TC 10/WG 10.1 workshop, Mount Fuji, Japan, 9-12 November, 1987

    CONCEPTS and characteristics of knowledge-based systems selected and reviewed papers from the IFIP TC 10/WG 10.1 workshop, Mount Fuji, Japan, 9-12 November, 1987

    Published 1989
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  5. 5
    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
    “…IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: