60 元券
60 元券
90 元券
90 元券
90 元券
![[预订]Verifiable Autonomous Systems](https://img.alicdn.com/bao/uploaded/i3/454266620/O1CN01wsYOrL1ym0my6VTrs_!!0-item_pic.jpg_280x380xz.jpg)
90 元券
90 元券
![[预订]Verifiable Autonomous Systems](https://img.alicdn.com/bao/uploaded/i1/454266620/O1CN01lwfe4H1ym0n5OO2B8_!!0-item_pic.jpg_280x380xz.jpg)
30 元券
30 元券
20 元券
20 元券
30 元券
30 元券
![【4周达】Blockchains: Decentralized and Verifiable Data Systems [9783031139789]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01li7N4P28LaGaBYU8k_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
34.9 元券
![【4周达】Verifiable Composition of Signature and Encryption : A Comprehensive Study of the Design Par... [9783319681115]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN016JPlwe28LaGargfxh_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
55.5 元券
![【4周达】Privately and Publicly Verifiable Computing Techniques : A Survey [9783319537979]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01FGdetX28LaGeqaIeh_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
28.1 元券
![【4周达】Verifiable Privacy Protection for Vehicular Communication Systems [9783658185497]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01Brtttn28LaGdVpG5M_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
28.1 元券
![【4周达】Principles of Verifiable RTL Design : A functional coding style supporting verification proc... [9781475773132]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01Ti7pIs28LaGSb7r06_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
55.5 元券
![【4周达】Blockchains : Decentralized and Verifiable Data Systems [9783031139819]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01MIB38l28LaGbaEgbg_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
32.5 元券
![【4周达】Principles of Verifiable RTL Design : A functional coding style supporting verification proc... [9781475774184]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01xRZ8Hj28LaGRrYq06_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
79.1 元券
![【4周达】Verifiable Composition of Signature and Encryption : A Comprehensive Study of the Design Par... [9783319885513]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01TZT21p28LaGeNlRSu_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
54.5 元券
![【4周达】Principles of Verifiable RTL Design : A functional coding style supporting verification proc... [9780792373681]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01Pe68pt28LaHmFtFAI_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Ma... [9781108484992]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN015HmaoE28LaGPIaRO5_!!0-item_pic.jpg_280x380xz.jpg)
44.7 元券
1.6 元券
