9780792386452VerificationValidationKnowledge
9780792378587VerificationCircuitsFormal
9780792380795VerificationApproachUnified
9780792376064VerificationSynthesisLogic
9780792373681verificationsupportingfunctional
9780792319658VerificationFundamentalComputer
Specification9780792382843CommunicationVerification
9780792372790VerificationMethodologyTechniques
InternationalVerification第三届Workshop
9780792377375VerificationConcurrencyExploration
摩擦校准校正Verification
9783846589946VerificationSignatureRecurrent
9783639081428VerificationInterlockAnalysis
9781138499911VerificationTreatmentImaging
9781489981509VerificationProcessorsRuntime
Verification预订HardwareFloating
VerificationLevel9781441993588Designs
VerificationFunctional预订Design
Systemverilog9781461498131VerificationMethodology
9781105113758VerificationAdvancedTopics
9781312740617VerificationSimulationValidation
Microprocessor9781489984593ApplicationsVerification
Design9781138586000VerificationAutomation
9783030878818FundamentalsVerificationComputation
Design9781482254624VerificationAutomation
9781461498360VerificationFunctionalPrinciples
9783319686684VerificationSecuritySoftware
Probabilistic9783540439134VerificationPerformance
Computational9781584882640VerificationEngineering
9783319498119VerificationDeductivePractice
VerificationLevel9781493901012Designs
9783540654452IntroductionVerificationHardware
9783319470146VerificationDeductiveStateflow
9783659687846Verification预订Dynamics
9781493979318VerificationDebuggingSoftware
9781489990884SpecificationVerificationSystems
9783642423161VerificationEngineeringValidation
regionalizations9783330053144verification预订
9783030187439VerificationReliabilityModelling
9783319431734VerificationStructuresAlgorithms
扫描二维码打开
周一至周六
9:00-22:00
整装商城 Copyright © 2010 - 2021 http://qhlw.yuncomcn.com/ All Rights Reserved
![【4周达】Validation and Verification of Knowledge Based Systems : Theory, Tools and Practice [9780792386452]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01mXEhxR28LaKd5kxoM_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Formal Verification of Circuits [9780792378587]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01vwcQac28LaKdVAL5G_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】A Unified Approach for Timing Verification and Delay Fault Testing [9780792380795]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01panJKN28LaKd2ibxC_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Logic Synthesis and Verification [9780792376064]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01OuxlJd28LaKc2cL4o_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Principles of Verifiable RTL Design : A functional coding style supporting verification proc... [9780792373681]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01idiXGF28LaKcK4nhq_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Program Verification : Fundamental Issues in Computer Science [9780792319658]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01Vva3Cr28LaKcKA6SQ_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Communication Protocol Specification and Verification [9780792382843]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN015JRH7e28LaKbLvoRz_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】System-on-a-Chip Verification : Methodology and Techniques [9780792372790]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01BaTJQL28LaKbJB5aE_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems [9780792377375]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN013AczOU28LaKbLUl85_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![按需印刷LSTM Recurrent Neural Networks for Signature Verification[9783846589946]](https://img.alicdn.com/bao/uploaded/i2/1899623276/O1CN0163Vgdf1a4SInEqNuU_!!0-item_pic.jpg_310x310.jpg)
![按需印刷Formal Analysis and Verification of Safety Interlock Systems[9783639081428]](https://img.alicdn.com/bao/uploaded/i1/1899623276/O1CN016UgfnK1a4SIenzyru_!!0-item_pic.jpg_310x310.jpg)
![【4周达】On-Treatment Verification Imaging : A Study Guide for IGRT [9781138499911]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN0199NyGC28LaJMPNHo5_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Post-Silicon and Runtime Verification for Modern Processors [9781489981509]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01gas2md28LaIgF8sAe_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】High-Level Verification : Methods and Tools for Verification of System-Level Designs [9781441993588]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN011SxJGi28LaJOoHLtu_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Verification Methodology Manual for Systemverilog [9781461498131]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01KbOM9V28LaJNC5Vax_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Advanced Verification Topics [9781105113758]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01sJtVjk28LaIdkKKUA_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![预订 Verification and Validation for Modeling and Simulation [9781312740617]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01AFpYhG28LaJMlPdfH_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Design and Verification of Microprocessor Systems for High-Assurance Applications [9781489984593]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01pCe5fQ28LaJMM3od3_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Electronic Design Automation for IC System Design, Verification, and Testing [9781138586000]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01bCRMJS28LaJLaSP5O_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification [9783030878818]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01O1NlBE28LaJRwIUr0_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Electronic Design Automation for IC System Design, Verification, and Testing [9781482254624]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN013E5qJH28LaJPAVstO_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Effective Functional Verification : Principles and Processes [9781461498360]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01zWSWPL28LaJOEZuxD_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】String Analysis for Software Verification and Security [9783319686684]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01TG9nKZ28LaJW4i3VB_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joi... [9783540439134]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01LspMxl28LaJXjpH0z_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Verification of Computer Codes in Computational Science and Engineering [9781584882640]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01lKsALy28LaJPoxgqT_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Deductive Software Verification - The KeY Book : From Theory to Practice [9783319498119]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01lMCJKP28LaJXGeobe_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】High-Level Verification : Methods and Tools for Verification of System-Level Designs [9781493901012]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01v9hKs328LaJONvDEB_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Introduction to Formal Hardware Verification [9783540654452]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01acrMtz28LaJYZq1dd_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach [9783319470146]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01AryNBO28LaJR9FJ23_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![预订 User Identity Verification Via Mouse Dynamics [9783659687846]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01r0BFps28LaJZms7S9_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Embedded Software Verification and Debugging [9781493979318]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01Xv6vGu28LaJOlvavA_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Specification and Verification of Multi-Agent Systems [9781489990884]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN011BliRD28LaJMLv1M6_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Verification and Validation in Systems Engineering : Assessing UML/SysML Design Models [9783642423161]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN011RD52D28LaJZrCeoR_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![预订 The verification of the pluvio-thermal regionalizations of the climate [9783330053144]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01hZEVTz28LaJYw6BkP_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and... [9783030187439]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01FlcOH028LaJUdTcOU_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)
![【4周达】New Data Structures and Algorithms for Logic Synthesis and Verification [9783319431734]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01uee7ch28LaJXC7RnU_!!4611686018427384108-0-item_pic.jpg_310x310.jpg)