Checkers - PDFSEARCH.IO - Document Search Engine

Checkers
Results: 271

#	Item
251	TEMPO UI INSTALLATION v0.2.4 (BETA[removed]Platform Independent Notes..............................................................................2 Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-08-25 15:45:45 Cross-platform software Computing platforms Java programming language Model checkers Uppaal Model Checker Java Development Kit Java HotSpot JAR Computing Software Java platform
252	TEMPO INSTALLATION v0.2.3 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:13:35 Java platform Cross-platform software Java programming language Model checkers Uppaal Model Checker Java Windows Environment variable Path Computing Software System software
253	Timing constraints and symbolic execution for a hybrid synchronous language Timothy Bourke and Marc Pouzet November 1, 2013 Recent work in the Inria/ENS team Parkas, in collaboration with Esterel Technologies, the develo Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2013-12-15 06:16:55 Computer science Differential equations Model checkers Automata theory Simulation software Model checking SIGNAL Uppaal Model Checker Hybrid automaton Computing Formal methods Theoretical computer science
254	TEMPO INSTALLATION v0.1.7 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:04:31 Java platform Model checkers Java programming language Uppaal Model Checker C shell Windows Java Path Environment variable Computing Software Cross-platform software
255	TEMPO INSTALLATION v0.2.0 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:09:13 Java platform Model checkers Java programming language Uppaal Model Checker C shell Windows Java Path Environment variable Computing Software Cross-platform software
256	TEMPO INSTALLATION v0.1.9 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:07:30 Java platform Model checkers Java programming language Uppaal Model Checker C shell Windows Java Path Environment variable Computing Software Cross-platform software
257	TEMPO UI INSTALLATION v0.1.5 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:00:43 Java platform Model checkers Java programming language Uppaal Model Checker Java Windows Linux ACE Computing Cross-platform software Computing platforms
258	TIOA INSTALLATION v0.1.0 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 13:56:10 Computing platforms Java programming language Model checkers Windows Uppaal Model Checker Java Environment variable Path Shell Computing Java platform Cross-platform software
259	TEMPO INSTALLATION v0.1.8 (BETA[removed]Platform Independent Notes Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:05:57 Java platform Model checkers Java programming language Uppaal Model Checker C shell Windows Java Path Environment variable Computing Software Cross-platform software
260	HOW TO WIN AT CHECKERS Fred Reinfeld Add to Reading List Source URL: www.bobnewell.net Language: English - Date: 2012-06-06 18:16:14 Chess theory Draughts Board games English draughts Chess endgame Fred Reinfeld Chess strategy Chess Outline of chess Games Mind sports Abstract strategy games