171![Bytom V1.0 比原链:一个多元比特资产交互协议 Bytom 比原链 一个多元比特资产交互协议 Bytom V1.0 比原链:一个多元比特资产交互协议 Bytom 比原链 一个多元比特资产交互协议](https://www.pdfsearch.io/img/7b5dbb2846a10edd49b05d7c68e1d697.jpg) | Add to Reading ListSource URL: bytom.ioLanguage: Chinese - Date: 2018-05-28 04:14:38
|
---|
172![Learning Semantic String Transformations from Examples ∗ Rishabh Singh Sumit Gulwani Learning Semantic String Transformations from Examples ∗ Rishabh Singh Sumit Gulwani](https://www.pdfsearch.io/img/6375fafdd847738c32a295df2513fb78.jpg) | Add to Reading ListSource URL: rishabhmit.bitbucket.ioLanguage: English - Date: 2018-06-25 09:59:57
|
---|
173![BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011 BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011](https://www.pdfsearch.io/img/ce60b8ac07d777861cb478cdd339869b.jpg) | Add to Reading ListSource URL: arieg.bitbucket.ioLanguage: English - Date: 2018-10-19 18:15:18
|
---|
174![Cocos BlockChain Expedition A Development and Operating Environment for Decentralized Gaming Applications and Digital Assets Sep 2018 H. Chen, K. Yin, R. Yang Cocos BlockChain Expedition A Development and Operating Environment for Decentralized Gaming Applications and Digital Assets Sep 2018 H. Chen, K. Yin, R. Yang](https://www.pdfsearch.io/img/3c0e1505f895d49e99b3a7d91bbd89e3.jpg) | Add to Reading ListSource URL: www.cocosbcx.ioLanguage: English - Date: 2018-09-24 09:31:37
|
---|
175![Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University](https://www.pdfsearch.io/img/0723a0d41f946fdabf2b770a0152cd1b.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
176![I CO W HI TEPAPER
TABLEOFCONTENTS Br I CO W HI TEPAPER
TABLEOFCONTENTS Br](https://www.pdfsearch.io/img/624742e68d5423e0ce9096ccd1bc1ed0.jpg) | Add to Reading ListSource URL: liqnet.ioLanguage: Italian - Date: 2018-10-04 09:38:18
|
---|
177![FunFair : 재미있고 빠르며 공정한 블록체인 기반의 혁명적인 온라인 게임 v0 년 6 월 13 일 FunFair 팀.
내용 1 요약 FunFair : 재미있고 빠르며 공정한 블록체인 기반의 혁명적인 온라인 게임 v0 년 6 월 13 일 FunFair 팀.
내용 1 요약](https://www.pdfsearch.io/img/3bfef9f745b4014db83120dccf71e854.jpg) | Add to Reading ListSource URL: funfair.ioLanguage: Korean - Date: 2018-01-22 06:20:08
|
---|
178![CENTRIFUGE OS A Decentralized Operating System For The Financial Supply Chain www.centrifuge.io CENTRIFUGE OS A Decentralized Operating System For The Financial Supply Chain www.centrifuge.io](https://www.pdfsearch.io/img/28dc90eeb2e4c663c6e48b83b99b54fb.jpg) | Add to Reading ListSource URL: www.centrifuge.ioLanguage: English - Date: 2018-07-03 12:22:49
|
---|
179![district0x ⽹网络 ⽩白⽪皮书 v0 年年 6 ⽉月 8 ⽇日 ⼀一个去中⼼心化的市场和社区的集合体 由 Ethereum, Aragon 以及 IPFS 提供技术⽀支持 district0x ⽹网络 ⽩白⽪皮书 v0 年年 6 ⽉月 8 ⽇日 ⼀一个去中⼼心化的市场和社区的集合体 由 Ethereum, Aragon 以及 IPFS 提供技术⽀支持](https://www.pdfsearch.io/img/ae68451cf68285f7db6e4f1c7f913a62.jpg) | Add to Reading ListSource URL: district0x.ioLanguage: Chinese - Date: 2018-10-25 10:28:34
|
---|
180![Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, David Notkin University of Washington Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, David Notkin University of Washington](https://www.pdfsearch.io/img/2412c87241ec3c7d044bf31e19ba226e.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:35
|
---|