TRUST IN NUCLEAR DISARMAMENT VERIFICATION

7,740

博客來

PROGRESS IN AUTOMATIC SIGNATURE VERIFICATION

7,200

博客來

VERIFICATION IN ALL ITS ASPECTS INCLUDING THE ROLE OF THE UNITED NATIONS IN THE FIELD OF VERIFICATION

720

博客來

ON THEORY AND VERIFICATION IN SOCIOLOGY

1,042

博客來

VERIFICATION AND VALIDATION IN SYSTEMS ENGINEERING

8,399

博客來

ON THEORY AND VERIFICATION IN SOCIOLOGY

1,757

博客來

NEW PARADIGMS IN COMPUTER AIDED VERIFICATION

7,108

博客來

VERIFICATION AND VALIDATION IN SCIENTIFIC COMPUTING

10,140

博客來

VERIFICATION OF TEMPORAL PROPERTIES IN EMBEDDED SOFTWARE

4,152

博客來

ADVANCES IN WEATHER AND CLIMATE FORECAST VERIFICATION

7,500

博客來

COMPLIANCE CONTROL AND VERIFICATION IN INTERNATIONAL TREATIES

2,911

博客來

COMPUTER-AIDED VERIFICATION: A SPECIAL ISSUE OF FORMAL METHODS IN SYSTEM DESIGN ON COMPUTER-AIDED VERIFICATION

10,199

博客來

COMPUTER-AIDED VERIFICATION: A SPECIAL ISSUE OF FORMAL METHODS IN SYSTEM DESIGN ON COMPUTER-AIDED VERIFICATION

10,199

博客來

VIDEO VERIFICATION IN THE FAKE NEWS ERA

5,999

博客來

BATCH VERIFICATION OF DIGITAL SIGNATURES IN IOT

1,814

博客來

PROGRAM VERIFICATION: FUNDAMENTAL ISSUES IN COMPUTER SCIENCE

19,799

博客來

VERIFICATION, VALIDATION AND TESTING IN SOFTWARE ENGINEERING

4,748

博客來

VERIFICATION AND VALIDATION IN COMPUTATIONAL SCIENCE AND ENGINEERING

3,230

博客來

VERIFICATION, VALIDATION AND TESTING IN SOFTWARE ENGINEERING

2,848

博客來

COMPUTATIONAL METHODS IN TRANSPORT: VERIFICATION AND VALIDATION

6,599

博客來