検索結果 110 件
紙図書
国立国会図書館
- 一般注記...ex term: CAV ; computer aided verification ; verification ; computer science. BL shelfmark: 5180.1...
- 並列タイトル等(連結)Also known as CAV 2000 CAV ; computer aided verification ; verification ; computer science
- 並列タイトル等Also known as CAV 2000 CAV ; computer aided verification ; verification ; computer science
紙図書
国立国会図書館
- 要約等... Conference on Computer Aided Verification, CAV 2015, hel......plications; HW verification; synthesis; termination; and ...
- 件名...ating Systems. Computer software--Verification--Congresses. Computer software--Verification.
- タイトル標目Lecture notes in computer science ; 9206......1, Theoretical computer science and general issues.
紙図書
国立国会図書館
- 一般注記...8. Index term: computer aided verification ; CAV. BL shelfmark: 5180.185...
- 並列タイトル等(連結)Also known as CAV'98 computer aided verification ; CAV
- 並列タイトル等Also known as CAV'98 computer aided verification ; CAV
紙図書
国立国会図書館全国の図書館
- 要約等...how to perform computer aided design, RNA sequencing, micro...
- 内容細目...ing Laboratory Computer-aided Design and Pre......DNA Assemblies Computer-aided Planning for the Verification of Large Batches of DNA Const...
紙図書
国立国会図書館
- 一般注記...9. Index term: computer aided verification ; CAV. BL shelfmark: 5180.185...
- 並列タイトル等(連結)...nown as CAV'99 computer aided verification ; CAV
- 並列タイトル等...nown as CAV'99 computer aided verification ; CAV
紙図書
国立国会図書館
- 要約等... Conference on Computer Aided Verification, CAV 2013 held in St. Petersb...
- 件名Software--Congresses. Computer software--Verification--Congresses. Computer science. Software engineering...
- タイトル標目Lecture notes in computer science ; 8044......1, Theoretical computer science and general issues.
紙図書
国立国会図書館
- 件名Computer software--Verification--Congresses.
- タイトル標目Lecture notes in computer science ; 7358......1, Theoretical computer science and general issues.