PandaDalin
这家伙很懒，什么也没写
Ta上传的资源 (0)
Decision Procedures2nd
作者:DanielKroening/OferStrichman
出版社:Springer
副标题:AnAlgorithmicPointofView
出版年:2008-5-23
介绍：Z3等SMT求解器理论基础
SharedMemory Synchronization
作者:MichaelL.Scott
出版社:Morgan&ClaypoolPublishers
原作名:MichealL.Scott
出版年:2013-6-17
页数:222
定价:USD50.00
装帧:Paperback
丛书:SynthesisLecturesonComputerArchite
Quantum Computing for Computer Scientists
QuantumComputingforComputerScientists面向计算机科学的量子计算入门书籍
TheCalculusofComputation
作者:AaronR.Bradley/ZoharManna出版社:Springer副标题:DecisionProcedureswithApplicationstoVerification出版年:2007-10-12
图解设计模式完整扫描优化版
作者: [日] 结城浩 出版社: 人民邮电出版社 译者: 杨文轩 出版年: 2017-1-1 页数: 366 丛书: 图解入门系列 ISBN: 9787115439499
Letters of Credit A View of Type Design
作者: Walter Tracy 出版社: David R Godine 出版年: 2004-9-2 页数: 224 定价: GBP 14.99 装帧: Paperback ISBN: 9781567922400 简介: 字体设计、字体排印经典书籍
Stop Stealing Sheep Find Out How Type Works
作者: Erik Spiekermann / E.M Ginger 出版社: Adobe Press 出版年: 2002-7-25 页数: 192 定价: USD 40.00 装帧: Paperback ISBN: 9780201703399
Lambda Calculus with Types
带类型 Lambda 演算 豆瓣链接：https://book.douban.com/subject/10728661/
The Little Prover
The Little Schemer 系列作者 Daniel P. Friedman 最新力作。 使用 Scheme 实现的定理证明器，进行程序形式验证。
[FROM www.amazon.com]:, The Little Prover introduces inductive proofs a