FP - PDFSEARCH.IO - Document Search Engine

FP
Results: 3083

#	Item
261	Xmonad in Coq: Programming a window manager in a proof assistant Wouter Swierstra FP Dag Add to Reading List Source URL: www.staff.science.uu.nl Language: English
262	SoMedia_Products_Twitter_FP_Logo Add to Reading List Source URL: cdn.paymentssource.com Language: English - Date: 2016-02-16 17:57:49
263	Microsoft Word - FP_DRS2006_0362.doc Add to Reading List Source URL: www.iade.pt Language: English - Date: 2007-05-07 12:28:48
264	oneshot instructions_FP_rev1_07 Add to Reading List Source URL: www.airdelights.com Language: French - Date: 2015-04-15 09:46:04
265	1 Comparison between binary and decimal floating-point numbers Nicolas Brisebarre, Christoph Lauter, Marc Mezzarobba, and Jean-Michel Muller Abstract—We introduce an algorithm to compare a binary floating-point (FP) n Add to Reading List Source URL: www.marc.mezzarobba.net Language: English - Date: 2015-06-25 08:47:08
266	The Problem of the Dutch National Flag Wouter Swierstra Vector Fabrics FP Dag 2010 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2016-03-22 06:34:53
267	寄附者ご芳名 ■平成 21 年度上野孝／坂田宏／原範行／株式会社アイ･ティー･シー･エー／株式会社崎陽軒／株式会社横浜ロイヤルパークホテル Add to Reading List Source URL: fp.yafjp.org Language: Japanese - Date: 2015-09-29 00:36:45
268	AGB_Kochseminar_FP u FC_2016 Add to Reading List Source URL: www.cluster-bayern-ernaehrung.de Language: German - Date: 2016-02-02 09:13:02
269	FP SAGE 100 CRM i7_030415.indd Add to Reading List Source URL: www.grafe.fr Language: French - Date: 2015-11-20 09:05:21
270	IHE_QRPH_Suppl_FP_Rev1.1_TI_2014-09-05 Add to Reading List Source URL: www.ihe.net Language: English - Date: 2014-09-05 11:22:14

UPDATE