PandaDalin
这家伙很懒，什么也没写
Decision Procedures2nd
作者:DanielKroening/OferStrichman 出版社:Springer 副标题:AnAlgorithmicPointofView 出版年:2008-5-23 介绍：Z3等SMT求解器理论基础
其他 11 0 PDF 2020-06-17 10:06:32
SharedMemory Synchronization
作者:MichaelL.Scott 出版社:Morgan&ClaypoolPublishers 原作名:MichealL.Scott 出版年:2013-6-17 页数:222 定价:USD50.00 装帧:Paperback 丛书:SynthesisLecturesonComputerArchite
其他 39 0 PDF 2020-05-31 19:05:21
Quantum Computing for Computer Scientists
QuantumComputingforComputerScientists面向计算机科学的量子计算入门书籍
其他 30 0 PDF 2019-09-05 23:09:35
TheCalculusofComputation
作者:AaronR.Bradley/ZoharManna出版社:Springer副标题:DecisionProcedureswithApplicationstoVerification出版年:2007-10-12
其他 41 0 PDF 2019-05-05 13:05:46
图解设计模式完整扫描优化版
作者: [日] 结城浩 出版社: 人民邮电出版社 译者: 杨文轩 出版年: 2017-1-1 页数: 366 丛书: 图解入门系列 ISBN: 9787115439499
Java 146 0 pdf 2019-04-10 16:04:07
Letters of Credit A View of Type Design
作者: Walter Tracy 出版社: David R Godine 出版年: 2004-9-2 页数: 224 定价: GBP 14.99 装帧: Paperback ISBN: 9781567922400 简介: 字体设计、字体排印经典书籍
其他 61 0 PDF 2019-04-08 04:04:28
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
其他 48 0 PDF 2019-03-18 01:03:46
Lambda Calculus with Types
带类型 Lambda 演算 豆瓣链接：https://book.douban.com/subject/10728661/
其他 62 0 PDF 2018-12-28 13:12:26
The Little Prover
The Little Schemer 系列作者 Daniel P. Friedman 最新力作。 使用 Scheme 实现的定理证明器，进行程序形式验证。 [FROM www.amazon.com]:, The Little Prover introduces inductive proofs a
其他 97 0 PDF 2018-12-20 08:12:39