Paper - PDFSEARCH.IO - Document Search Engine

Paper
Results: 146959

#	Item
61	Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2018-05-10 06:54:27 Mathematical logic Predicate logic Mathematics Logic Predicate variable Scope Atomic sentence FO First-order logic Variable Structured text Assignment
62	Making Data Honest White Paper Josh McIver, Taulant Ramabaja, Pete Anewalt, Dave Otander January 21, Add to Reading List Source URL: www.uledger.co Language: English - Date: 2018-02-19 17:17:36 Cryptocurrencies Blockchains Computing Data management Alternative currencies Information Cross-platform software Bitcoin Data integrity Ethereum Smart contract Data quality
63	Diceland Consolidated Special Effect Rules A supplement for the Diceland Paper Dice Game available from _http://www.diceland.com_ Document version: 2008-May-23 This document is a supplement for Diceland players. It is a Add to Reading List Source URL: wanderinghorse.net Language: English - Date: 2018-10-25 11:40:39 Gaming Human behavior Diceland Entertainment Dice Cheapass Games
64	WHITE PAPER Supercar Smart Contracts www.cryptocars.cc Facebook: FB.com/cryptocarscc Twitter: @cryptocarscc Add to Reading List Source URL: cryptocars.cc Language: English - Date: 2018-03-15 22:00:58 Cryptocurrencies Ethereum Blockchains Concurrent computing Distributed computing Computing Kin Smart contract Joseph Lubin Draft:Enjin UnikoinGold
65	AN OVEROPS WHITE PAPER Add to Reading List Source URL: resources.overops.com Language: English - Date: 2018-08-05 11:24:06 Computing Software engineering Computer programming Control flow Debugging Exception handling Log analysis Log file Procedural programming languages Tracing Object-oriented programming languages Log4j
66	NEARBY SLOPES AND BOUNDEDNESS FOR `-ADIC SHEAVES IN POSITIVE CHARACTERISTIC by Jean-Baptiste Teyssier Abstract. — The goal of this paper is to motivate a boundedness conjecture for Add to Reading List Source URL: jbteyssier.com Language: English - Date: 2015-09-11 10:59:47 Algebra Abstract algebra Ring theory Algebraic number theory Field theory Complex analysis Algebraic topology Ramification Conductor Valuation Proper morphism Field extension
67	Pixie Shopping Street (PixieCoin) White Paper Version: V.0.9 PixieCoin Team Add to Reading List Source URL: www.pixiecoin.io Language: English - Date: 2018-03-21 03:22:10 Game design Software Computing Massively multiplayer online games Windows games PXC Pixie Virtual world Club Penguin The Kore Gang Online shopping Second Life
68	White Paper of Show Coin Project Decentralized Interactive Living Broadcasting Platform VersionShowCoin Foundation Add to Reading List Source URL: www.show.one Language: English - Date: 2018-05-21 00:24:51 Cryptocurrencies Economy Concurrent computing Technology Multimedia Internet broadcasting Alternative currencies Financial cryptography Streaming media Digital currency High-performance Integrated Virtual Environment Blockchain
69	WHITE PAPER CONTENTS Legal information About the company Add to Reading List Source URL: ico.bittech.cn.com Language: English - Date: 2018-09-20 02:39:43 Cryptocurrencies Decentralization Cryptography Bitcoin Alternative currencies Economy Computing Financial technology Blockchain SHA-2
70	ELOVE SOCIAL BLOCKCHAIN NETWORK WHITE PAPER Ver 1.0 Max Nguyen al Add to Reading List Source URL: icorating.com Language: English - Date: 2018-03-19 09:28:33 Cryptocurrencies Blockchains Ethereum Computing Alternative currencies Concurrent computing Economy Decentralization Smart contract Kin Bitcoin ternity