FOR-A - PDFSEARCH.IO - Document Search Engine

FOR-A
Results: 646152

#	Item
191	A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1 Add to Reading List Source URL: www.ece.northwestern.edu Language: English - Date: 2015-12-21 08:20:24 Computer programming Software engineering Type theory Declarative programming Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List
192	Celadon: A Change Impact Analysis Tool for Aspect-Oriented Programs Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China 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 Computing Software engineering Aspect-oriented programming AspectJ Pointcut Join point Cross-cutting concern Subject-oriented programming Aspect Call graph
193	Fastly for Magento Accelerate and protect your online store with Fastly A Premier Technology Partner for CDN You’ve invested considerable time and money building your online store on Add to Reading List Source URL: www.fastly.com Language: English - Date: 2018-04-20 17:06:08 Computing Concurrent computing Distributed computing EBay Magento Content delivery networks E-commerce Computer networking Fastly Online shopping
194	Microsoft Word - EO 17 Declaration Of A State Of Emergency For The Commonwealth Of Virginia Due To Potential Impacts From Hurri Add to Reading List Source URL: www.governor.virginia.gov Language: English - Date: 2018-09-12 16:01:03 Emergency management Risk management Prevention Emergency State of emergency Code of Virginia Virginia Defense Force Governor of Oklahoma Oklahoma Emergency Management Act Virginia Secretary of Public Safety
195	Testimonial Green Tree Implements Simple, Impactful Safety Program with WorkSafe Website: greentreehc.com As a home care agency owner I had limited options for workers’ Add to Reading List Source URL: ccoinsurance.com Language: English - Date: 2016-09-28 13:47:39 Health Caregiving Worksafe Home care Insurance Caregiver
196	The TO focuses on the benefits and costs of debt (for a survey see Harris-Raviv, 1991) Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-03-26 02:46:57 Economy Money Finance Financial markets Fixed income Bond Government bonds Government debt Monetary policy Corporate bond Municipal bond
197	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2018-08-15 07:19:09 Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set
198	A Minimum Viable Strategy for Archives and Linked Data using Schema.org Mark A. Matienzo, Stanford University / @anarchivist Society of American Archivists Session 303 #s303 16 August 2018 Add to Reading List Source URL: matienzo.org Language: English Computing Semantic Web Data Information Semantic HTML Markup languages Resource Description Framework Data management Schema.org Microdata JSON-LD Creative work
199	Standard Chartered Bank, Macau Application for Issuance of Guarantee (BG) / Standby Letter of Credit (SBLC) Please issue a BG/SBLC Add to Reading List Source URL: www.sc.com Language: English - Date: 2018-06-05 00:34:44 Economy Contract law Money Finance Financial law Payment systems Demand guarantee International finance Credit Letter of credit Guarantee Payment
200	Goodbye, Cape Town by Robert A. Nelson Over a billion people lack access to water, and nearly 3 billion face water scarcity for at least one month each year. Many major cities are in dire straits: Sao Paulo, Bangalore, B Add to Reading List Source URL: www.rexresearch.com Language: English - Date: 2018-03-09 23:29:23 Water Nature Universe Psychrometrics Water supply Appropriate technology Atmospheric thermodynamics Energy conversion Water vapor Air well Fog Collector Fog

UPDATE