Checkers - PDFSEARCH.IO - Document Search Engine

Checkers
Results: 271

#	Item
161	7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2002-06-24 05:00:37 Science Model checking Software Model checkers Verification and validation PRISM model checker Abstraction Formal verification Formal methods Software development Software testing
162	1 NIXON PRESIDENTIAL MATERIALS STAFF Tape Subject Log (rev[removed]Conversation No[removed] Add to Reading List Source URL: www.nixonlibrary.gov Language: English - Date: 2008-12-01 07:43:42 Earl Butz Richard Nixon Butz Gerald Ford Clifford M. Hardin Checkers speech Page Belcher Carl Albert Presidency of Dwight D. Eisenhower United States House of Representatives Politics of the United States United States
163	air force on show! Ohakea Air Show Preview Tauranga Air Show Add to Reading List Source URL: airforce.mil.nz Language: English - Date: 2012-03-11 21:49:06 Royal New Zealand Air Force Military history of New Zealand Red Checkers RNZAF Base Ohakea Tauranga City Airshow North American P-51 Mustang Curtiss P-40 Warhawk De Havilland Tiger Moth Republic of Singapore Air Force Aviation Regions of New Zealand Aircraft
164	Website Accessibility Checkers: Resource List & Toolbar Checks Janet Sylvia, Web Accessibility Group Leader Accessibility Toolbars  Add to Reading List Source URL: wikiwiki.uga.edu Language: English - Date: 2014-06-04 08:24:56 Design Web design HTML Game accessibility Web Content Accessibility Guidelines Accessibility SortSite Cascading Style Sheets WebAIM Web accessibility Web development World Wide Web
165	integrated translation environment Using the Hunspell Spell Checker © [removed]Kilgray Translation Technologies. Add to Reading List Source URL: kilgray.com Language: English - Date: 2013-03-13 06:50:46 Spell checkers Spell Dictionary software Microsoft Word Dictionary MySpell OpenTaal Software Application software Hunspell
166	PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Model checking PRISM model checker Uppaal Model Checker PAT Scientific modelling Probabilistic automaton Markov chain Economic model Stochastic Model checkers Probability Statistics
167	1 Conversation: Date: Time: Add to Reading List Source URL: www.nixontapes.org Language: English - Date: 2009-02-20 18:00:32 Richard Nixon Watergate scandal Watergate tapes John Dean Checkers speech Politics of the United States Law Government
168	How to Use the Digital History Reader Add to Reading List Source URL: www.dhr.history.vt.edu Language: English - Date: 2007-08-02 12:46:31 Presidency of Richard Nixon Richard Nixon Watergate scandal United States presidential election Checkers speech H. R. Haldeman Liberalism in the United States Henry Kissinger Vietnamization Politics of the United States Politics United States
169	NuSMV 2: An OpenSource Tool for Symbolic Model Checking Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2002-07-09 12:35:04 Applied mathematics Formal methods Software Logic in computer science Model checking Electronic design automation Boolean algebra Boolean satisfiability problem Linear temporal logic Model checkers Theoretical computer science NuSMV
170	Microsoft Word - FA 1952 campaign.doc Add to Reading List Source URL: nixon.archives.gov Language: English - Date: 2007-07-03 08:10:10 United States Folder Murray Chotiner Checkers speech Presidential library Dwight D. Eisenhower Richard Nixon Politics of the United States Military personnel