Research Catalog

  • CAD systems using AI techniques : proceedings of the IFIP TC 10/WG 10.2 Working Conference on CAD Systems Using AI Techniques, Tokyo, Japan, 6-7 June 1989 / edited by G. Odawara.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science, 1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSD 90-197Offsite
  • Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, [1993], ©1993.
    • 1993-1993
    • 1 Item
    FormatCall NumberItem Location
    Text TK7874 .A3353 1993gOff-site
  • Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems : November 3-5, 1994, Salt Lake City, Utah / sponsored by IEEE Computer Society Technical Committee on VLSI, in cooperation with the National Science Foundation [and] IFIP Working Groups 10.2 and 10.5 ; [general co-chairs, Erik Brunvand, Alan Davis].

    • Text
    • Los Alamitos, California : IEEE Computer Society Press, [1994], ©1994.
    • 1994-1994
    • 1 Item
    FormatCall NumberItem Location
    Text TK7868.A79 I58 1994gOff-site
  • 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 / edited by T. Uehara, M. Barbacci.

    • Text
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text TK7888.3 .I28 1983Off-site
  • Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and Their Applications, Tokyo, Japan, 29-31 August 1985 / edited by C.J. Koomen, T. Moto-Oka.

    • Text
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text TK7888.3 .I275 1985Off-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
  • Software technologies for embedded and ubiquitous systems : 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007 : revised papers / Roman Obermaisser [and others] (eds.).

    • Text
    • Berlin ; New York : Springer, [2007], ©2007.
    • 2007-2007
    • 1 Item
    FormatCall NumberItem Location
    Text TK7895.E42 S48 2007gOff-site
  • Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Eighth International Conference on Computer Hardware Description Languages and Their Applications, Amsterdam, the Netherlands, 27-29 April, 1987 / edited by M.R. Barbacci, C.J. Koomen.

    • Text
    • Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science, 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text TK7885.7 .I35 1987Off-site
  • 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 / edited by T. Uehara, M. Barbacci.

    • Text
    • Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., ©1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text TK7888.3 .I28 1983Off-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