Byrd - PDFSEARCH.IO - Document Search Engine

Byrd
Results: 1343

#	Item
231	Incorporating Himalayan Books Polar Travel & Exploration September[removed]New, Secondhand & Antiquarian Books Add to Reading List Source URL: www.glacierbooks.com Language: English - Date: 2014-12-15 04:59:25 Heroic Age of Antarctic Exploration Extreme points of Earth Missing people Roald Amundsen Fram Robert Falcon Scott Scottish National Antarctic Expedition Richard E. Byrd South Pole Physical geography Exploration Poles
232	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-10-22 13:47:39 Software engineering Computability theory Eval Scheme Env Combinatory logic Computing Lambda calculus Theoretical computer science
233	William E. Byrd—Teaching Statement 1 My Teaching Style: Focused on Students and their Interests There are better writers than me out there, there are smarter writers, there are people Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-02-10 15:59:02 Solid freeform fabrication Arduino Internet of Things 3D printing Massachusetts Institute of Technology Physical computing Open source Technology Electronics Microcontrollers
234	αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:22 Models of computation Admissible rule Modal logic Symbol Lambda calculus Unification Structure Mathematical logic Mathematics Logic
235	William E. Byrd http://webyrd.net/ Work Merrill Engineering Building, Room[removed]S Central Campus Drive University of Utah Add to Reading List Source URL: webyrd.net Language: English - Date: 2015-04-07 19:59:59 Programming paradigms Functional languages Daniel P. Friedman Logic programming Declarative programming International Conference on Functional Programming Programming language Friedman Prolog Software engineering Computing Computer programming
236	High-level Coordination Specification Operational semantics for Kanor Joseph A. Cottam Eric Holk William E. Byrd CREST ∗ Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-06-18 12:19:54 Communication Programming paradigms Message passing Parallel programming model Kinnauri language Control flow ALGOL 68 Computing Software engineering Computer programming
237	αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:25 Theoretical computer science Model theory Models of computation Admissible rule Modal logic Lambda calculus Symbol Unification Support Mathematical logic Mathematics Logic
238	Who’s Afraid of Senator Byrd Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2007-10-18 13:31:08 Constitutional law Government Living Constitution Constitution Day Constitution Robert Byrd United States Bill of Rights Politics Originalism United States Constitution James Madison Law
239	David H. Bromwich and Keith M. Hines Polar Meteorology Group, Byrd Polar Research Center The Ohio State University Columbus, Ohio 43210, USA Observing Networks for Arctic Climate and Weather Add to Reading List Source URL: www.arcticobserving.org Language: English - Date: 2015-03-05 04:05:26 Earth sciences Climate Climate of the Arctic Weather prediction Arctic Remote sensing NCEP/NCAR Reanalysis Meteorological reanalysis Physical geography Atmospheric sciences Earth
240	Speed King[removed]M - 12 by Able Bye Bye out of Jacinta Rose by Toliver Hanover to 6 generations Volomite 1926 Poplar Byrd 1944 Add to Reading List Source URL: www.harness.org.au Language: English - Date: 2014-08-15 00:23:32 Adios Volo Watercraft

UPDATE