年 〜
年

検索結果 5 件

A pipelined multi-core machine with operating system support : hardware implementation and correctness proof : pbk

A pipelined multi-core machine with operating system support : hardware implementation and correctness proof : pbk
紙図書
Petro Lutsyk, Jonas Oberhauser, Wolfgang J. PaulSpringerc2020
全国の図書館
  • 著者標目Lutsyk, Petro Oberhauser, Jonas Paul, Wolfgang J.

Computer architecture : complexity and correctness

Computer architecture : complexity and correctness
紙図書
Silvia M. Mueller, Wolfgang J. PaulSpringerc2000
全国の図書館
  • 著者標目Mueller, Silvia M. Paul, Wolfgang J.

The complexity of simple computer architectures

The complexity of simple computer architectures
紙図書
Silvia M. Müller, Wolfgang J. PaulSpringer-Verlagc1995
全国の図書館
  • 著者標目Müller, Silvia M. Paul, Wolfgang J.

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005 : Saarbrucken, Germany, October 3-6, 2005 : proceedings. : 2005 advanced research working conference on correct hardware-like design and verification methods : Oct 2005, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 3725)

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005 : Saarbrucken, Germany, October 3-6, 2005 : proceedings. : 2005 advanced research working conference on correct hardware-like design and verification methods : Oct 2005, Saarbrucken, Germany. (Lecture Notes in Computer Science ; 3725)
紙図書
Springerc2005.<M17-05-2680>
国立国会図書館
  • 著者標目...ne, Dominique. Paul, Wolfgang J., 1951- CHARME 2005 (2005 : Sa...

Komplexitätstheorie 1. Aufl

Komplexitätstheorie 1. Aufl
紙図書
von Wolfgang J. PaulTeubner1978
全国の図書館
  • 著者標目Paul, Wolfgang J.

検索結果は以上です。