Checkers - PDFSEARCH.IO - Document Search Engine

Checkers
Results: 271

#	Item
261	The Final Cover-Up Scott Camil Add to Reading List Source URL: www.afn.org Language: English - Date: 2009-09-12 16:16:17 Richard Nixon Vice Presidents of the United States Watergate scandal Henry Kissinger Checkers speech Nixon Vietnamization Operation Linebacker II Spiro Agnew Politics of the United States United States Politics
262	Editor: Jos Jacobs • Lay Out Editor: Akis Kanaris Monday, 13 August 2012 Add to Reading List Source URL: 158.255.45.230 Language: English - Date: 2012-12-27 12:51:34 Board games Mind sports Lasca Philosophy shogi checkers English draughts International draughts Go Hexdame Chinese checkers Games Draughts Abstract strategy games
263	Integrating Interface Assertion Checkers into Component Models George T. Heineman Add to Reading List Source URL: www.csse.monash.edu.au Language: English - Date: 2003-04-01 13:11:44 Component-based software engineering Inter-process communication Software architecture Java platform Enterprise JavaBeans Common Object Request Broker Architecture JavaBeans Clipboard Interface Computing Software engineering Object-oriented programming
264	SN54LS280, SN54S280, SN74LS280, SN74S280 9-BIT ODD/EVEN PARITY GENERATORS/CHECKERS SDLS152 – DECEMBER 1972 – REVISED MARCH 1988 Add to Reading List Source URL: www.datasheet.free.fr Language: English - Date: 2004-11-08 18:00:21 Warranty Parity bit Computing Parity Numbers Technology Companies listed on the New York Stock Exchange Semiconductor companies Texas Instruments
265	The Birth of Model Checking Edmund M. Clarke [removed] Add to Reading List Source URL: www.model.in.tum.de Language: English - Date: 2008-03-26 08:39:11 Formal methods Model checkers Turing Award laureates Proof theory Model checking Formal verification Temporal logic Edmund M. Clarke Concurrency Logic Theoretical computer science Mathematics
266	Blackwell Publishing Ltd.Oxford, UKBJETBritish Journal of Educational Technology0007-1013British Educational Communications and Technology Agency, 20052005375721732ArticlesSpelling and grammar checkers British Journal of Educational Technology Add to Reading List Source URL: www.pgce.soton.ac.uk Language: English - Date: 2009-01-07 05:41:29 Education Spell checker Spelling Grammar checker Proofreading Sic Thesis Spell Revision Linguistics Language Writing
267	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY[removed] Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Automata theory Models of computation SPIN model checker Model checking Promela Formal verification Büchi automaton Linear temporal logic Model checkers Theoretical computer science Applied mathematics
268	PDF Document Add to Reading List Source URL: wnyt.com Language: English - Date: 2010-02-10 11:34:11 National Hockey League Albany River Rats Colorado Avalanche Charlotte Checkers Calder Cup American Hockey League Capital District Islanders Hershey Bears Carolina Hurricanes Ice hockey Sports in the United States
269	PDF Document Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 SystemC Electronic design automation Transaction-level modeling Promela Scheduling SPIN model checker Electronic engineering Hardware description languages Model checkers
270	PDF Document Add to Reading List Source URL: www.checkers.com Language: English - Date: 2013-01-28 17:58:20