Jump to main content

yr 〜
yr

Search results 6

Hardware/software co-design : principles and practice

Hardware/software co-design : principles and practice
Paper図書
edited by Jørgen Staunstrup and Wayne WolfKluwer Academic Publishersc1997
Other Libraries in Japan
  • Author HeadingStaunstrup, J. (Jørgen) Wolf, Wayne Hendrix

A formal approach to hardware design

A formal approach to hardware design
Paper図書
by Jørgen StaunstrupKluwer Academic Publishersc1994
Other Libraries in Japan
  • Author HeadingStaunstrup, J. (Jørgen)

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
  • Author HeadingIFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits Staunstrup, J. (Jørgen) Sharp, Robin

Formal methods for VLSI design : IFIP WG 10.5 lecture notes

Formal methods for VLSI design : IFIP WG 10.5 lecture notes
Paper図書
edited by Jørgen StaunstrupNorth-Holland1990
Other Libraries in Japan
  • Author HeadingStaunstrup, J. (Jørgen) IFIP WG 10.5

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 : gw : us

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 : gw : us
Paper図書
edited by J. StaunstrupSpringer-Verlag1982
Other Libraries in Japan
  • Author HeadingStaunstrup, J. (Jørgen)

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup. (Lecture notes in computer science)

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup. (Lecture notes in computer science)
Paper図書
Springer-Verlag1982.<M15-A1495>
National Diet Library
  • Author HeadingStaunstrup, J. (Jørgen) , 1952-

Reached to the end of result.

RSS