User - PDFSEARCH.IO - Document Search Engine

User
Results: 68652

#	Item
51	Tektosyne User’s Guide Overview of Library Features by Namespace Christoph Nahr Add to Reading List Source URL: www.kynosarges.de Language: English - Date: 2012-06-09 03:22:30 Computing Computer programming Software engineering Cross-platform software Functional languages High-level programming languages Namespace C Sharp Assembly Extension method .NET Framework
52	Introduction Finite Model Generation Extensions and Optimizations Case Studies Integration of Proof-Producing SAT Solvers Conclusion Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2008-10-09 08:41:17 Mathematical logic Logic Boolean algebra Mathematics Classical logic Propositional calculus Model theory
53	Oracle VM R VirtualBox User Manual VersioncOracle Corporation Add to Reading List Source URL: download.virtualbox.org Language: English - Date: 2018-10-15 08:11:52 System software Software Platform virtualization software VirtualBox Hyper-V Hardware virtualization Oracle VM Server for x86 Solaris Virtual machine Hypervisor Paravirtualization Windows
54	Poster: Adaptcha: An Adaptive CAPTCHA for Improved User Experience Brian M. Powell1 , Richa Singh1,2 , Mayank Vatsa1,2 and Afzel Noore1 1 West Virginia University, 2 IIIT-Delhi {brian.powell, afzel.noore}@mail.wvu.edu, { Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-14 09:05:50 Artificial intelligence World Wide Web Human-based computation Technology Computer vision Computer access control Anti-spam CAPTCHA Computer security Internet bot Turing test Transaction authentication number
55	Homomorphic Proxy Re-Authenticators and Applications to Verifiable Multi-User Data Aggregation David Derler, Sebastian Ramacher, and Daniel Slamanig April 2017—FC 2017, Sliema, Malta Add to Reading List Source URL: david.derler.info Language: English - Date: 2018-10-15 14:18:42 Public-key cryptography Cryptography Homeomorphisms Homomorphic encryption Proxy re-encryption Digital signature Mathematics
56	Online Actions with Offline Impact: How Online Social Networks Influence Online and Offline User Behavior Tim Althoff Pranav Jindal Add to Reading List Source URL: www.timalthoff.com Language: English - Date: 2016-12-09 04:13:22 Software Digital media Computing Universal Windows Platform apps Social media Social networking services Social information processing New media Facebook Twitter Reddit Internet
57	Microsoft Word - Billplz User Agreement Add to Reading List Source URL: www.billplz.com Language: English - Date: 2018-10-23 20:17:12 Contract law Law Payment systems Economy Brand management Brands Product management Trademark Indemnity Private law Frameworx License Credit card
58	A Generic Process Calculus Approach to Relaxed-Memory Consistency Palle Raabjerg Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-05-22 10:50:40 Process calculi Theoretical computer science Process calculus Mathematics -calculus Calculus Lambda calculus Computer science Actor model and process calculi history Join-calculus
59	County: State of Wyoming User Name : Jennifer Trabing Statewide Senate Districts and House Districts By County Report Add to Reading List Source URL: soswy.state.wy.us Language: English - Date: 2018-06-28 16:02:50 ITU World Triathlon Series Marvel Fact Files Module:Calendar date/localfiles/Tu BiShvat
60	Integrating zChaff with Isabelle/HOL A Fast Decision Procedure for Propositional Logic Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:04 Proof assistants Logic in computer science Theoretical computer science HOL Logic programming Isabelle Constructible universe