C - PDFSEARCH.IO - Document Search Engine

C
Results: 504177

#	Item
171	Form No. 120 Prescribed by Secretary of StateElection Notice for use With the Federal Write-In Absentee Ballot (FWAB) R.C Add to Reading List Source URL: jefferson.ohioboe.com Language: English - Date: 2018-10-02 09:00:28
172	A Tutorial on Runtime Verification Yli`es FALCONE a , Klaus HAVELUND b,1 and Giles REGER c,2 a University of Grenoble I (UJF), Laboratoire d’Informatique de Grenoble, France b Jet Propulsion Laboratory, California Inst Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2012-12-17 05:23:36 Software development Aspect-oriented software development Aspect-oriented programming Formal methods Logic in computer science Runtime verification Pointcut Formal verification Join point Instrumentation
173	c:mydocu~1sft_9_27sba1623sba1623.PDF Add to Reading List Source URL: www.sba.gov Language: English - Date: 2018-03-10 11:21:06 Blacklisting Debarment United States law
174	EVOLUTION OF EXPLOIT KITS Exploring Past Trends and Current Improvements Joseph C. Chen Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-01-29 03:59:56 Cybercrime Cyberwarfare Software Blackhole exploit kit Exploit kit Transport Layer Security MPack Malware Exploit CRIME
175	QUICK REFERENCE GUIDE POWEREDGE C SERIES Data centers are undergoing a transformation to meet the demands of the digital economy. Built for scale-out workloads like high performance computing, deep learning and data ana Add to Reading List Source URL: i.dell.com Language: English - Date: 2018-04-10 04:00:06 Computing Computer hardware Server hardware EMC Corporation Dell PowerEdge OpenManage Dell NVM Express Texas Advanced Computing Center Dell M1000e
176	2016_04_Macau_Cash Deposit Machine_0509_c_R1 Add to Reading List Source URL: www.hsbc.com.mo Language: Korean - Date: 2016-05-11 05:55:52
177	Incremental Call Graph Reanalysis for AspectJ Software Yu Lin, Sai Zhang, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China {linyu1986, saizhang, zhao-jj}@sjtu.edu.c Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Aspect-oriented software development Aspect-oriented programming AspectJ Pointcut Join point Data-flow analysis Aspect weaver
178	Form No. 120 Prescribed by Secretary of StateElection Notice for use With the Federal Write-In Absentee Ballot (FWAB) R.C Add to Reading List Source URL: miami.ohioboe.com Language: English - Date: 2018-05-10 08:46:08 Elections Voting Politics Group decision-making Absentee ballot Federal Voting Assistance Program Write-in candidate Federal Write-In Absentee Ballot Postal voting U.S. Vote Foundation
179	Invariants for Finite Instances and Beyond Sylvain Conchon∗† Amit Goel‡ Sava Krsti´c‡ Add to Reading List Source URL: cubicle.lri.fr Language: English - Date: 2013-07-31 06:27:46 120-cell Reachability FO Tiny Encryption Algorithm Mathematics Discrete mathematics Mathematical logic
180	Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,⇤, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2017-06-28 16:10:52 Probability theory Statistical randomness Probability Markov models Graph theory Stochastic game Probabilistic automaton Game theory Markov chain Determinacy Strategy Markov decision process

UPDATE