検索結果 816 件
紙図書
国立国会図書館全国の図書館
- 要約等...y used for the verification of hardware an......al methods and verification tools."--Provided by publishe...
- 件名Computer systems--Verification--Handbooks, manuals, etc. Computer systems--Verification.
紙図書
国立国会図書館
- 内容細目What are monitoring and verification regimes? South......monitoring and verification regimes.
- 件名... arms control--Verification. Chemical arms control--Verification. Biological arms control--Verification. Disarmament--On-site inspect...
紙図書
国立国会図書館
- 内容細目...ons Reporting, verification, and compliance Disarmament, ...
- 件名Arms control. Disarmament. Nuclear arms control--Verification.
紙図書
国立国会図書館
- 内容細目Verification by Finite-Dime......inciple of the Verification Fixed-Point Fo......ranov Equation Verification for Bifurcated......rm Programming Verification of the Local U......didate Set and Verification Condition Note......amming Example Verification of the Local U......-Type Method A Verification Algorithm Base......xed-Point Form Verification Condition Loca......f the Solution Verification Algorithm IS-R......ptic Problem A Verification Algorithm Base......nt Formulation Verification Algorithm The ......ction Problems Verification of Two-Dimensi......bolic Operator Verification Results for So......tion to Intlab Verifications for Finite-Dimensional Probl...
- 件名Differential equations, Partial. Automatic theorem proving. Numerical calculations--Verification.
紙図書
国立国会図書館
- 件名Computer software--Verification--Congresses. Computer software--Verification.
紙図書
国立国会図書館
- 件名...puter systems--Verification--Congresses. C......puter systems--Verification. Hybrid systems.
紙図書
国立国会図書館
- 要約等...Computer Aided Verification, CAV 2015, hel......plications; HW verification; synthesis; termination; and ...
- 件名...uter software--Verification--Congresses. C......uter software--Verification.
紙図書
国立国会図書館
- 件名...uter software--Verification--Congresses. C......uter software--Verification.
紙図書
国立国会図書館全国の図書館
- 件名Computer software--Verification. Computer programs--Verification.
紙図書
国立国会図書館
- 件名...uter software--Verification--Congresses. C......uter software--Verification.
紙図書
国立国会図書館
- 件名Computer software--Verification--Congresses. E......uter software--Verification. Electronic apparatus and app...
- 著者標目IEEE International Verification and Security Workshop (1st : ...
紙図書
国立国会図書館
- 件名...uter software--Verification--Congresses. C......uter software--Verification. Data encryption (Computer sc...
紙図書
国立国会図書館
- 内容細目...ar disarmament verification INDA inspections Sustainable ...
- 件名Nuclear arms control--Verification--International cooperation Nu...
紙図書
国立国会図書館
- 要約等... and analysis; verification.
- 件名...uter programs--Verification--Congresses. C......uter software--Verification--Congresses. C......uter programs--Verification. Computer soft......uter software--Verification. Formal methods (Computer sci...
紙図書
国立国会図書館
- 件名Computer software--Verification--Congresses. Software enginee...
紙図書
国立国会図書館
- 件名...uter software--Verification--Congresses. C......uter software--Verification.
- 一般注記...tware Testing, Verification and Validation : Proceedings ...
- 著者標目...tware Testing, Verification, and Validation (9th : 2016 :...
紙図書
国立国会図書館
- 件名...uter programs--Verification--Congresses. C......uter software--Verification--Congresses. C......uter programs--Verification. Computer soft......uter software--Verification. Formal methods (Computer sci...
紙図書
国立国会図書館
- 件名...puter systems--Verification--Congresses. C......puter systems--Verification. Cybernetics. Sensor networks...
紙図書
国立国会図書館
- 件名Computer systems -- Verification. Computer software -- Verification. Systèmes informatiques -- Vérification. Systèmes informatiques -- Vérification -- Modèles mat....... Logiciels -- Vérification -- Modèles mathématiques.