1 - PDFSEARCH.IO - Document Search Engine

1
Results: 1637835

#	Item
991	454766_1_En_5_PartFrontmatter Add to Reading List Source URL: link.springer.com - Date: 2017-08-27 00:04:19
992	Guidelines for Home Instruction in Virginia Information for Parents Revised July 1, 2018 Add to Reading List Source URL: www.doe.virginia.gov Language: English - Date: 2018-07-10 15:42:11 Education in Virginia Standards of Learning School division Homeschooling in the United States
993	454766_1_En_BookFrontmatter 1..19 Add to Reading List Source URL: link.springer.com Language: English Max Planck Institute for Software Systems Science and technology in Germany Gerhard Weikum Max Planck Society cole Polytechnique Fdrale de Lausanne Daniel Kroening Max Planck Institute for Informatics Computer science
994	Bisimulation for demonic schedulers? Konstantinos Chatzikokolakis1 , Gethin Norman2 , and David Parker2 1 Eindhoven University of Technology 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-01-08 10:00:18 Theoretical computer science Formal methods Logic in computer science Bisimulation Applied mathematics Mathematics Scheduling Transition system -calculus
995	JFP 27, e19, 29 pages, 2017 https://doi.orgS0956796817000107 1 Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Mathematics Mathematical logic Theoretical computer science Enumerative combinatorics Enumeration Ordering Lambda calculus Type theory Enumerated type Recursively enumerable set Combinatory logic
996	PARTIES RADIO Outdoors Weekend. Secret location down the A303 approx 1 Add to Reading List Source URL: www.randomartists.org Language: English - Date: 2007-12-03 16:42:16 Geography of London London boroughs Geography of England DIY culture Teknival Summer Olympics Olympic Games Leyton Group of Eight London Winter Olympics
997	Resist Now #3: Land ownership “In one sentence, for the whole of history all the land of the planet has been owned by 1% or less of the planet’s Add to Reading List Source URL: www.randomartists.org Language: English - Date: 2008-02-03 09:37:18 Music Therapy Breakcore
998	Synthesizing Ranking Functions from Bits and Pieces? Caterina Urban1,2 , Arie Gurfinkel2 , and Temesghen Kahsai2,3 1 ETH Z¨ Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Infinite loop Recursion Function Computability theory Computing
999	Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Computer memory Computing Circular buffer Abstract interpretation Thread Data buffer Futures and promises
1000	DAY 1: WEDNESDAY, OCTOBER 24TH, 2018 Convene Midtown West, 117 W 46th Street NY, NY:00 AM BREAKFAST Add to Reading List Source URL: www.behavioralsummit.org Language: English - Date: 2018-10-19 12:11:58