2-2-2 - PDFSEARCH.IO - Document Search Engine

2-2-2
Results: 835450

#	Item
421	MarchSmoke Whitepaper. V 2.2 Prepared by: Jonathan Hunter, Add to Reading List Source URL: icorating.com Language: English - Date: 2018-04-12 05:09:54 Medicinal plants Cannabis Medicine Herbalism Entheogens Euphoriants Cannabis smoking Health Medical cannabis Legality of cannabis 420 Everipedia
422	Logical Methods in Computer Science Vol. 2 (5:, pp. 1–31 www.lmcs-online.org Submitted Published Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-05 14:26:41 Algebra Mathematics Abstract algebra Category theory Universal algebra Boolean algebra Mathematical logic Adjoint functors F-algebra Variety Monad Sigma-algebra
423	COLORADO SUPREME COURT 2 East 14th Avenue Denver, COOriginal Proceeding Pursuant to Colo. Rev. Stat. § Appeal from the Ballot Title Board Add to Reading List Source URL: www.courts.state.co.us Language: English - Date: 2018-06-01 09:17:26 Colorado Tom Tancredo Coffman United States
424	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2014-04-20 08:49:44 Mathematical logic Metalogic Logic Model theory Logic in computer science Proof theory Proof assistants Programming language semantics HOL Operational semantics Gdel's completeness theorem Type theory
425	PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games Marta Kwiatkowska1 , David Parker2 , and Clemens Wiltsche1 1 2 Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2016-01-04 05:28:26 Microeconomics Game theory Economics Applied mathematics Non-cooperative games Mathematical optimization Nash equilibrium Stochastic game Zero-sum game Pareto efficiency Strategy
426	Rootstock brochure 2-15_work_in_progress_3:Layout 1.qxd Add to Reading List Source URL: www.rootstock.org.uk Language: English - Date: 2013-07-04 11:26:18 Business models Market socialism Social programs Structure Radical Routes Economy Consumers' co-operative Housing cooperative Cooperative Worker cooperative The Co-operative Group The Co-operative brand
427	Generic Double-Authentication Preventing Signatures and a Post-Quantum Instantiation? David Derler1 , Sebastian Ramacher1 , and Daniel Slamanig2 1 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-08-28 04:23:05 Cryptography Public-key cryptography Elliptic curve cryptography Key management Digital Signature Standard Digital signature Key Post-quantum cryptography EdDSA RSA Model theory Digital Signature Algorithm
428	Microsoft Word - 2010_last day to request absentee_ in-person _2_.docx Add to Reading List Source URL: sos.idaho.gov Language: English - Date: 2010-10-26 14:23:48 Voting Elections Absentee ballot Political terminology Politics Electronic voting Group decision-making Absentee Election Day
429	Deckblatt Impressum Zweiundzwanzigster Tätigkeitsbericht nach § 29 Abs. 2 Landesdatenschutzgesetz (LDSG) Add to Reading List Source URL: www.datenschutz.rlp.de Language: German - Date: 2018-10-15 06:09:39
430	What is a Trace? A Runtime Verification Perspective Giles Reger1? and Klaus Havelund2?? 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-08-10 12:10:31 Computing Open formats Markup languages Formal methods Debugging Logic in computer science Runtime verification Tracing Comma-separated values Exception handling Database Data logger