Prism - PDFSEARCH.IO - Document Search Engine

Prism
Results: 1433

#	Item
831	Quantitative Verification Formal Guarantees for Timeliness, Reliability and Performance A Knowledge Transfer Report from the London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineeri Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-08-21 16:51:10 Systems science Model checkers Theoretical computer science Software quality Logic in computer science Model checking Formal verification PRISM model checker Reliability engineering Systems engineering Science Formal methods
832	Microsoft Word - PRISM Newsletter August 2009.doc Add to Reading List Source URL: www.fmcsa.dot.gov Language: English - Date: 2014-04-25 15:35:41 Road safety Transport Prism Trucking industry in the United States Television in the United States Federal Motor Carrier Safety Administration
833	FMCSA - Expanded PRISM Program SEPTEMBER 2010 – VERSION 1 Standard PRISM Program Add to Reading List Source URL: www.fmcsa.dot.gov Language: English - Date: 2014-04-24 17:17:41 Federal Motor Carrier Safety Administration Television in the United States Trucking industry in the United States PRISM
834	PRISM Procedure Manual - DRAFT February 2012 Add to Reading List Source URL: www.fmcsa.dot.gov Language: English - Date: 2014-04-24 17:12:05 Prism Trucking industry in the United States Federal Motor Carrier Safety Administration Road safety
835	Revising 1:25,000-Scale Topographic Maps Using ALOS/PRISM Imagery 1 Revising 1:25,000-Scale Topographic Maps Using ALOS/PRISM Imagery Yuichi UCHIYAMA, Misuzu HONDA, Yoshiyuki MIZUTA, Koji OTSUKA, Add to Reading List Source URL: www.gsi.go.jp Language: English - Date: 2010-10-20 03:51:36 Physical geography Topography Japanese space program Surveying Advanced Land Observation Satellite Topographic map Japan Aerospace Exploration Agency Map Geographic information system Cartography Spaceflight Geodesy
836	PRISM Gridded Climate Data – Downloads via Web Service An open web service is available for downloads of individual zipped BIL grids, one BIL grid per request; other types of files must be downloaded manually using th Add to Reading List Source URL: prism.nacse.org Language: English - Date: 2014-02-25 18:52:17 Text mode Wget PRISM Form Data URI scheme Software Computing Portable software
837	Canada’s Extradition Law: The Least Fair Act on Earth \| Prism Magazine Add to Reading List Source URL: www.justiceforhassandiab.org Language: English - Date: 2013-10-24 20:46:48 Law Hassan Diab Extradition
838	Microsoft Word - PRISM Procedure Manual - April 2010_with updated bullets.doc Add to Reading List Source URL: www.fmcsa.dot.gov Language: English - Date: 2014-04-24 17:33:34 Road safety Vehicle registration Transport Trucking industry in the United States Federal Motor Carrier Safety Administration
839	Name Date Module Assessment, Part 1 Add to Reading List Source URL: www.eduplace.com Language: English - Date: 2007-01-23 15:40:44 White Transparency Prism Color Perception Transparency and translucency Optics Translucent
840	PRISM News Volume 10 Issue 1 September[removed]HOT TOPIC – Add to Reading List Source URL: www.fmcsa.dot.gov Language: English - Date: 2014-04-25 15:33:54 Television in the United States Optical devices Federal Motor Carrier Safety Administration Road safety Prism Trucking industry in the United States Land transport Transport

UPDATE