.in - PDFSEARCH.IO - Document Search Engine

.in
Results: 3761576

#	Item
931	Privacy Policy CUBE GmbH (“CUBE”/”We”) takes the protection of your personal data very seriously. We treat your in accordance with the General Data Protection Regulation (GDPR) and the Federal Data Protection Act Add to Reading List Source URL: cube-global.com Language: English - Date: 2018-09-11 05:57:41 Law Privacy law Data security Information privacy Terms of service Internet privacy Data protection General Data Protection Regulation HTTP cookie Privacy policy Bundesdatenschutzgesetz Personally identifiable information
932	Microsoft Word - EO 6 Executive Order Supporting The Critical Role Of The Virginia Department Of Environmental Quality In Prote Add to Reading List Source URL: www.governor.virginia.gov Language: English - Date: 2018-06-21 10:27:09 Environment of the United States United States Environmental protection Oklahoma Department of Environmental Quality Michigan Department of Environmental Quality
933	4th European microfinance day Communication kit guidelines Dear members, As a first step to edit the files contained in this communication kit, it is highly recommended to install the font “Lovelo Black” contained in Add to Reading List Source URL: gallery.mailchimp.com Language: English - Date: 2018-09-26 03:09:21 Computer graphics Graphics software Software Economic development Microfinance Poverty Social economy PDF Adobe Illustrator Adobe Photoshop Web page
934	Splitting on Demand in SAT Modulo Theories Clark Barrett? , Robert Nieuwenhuis?? , Albert Oliveras??, and Cesare Tinelli? ? ? Abstract. Lazy algorithms for Satisfiability Modulo Theories (SMT) combine a generic DPLL-base Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-07-31 08:38:18 Theoretical computer science Mathematical logic Mathematics Constraint programming Automated theorem proving Logic in computer science Formal methods Propositional calculus Satisfiability modulo theories DPLL algorithm Unit propagation Solver
935	The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:36:18 Logic Mathematics Mathematical logic Metalogic Model theory Syntax Well-formed formula First-order logic Resolution Logic programming Tautology
936	Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment Maryam Mehrnezhad, Feng Hao, and Siamak F. Shahandashti School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom {m.mehrnezh Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-09-24 14:01:42 Economy Money Finance Mobile payments Payment systems ISO standards Mobile telecommunications Online payments Near-field communication EMV Apple Pay Payment terminal
937	Once there was a forest. It was a very beautiful forest with many different trees, plants and animals. In the forest liv Add to Reading List Source URL: scotdectrees.users38.interdns.co.uk Language: English - Date: 2014-04-22 08:55:49 Republicanism in the United Kingdom The Guardian News media
938	Branching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdila,1 , V´aclav Broˇzeka , Vojtˇech Forejtb,a , Anton´ın Kuˇceraa,1 a b Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:09:39 Symbol Linear temporal logic Constructible universe Markov chain Probabilistic logic Logic Mathematics Epistemology
939	Robust fault-recovery in Software-Defined Networks IBSDN: IGP as a Backup in SDN Master’s thesis presented in partial fulfillment of the requirements for the degree of Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:55:27 Network architecture Computing Computer architecture Information and communications technology Emerging technologies Internet architecture Configuration management Software-defined networking Network protocols OpenFlow Open vSwitch Computer network
940	BetaNYC’s Civic Innovation Fellows Community Board Technology Needs Report `2018 Prepared in conjunction with the Office of the Manhattan Borough President and Manhattan Community Boards Add to Reading List Source URL: beta.nyc Language: English - Date: 2018-09-24 11:10:00 Marketing Digital media New media Economy E-commerce Email Customer-relationship management Services marketing Social media Internet Email marketing New York City Department of Information Technology and Telecommunications

UPDATE