Jump to main content

yr 〜
yr

Search results 24

Embedded systems: design, analysis and verification : 4th IFIP TC 10 international embedded systems symposium, IESS 2013 : Paderborn, Germany, June 17-19, 2013 : proceedings : IFIP TC10 working conference : Jun 2013, Paderborn, Germany. (IFIP Advances in Information and Communication Technology ; 403)

Embedded systems: design, analysis and verification : 4th IFIP TC 10 international embedded systems symposium, IESS 2013 : Paderborn, Germany, June 17-19, 2013 : proceedings : IFIP TC10 working conference : Jun 2013, Paderborn, Germany. (IFIP Advances in Information and Communication Technology ; 403)
Paper図書
Springerc2013.<M17-13-3434>
National Diet Library

Analysis, architectures and modelling of embedded systems : third IFIP TC 10 international embedded systems symposium, IESS 2009 : Langenargen, Germany, September 14-16, 2009 : proceedings. : IFIP TC10 working conference: international embedded systems symposium : Sep 2009, Langenargen, Germany. (IFIP Advances in Information and Communication Technology ; 310)

Analysis, architectures and modelling of embedded systems : third IFIP TC 10 international embedded systems symposium, IESS 2009 : Langenargen, Germany, September 14-16, 2009 : proceedings. : IFIP TC10 working conference: international embedded systems symposium : Sep 2009, Langenargen, Germany. (IFIP Advances in Information and Communication Technology ; 310)
Paper図書
Springerc2009.<M17-10-1214>
National Diet Library

Distributed embedded systems: design, middleware and resources : IFIP 20th world computer congress, TC10 working conference on distributed and parallel embedded systems (DIPES 2008), September 7-10, 2008, Milano, Italy. : IFIP TC 10 working conference on distributed and parallel embedded systems : Sep 2008, Milano, Italy. (IFIP ; 271)

Distributed embedded systems: design, middleware and resources : IFIP 20th world computer congress, TC10 working conference on distributed and parallel embedded systems (DIPES 2008), September 7-10, 2008, Milano, Italy. : IFIP TC 10 working conference on distributed and parallel embedded systems : Sep 2008, Milano, Italy. (IFIP ; 271)
Paper図書
Springerc2008.<M17-08-2181>
National Diet Library

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.

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.
Paper図書
North-Holland Pub. Co.c1983.<M15-A2947>
National Diet Library
  • Author Heading...R. IFIP TC-10. IFIP WG 10.2.

Correct hardware design and verification methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [i.e. France], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.).

Correct hardware design and verification methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [i.e. France], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.).
Paper図書
Springer-Verlagc1993.<M15-A8815>
National Diet Library

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

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
Paper図書
edited by M.R. Barbacci, C.J. KoomenNorth-Holland1987
Other Libraries in Japan

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

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
Paper図書
edited by Dominique Borrione and IMAG/ARTEMISNorth-Holland1987
Other Libraries in Japan

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

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
Paper図書
edited by G. OdawaraNorth-Holland1989
Other Libraries in Japan

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

CAD systems using AI techniques : proceedings of the IFIP TC 10/WG 10.2 Working Conference on CAD Systems Using AI Techniques, Tokyo, Japan, June 6-7, 1989 Participants ed.
Paper図書
edited by G. OdawaraOrganizing Committee of CAD Systems Using AI Techniques1989
Other Libraries in Japan

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

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
Paper図書
edited by C.J. Koomen, T. Moto-okaNorth-Holland1985
Other Libraries in Japan

Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Sixth International Conference 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 Conference on Computer Hardware Description Languages and Their Applications, Pittsburgh, Pennsylvania, U.S.A.,23-25 May, 1983
Paper図書
edited by T. Uehara, M. BarbacciNorth-Holland1983
Other Libraries in Japan

International Workshop on Petri Nets and Performance Models, Madison, Wisconsin, August 24-26, 1987 : PNPM 87 : pbk

International Workshop on Petri Nets and Performance Models, Madison, Wisconsin, August 24-26, 1987 : PNPM 87 : pbk
Paper図書
sponsored by the University of Wisconsin-Madison in cooperation with ACM Sigmetrics, the Computer Society of the IEEE, IFIP Working Group 10.2Computer Society Press of the IEEE1987
Other Libraries in Japan

Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93, Ottawa, Ontario, Canada, 26-28 April, 1993

Computer hardware description languages and their applications : proceedings of the 11th IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications - CHDL '93, Ottawa, Ontario, Canada, 26-28 April, 1993
Paper図書
sponsored by IFIP WG 10.2 and in cooperation with IEEE COMPSOC ; edited by David Agnew, Luc Claesen, Raul CamposanoNorth-Holland1993
Other Libraries in Japan

Electronic design automation frameworks : when will the promise be realized? : proceedings of the Third IFIP WG 10.2/WG 10.5 Workshop on Electronic Design Automation Frameworks in cooperation with GI/ITG FG 3.5.6/5.2.6, Bad Lippspringe, Germany, 23-25 March, 1992

Electronic design automation frameworks : when will the promise be realized? : proceedings of the Third IFIP WG 10.2/WG 10.5 Workshop on Electronic Design Automation Frameworks in cooperation with GI/ITG FG 3.5.6/5.2.6, Bad Lippspringe, Germany, 23-25 March, 1992
Paper図書
general chair, Mike Newman ; editor, Tom RhyneNorth-Holland1992
Other Libraries in Japan

Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992

Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992
Paper図書
edited by Jørgen Staunstrup, Robin SharpNorth-Holland1992
Other Libraries in Japan

Electronic design automation frameworks : proceedings of the Second IFIP WG 10.2 Workshop on Electronic Design Automation Frameworks, Charlottesville, VA, U.S.A., 26-28 November 1990

Electronic design automation frameworks : proceedings of the Second IFIP WG 10.2 Workshop on Electronic Design Automation Frameworks, Charlottesville, VA, U.S.A., 26-28 November 1990
Paper図書
edited by Franz J. Rammig, Ron WaxmanNorth-Holland1991
Other Libraries in Japan

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

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
Paper図書
edited by Dominique Borrione, Ronald WaxmanNorth-Holland1991
Other Libraries in Japan

Tool integration and design environments : proceedings of the IFIP WG 10.2 Workshop on Tool Integration and Design Environments, Paderborn, FRG, 26-27 November, 1987

Tool integration and design environments : proceedings of the IFIP WG 10.2 Workshop on Tool Integration and Design Environments, Paderborn, FRG, 26-27 November, 1987
Paper図書
edited by Franz J. RammigNorth-Holland1988
Other Libraries in Japan

Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, DC, U.S.A., 19-21 June, 1989

Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and Their Applications, Washington, DC, U.S.A., 19-21 June, 1989
Paper図書
edited by John A. Darringer, Franz J. RammigNorth-Holland : Distributors for the U.S. and Canada, Elsevier Science Pub. Co.1990
Other Libraries in Japan

The fusion of hardware design and verification : proceedings of the IFIP WG 10.2 Working Conference on the Fusion of Hardware Design and Verification, Glasgow, Scotland, 4-6 July 1988

The fusion of hardware design and verification : proceedings of the IFIP WG 10.2 Working Conference on the Fusion of Hardware Design and Verification, Glasgow, Scotland, 4-6 July 1988
Paper図書
edited by George J. MilneNorth-Holland1988
Other Libraries in Japan
RSS