.uk - PDFSEARCH.IO - Document Search Engine

.uk
Results: 509634

#	Item
111	Anti Money Laundering Regulations Rootstock is currently exempt from having to comply with the Anti Money Laundering Regulations because the society is registered under the Industrial and Provident Societies Act (1965). Add to Reading List Source URL: www.radicalroutes.org.uk Language: English - Date: 2017-02-28 18:06:11 Tax forms Taxation in the United Kingdom Tax Financial regulation Money laundering Tax evasion Terrorism P45 Identity document P60 Economy Law
112	Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata Aleksandra Jovanovi´ca , Marta Kwiatkowskaa , Gethin Normanb , Quentin Peyrasc a Department Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-02-20 06:08:48 Dynamic programming Markov processes Stochastic control Markov decision process Approximation algorithms Probability Computational complexity theory
113	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-01-06 05:40:55 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
114	Microsoft Word - What do we know 2.doc Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2006-04-04 07:18:50 Education Education in the United Kingdom Comprehensive education Philosophy of education Educational stages Education in England Selective school Comprehensive school Eleven-plus Grammar school Secondary modern school Circular 10/65
115	Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 05:01:11 Theoretical computer science Software engineering Computing Model checking Specification language Computer programming Correctness Formal methods Cognitive science
116	International gaming and gambling declaration 2018 Add to Reading List Source URL: www.gamblingcommission.gov.uk Language: English - Date: 2018-09-17 02:30:17 Gambling regulation Gambling Human behavior Entertainment Loot box Online gambling Gambling Commission Isle of Man Gambling Supervision Commission Gaming control board Gaming law Problem gambling Gibraltar Betting and Gaming Association
117	Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Computing Information and communications technology Network architecture Internet architecture Internet Standards Routing protocols Computer networking Network protocols Computer network Network switch Port mirroring NetFlow
118	Movie Pirates of the Caribbean: Exploring Illegal Streaming Cyberlockers Damilola Ibosiola† , Benjamin Steer† , Alvaro Garcia-Recuero† , Gianluca Stringhini‡ , Steve Uhlig† and Gareth Tyson† † † Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2018-08-06 12:40:12 World Wide Web Digital media Computing Notorious markets Alphabet Inc. Video hosting File sharing Copyright infringement Tort law The Pirate Bay Google Search YouTube
119	WBW Solicitors Privacy Notice CONTENTS ____________________________________________________________ CLAUSE Add to Reading List Source URL: www.wbw.co.uk Language: English - Date: 2018-07-12 03:52:56 Law Data security Privacy law Terms of service Data protection Privacy Information privacy Identity management Internet privacy Personally identifiable information Data retention General Data Protection Regulation
120	Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Computer programming Software engineering Declarative programming Recursion Functional programming Computability theory Theoretical computer science Programming paradigms Algebraic data type Fold Pattern matching Conditional

UPDATE