検索結果 5 件
紙図書
国立国会図書館
- 内容細目...ification 1970-90 Vehicle Electrification 1990-2000 Vehicle E......ervice Process Verification Quality and Re......neering Tools: Computer-Aided Engineering, Design, and Anal...
紙図書
全国の図書館
- 件名... -- Congresses Computer-aided design -- Congresses
- 件名（識別子）... -- Congresses Computer-aided design -- Congresses
- 一般注記"The DIMACS Workshop on Computer-Aided Verification was held at th...... June 18-21, 1990"--T.p. verso Includes bibliog...
紙図書
国立国会図書館
- 件名...-- congresses. Computer-aided design -- Congresses.
- 一般注記"Derived from Computer-aided verification '90 ... DIMACS series in discrete...
- 著者標目DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathema...
紙図書
全国の図書館
- 件名Computer software -- Verification -- Congresses ...... -- congresses Computer-aided design -- Congresses
- 件名（識別子）Computer software -- Verification -- Congresses ...... -- congresses Computer-aided design -- Congresses
- 一般注記"Derived from Computer-aided verification '90 ... DIMACS series in discrete...
紙図書
国立国会図書館
- 一般注記...computer aided verification ; DIMACS.
- 並列タイトル等（連結）...computer aided verification ; DIMACS
- 並列タイトル等...computer aided verification ; DIMACS
検索結果は以上です。
RSSRSS