Io - PDFSEARCH.IO - Document Search Engine

Io
Results: 17950

#	Item
1	http://cryptostripinc.com http://exoticcoin.io WHITE PAPER 2018 Add to Reading List Source URL: exoticcoin.io Language: English - Date: 2018-05-31 10:34:20 Economy Payment systems Money Financial services Debit card Token coin Security token Gram Credit card
2	DataCite Open Citations Martin Fenner DataCite Technical Director https://orcid.org2405 DATACITE Add to Reading List Source URL: workshop-oc.github.io Language: English - Date: 2018-09-10 10:16:09 Academic publishing Publishing Identifiers Information science Knowledge Technical communication Electronic documents Index DataCite Initiative for Open Citations Crossref Digital object identifier
3	Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Computing Debugging Aspect-oriented software development Aspect-oriented programming Delta debugging Extreme programming Software testing Debugger Software bug AspectJ Spring Framework
4	Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Logic Mathematical logic Abstraction Formal languages Syntax Formal systems Proof assistants Type theory Metamath Formal proof Theory OMDoc
5	Automated Documentation Inference to Explain Failed Tests Sai Zhang1 Cheng Zhang2 Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34
6	Generating Synthetic Decentralized Social Graphs with Local Differential Privacy Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59
7	Effective Identification of Failure-Inducing Changes: A Hybrid Approach Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao PASTE 2008 Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Debugging Delta debugging Complement system
8	PDF Document Add to Reading List Source URL: sakura.io Language: Japanese - Date: 2018-08-14 07:35:51
9	LNCSModular Synthesis of Sketches Using Models Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Mathematics Function Computability theory Constraint programming Formal methods Theoretical computer science
10	CRYPTO-TOKEN BACKED BY COLOMBIAN EMERALDS WHITE PAPER Add to Reading List Source URL: src.gemera.io Language: English - Date: 2018-08-30 11:51:22 Colombian emeralds Departments of Colombia Emerald Boyac Department Geography of Colombia Beryl Muzo Chivor Gemstone Cut Colombia Las Pavas