User - PDFSEARCH.IO - Document Search Engine

User
Results: 68652

#	Item
101	RÉSUMÉ OF Rafael Conde, designer I’m a designer and developer with a keen interest in logical, accessible, yet interesting user interfaces. Currently working as the product designer at Netlify. Add to Reading List Source URL: rafaelconde.net Language: English Industrial design Product development Prototype
102	PDF Document Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:40 Theoretical computer science Mathematical logic Logic Logic in computer science Proof assistants Boolean algebra Formal methods Automated theorem proving Resolution Boolean satisfiability problem Isabelle Logic for Computable Functions
103	AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo Sylvain Conchon Mohamed Iguernlala Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Mathematical logic Logic Formal methods Alt-Ergo Electronic design automation Logic in computer science NP-complete problems Satisfiability modulo theories Axiom First-order logic Solver
104	AetherWorks 501 Fifth Avenue, New York, NYMARKETING STRATEGIST AetherWorks is seeking a Marketing Strategist to help drive user growth, engagement, and education for ActiveAether & FogCoin. The Marketing Strategi Add to Reading List Source URL: www.aetherworks.com Language: English - Date: 2018-06-25 15:36:31 Digital media World Wide Web Software Social media Universal Windows Platform apps Social networks Crowdsourcing Reddit Twitter Engagement marketing Facebook
105	Introduction Finite Model Generation Proof-Producing SAT Solvers Satisfiability Modulo Theories Finite Model Generation, Proof-Producing Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2009-02-03 09:54:08 Theoretical computer science Logic Mathematical logic Logic in computer science Formal methods Electronic design automation NP-complete problems Constraint programming Satisfiability modulo theories Satisfiability Propositional calculus Solver
106	Robinhood Crypto User Agreement In consideration of Robinhood Crypto, LLC and its agents and assigns (collectively, “RHC”, “you”, or “your”) opening an account on my behalf (“my RHC Account” or the “RHC Add to Reading List Source URL: d2ue93q3u507c2.cloudfront.net Language: English - Date: 2018-08-25 01:10:29 Economy Alternative currencies Cryptocurrencies Money Digital currencies Decentralization Financial technology Robinhood Bitcoin Debits and credits Ethereum
107	Why should my business use Fastly? What can I do with Fastly? As a Drupal user you value fast, reliable page loads. As a modern, real-time CDN, Fastly can deliver your content Add to Reading List Source URL: www.fastly.com Language: English - Date: 2017-05-05 00:23:44 Software Computing Cross-platform software World Wide Web Content delivery networks Fastly Internet security Drupal Varnish
108	Understanding User Interactions with Podcast Recommendations Delivered Via Voice Longqi Yang Michael Sobolev Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2018-10-25 09:08:13 Humancomputer interaction Recommender system Human behavior User interface techniques Computing User interface Usability Association for Computing Machinery Human communication GroupLens Research Collaborative filtering
109	Bytom User manual V 1.0 (Mining + Wallet) Contents 1. Installation Guide Add to Reading List Source URL: bytom.io Language: English - Date: 2018-05-20 11:13:19 Installation SIMD System software Computing Computer architecture

UPDATE