Research Catalog

  • Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Tenth International Symposium on Computer Hardware Description Languages and Their Applications, Marseille, France, 22-24 April 1991 / edited by Dominique Borrione, Ronald Waxman.

    • Text
    • Amsterdam ; New York : North-Holland : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text TK7885.7 .I35 1991Off-site
  • Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings / Dominique Borrione, Wolfgang Paul (eds.).

    • Text
    • Berlin ; New York : Springer, [2005], ©2005.
    • 2005-2005
    • 1 Item
    FormatCall NumberItem Location
    Text TK7874.75 .C453 2005gOff-site
  • From HDL descriptions to guaranteed correct circuit designs : proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986 / edited by Dominique Borrione and IMAG/ARTEMIS.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text TK7867 .I4 1986Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta