Jump to main content

yr 〜
yr

Search results 5

Theoretical foundations of VLSI design : pbk

Theoretical foundations of VLSI design : pbk
Paper図書
edited by K. McEvoy and J.V. TuckerCambridge University Press2003
Other Libraries in Japan
  • Author HeadingMcEvoy, Ken Tucker, J. V. (John V.)

Prospects for hardware foundations : ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters

Prospects for hardware foundations : ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters
Paper図書
Bernhard Möller, John V. Tucker (eds)Springerc1998
Other Libraries in Japan
  • Author HeadingMöller, Bernhard Tucker, J. V. (John V.)

Many-sorted logic and its applications

Many-sorted logic and its applications
Paper図書
edited by K. Meinke and J.V. TuckerWileyc1993
Other Libraries in Japan
  • Author HeadingMeinke, K. (Karl) Tucker, J. V. (John V.)

Theoretical foundations of VLSI design : hard

Theoretical foundations of VLSI design : hard
Paper図書
edited by K. McEvoy and J.V. TuckerCambridge University Press1990
Other Libraries in Japan
  • Author HeadingMcEvoy, Ken Tucker, J. V. (John V.)

Program correctness over abstract data types, with error-state semantics

Program correctness over abstract data types, with error-state semantics
Paper図書
J.V. Tucker, J.I. ZuckerNorth-Holland1988
Other Libraries in Japan
  • Author HeadingTucker, J. V. (John V.) Zucker, J. I.

Reached to the end of result.

RSS