1. SYSTEM VERILOG FOR VERIFICATION

    SYSTEM VERILOG FOR VERIFICATION

    6,500

    博客來

  2. SYSTEM VERILOG FUNCTIONAL VERIFICATION

    SYSTEM VERILOG FUNCTIONAL VERIFICATION

    4,370

    博客來

  3. SYSTEM VALIDATION AND VERIFICATION

    SYSTEM VALIDATION AND VERIFICATION

    4,748

    博客來

  4. RECONFIGURABLE SYSTEM DESIGN AND VERIFICATION

    RECONFIGURABLE SYSTEM DESIGN AND VERIFICATION

    10,200

    博客來

  5. VERIFICATION TECHNIQUES FOR SYSTEM-LEVEL DESIGN

    VERIFICATION TECHNIQUES FOR SYSTEM-LEVEL DESIGN

    3,838

    博客來

  6. PALM VEINS RECOGNITION AND VERIFICATION SYSTEM

    PALM VEINS RECOGNITION AND VERIFICATION SYSTEM

    2,370

    博客來

  7. HIGH-LEVEL VERIFICATION: METHODS AND TOOLS FOR VERIFICATION OF SYSTEM-LEVEL DESIGNS

    HIGH-LEVEL VERIFICATION: METHODS AND TOOLS FOR VERIFICATION OF SYSTEM-LEVEL DESIGNS

    6,599

    博客來

  8. HIGH-LEVEL VERIFICATION: METHODS AND TOOLS FOR VERIFICATION OF SYSTEM-LEVEL DESIGNS

    HIGH-LEVEL VERIFICATION: METHODS AND TOOLS FOR VERIFICATION OF SYSTEM-LEVEL DESIGNS

    6,599

    博客來

  9. SYSTEM-ON-CHIP SECURITY: VALIDATION AND VERIFICATION

    SYSTEM-ON-CHIP SECURITY: VALIDATION AND VERIFICATION

    5,399

    博客來

  10. SYSTEM-ON-CHIP SECURITY: VALIDATION AND VERIFICATION

    SYSTEM-ON-CHIP SECURITY: VALIDATION AND VERIFICATION

    7,199

    博客來

  11. EMBEDDED SYSTEM DESIGN: MODELING, SYNTHESIS AND VERIFICATION

    EMBEDDED SYSTEM DESIGN: MODELING, SYNTHESIS AND VERIFICATION

    3,299

    博客來

  12. EMBEDDED SYSTEM DESIGN: MODELING, SYNTHESIS AND VERIFICATION

    EMBEDDED SYSTEM DESIGN: MODELING, SYNTHESIS AND VERIFICATION

    3,299

    博客來

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

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

    10,199

    博客來

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

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

    10,199

    博客來

  15. A VERIFICATION SYSTEM FOR SHORT RANGE NAVY FORECASTS.

    A VERIFICATION SYSTEM FOR SHORT RANGE NAVY FORECASTS.

    877

    博客來

  16. UNSETTLED DOMAINS CONCERNING AUTONOMOUS SYSTEM VALIDATION AND VERIFICATION PROCESSES

    UNSETTLED DOMAINS CONCERNING AUTONOMOUS SYSTEM VALIDATION AND VERIFICATION PROCESSES

    6,600

    博客來

  17. SAFETY INSTRUMENTED SYSTEM DESIGN: TECHNIQUES AND DESIGN VERIFICATION

    SAFETY INSTRUMENTED SYSTEM DESIGN: TECHNIQUES AND DESIGN VERIFICATION

    3,990

    博客來

  18. A CUDA BASED PARALLEL IMPLEMENTATION OF SPEAKER VERIFICATION SYSTEM

    A CUDA BASED PARALLEL IMPLEMENTATION OF SPEAKER VERIFICATION SYSTEM

    2,911

    博客來

  19. SYSTEM-ON-A-CHIP VERIFICATION: METHODOLOGY AND TECHNIQUES

    SYSTEM-ON-A-CHIP VERIFICATION: METHODOLOGY AND TECHNIQUES

    12,500

    博客來

  20. SYSTEM VERIFICATION: PROVING THE DESIGN SOLUTION SATISFIES THE REQUIREMENTS

    SYSTEM VERIFICATION: PROVING THE DESIGN SOLUTION SATISFIES THE REQUIREMENTS

    6,600

    博客來