Checkers - PDFSEARCH.IO - Document Search Engine

Checkers
Results: 271

#	Item
21	Microsoft Word - Document2 Add to Reading List Source URL: www.checkers.co.za Language: English - Date: 2015-10-08 16:38:16 Economy Money Payment systems Financial services E-commerce Debits and credits Credit cards Payment cards Credit card interest
22	Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong Modelling and Verification of Compensating Transactions using the Spin Tool Ka Add to Reading List Source URL: www.bpti.lt Language: English - Date: 2013-12-16 08:28:50 Model checkers Corporate finance Economy Business Promela SPIN model checker Model checking Long-running transaction Factoring Mergers and acquisitions Cost
23	spcl.inf.ethz.ch @spcl_eth TIMO SCHNEIDER <> DPHPC Recitation Session Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-11-26 12:08:20 Concurrency control Computing Software engineering Model checkers Software Promela Monitor Mutual exclusion SPIN model checker Lock XC Printf format string
24	ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language Romuald Deshayes1 , Bart Meyers2 , Tom Mens1 , and Hans Vangheluwe2,3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-09-10 09:14:12 Scientific modeling Unified Modeling Language Model checkers Systems engineering Theoretical computer science Metamodeling Model checking Modeling language Domain-specific modeling Linear temporal logic SPIN model checker Domain-specific language
25	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Hardware description languages Synchronous programming languages Model checkers Formal methods Timed automaton Esterel Model checking Uppaal Model Checker SIGNAL
26	NXP PowerPoint template Guidelines for presentations Add to Reading List Source URL: www.yourcreativesolutions.nl Language: English - Date: 2011-09-09 16:28:00 Model checkers Theoretical computer science Crime prevention Cryptography National security Model checking NuSMV Formal methods Common Criteria Temporal logic Computer security Authentication
27	Donor Privacy Policy The Richard Nixon Foundation is committed to ensuring the privacy of your personal information, such as your full name, address, e-mail address, telephone number or other identifying information. Why Add to Reading List Source URL: nixonfoundation.org Language: English - Date: 2015-04-09 19:22:01 Richard Nixon Computer access control HTTP cookie Hypertext Transfer Protocol Internet privacy Privacy Personally identifiable information Email Checkers speech
28	Hörsching, CIRCULAR LETTER TO ALL FEDERATIONS, CORRESPONDENTS, PRESIDENT OF THE LEGAL COMMISSSION, CASH CHECKERS, TRANSLATORS AND EXTRAODINARY MEMBERS Invitation to the 35th INF-FNI WORLD CONGRESS 2016 Add to Reading List Source URL: www.inffni.org Language: English
29	Teaching Core Vocabulary using Checkers Why play this game? The game of Checkers (or Draughts, if you are British) is an easy way Add to Reading List Source URL: www.vantatenhove.com Language: English Abstract strategy games Multiplayer games Tabletop games Draughts Monopoly