Gavin - PDFSEARCH.IO - Document Search Engine

Gavin
Results: 1116

#	Item
691	Gavin Sweeney cover for MEB.pdf Add to Reading List Source URL: www.finance.gov.ie Language: English - Date: 2014-01-16 05:40:10 Economic history Economic disasters Economics Gross domestic product Economy of the United States Recessions
692	Gavin Sweeney cover for MEB.pdf Add to Reading List Source URL: www.finance.gov.ie Language: English - Date: 2014-01-16 05:26:00 Economic history Gross domestic product Economy of the United Kingdom Recessions Macroeconomics Economics
693	APPREHENDED NAME: Gavin MURRAY ALIAS: Gary MURPHY GANG AFFILIATION: Bloods WANTED FOR: CRIMINAL POSSESSION OF A WEAPON-FIREARM AND MURDER Add to Reading List Source URL: www.usmarshals.gov Language: English - Date: 2009-07-08 16:06:18 Bloods Fugitive Gang Structure Crime Law enforcement United States Marshals Service
694	Package ‘pastis’ July 2, 2014 Type Package Title Phylogenetic Assembly with Soft Taxonomic Inferences Author Klaas Hartmann, Gavin Thomas, Arne Mooers, Jeffrey Joy, Walter Jetz Maintainer Gavin Thomas Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 15:58:40 Paraphyly Monophyly Phylogenetics Clade Nexus file
695	NuSMV 2.3 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-11-21 08:31:30 Electromagnetism Technology Automation Electric motors Models of computation Digital electronics Model checking Semaphore Inverter Electrical engineering Model checkers NuSMV
696	NuSMV 2.4 User Manual Roberto Cavada, Alessandro Cimatti, Charles Arthur Jochim, Gavin Keighren, Emanuele Olivetti, Marco Pistore, Marco Roveri and Andrei Tchaltsev Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2007-04-06 08:45:07 Programming language theory Type theory Enumerated type NuSMV Type system Boolean data type C Pascal Boolean algebra Data types Computing Software engineering
697	NuSMV 2.2 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri ITC-irst - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2007-04-06 08:46:53 Electromagnetism Technology Automation Electric motors Models of computation Digital electronics Model checking Semaphore Inverter Model checkers Electrical engineering NuSMV
698	NuSMV 2.5 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri FBK-irst - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2011-06-16 06:18:42 NuSMV Technology Automation Electric motors Model checking Inverter Semaphore Asynchronous circuit Electrical engineering Model checkers Electromagnetism
699	A Web 3.0 Approach to Building an Online Digital Archive of Architectural Practice in Post-War Queensland Jane Hunter1, John Macarthur1, Deborah van der Plaat1, Andrew Wilson1, Andrae Muys1, Gavin Bannerman2 1 Add to Reading List Source URL: ica2012.ica.org Language: English - Date: 2012-08-16 02:47:12 Knowledge representation Technical communication Knowledge Ontology Semantic Web State Library of Queensland Omeka Brisbane Queensland Museum Science Information Information science
700	PASTIS: Phylogenetic Assembly with Soft Taxonomic InferenceS Klaas Hartmann, Gavin Thomas, Aki Mimoto, Arne Mooers, Jeffrey Joy, Walter Jetz September 11, 2013 Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 15:58:40 Clade Nexus file Accipiter Pastis Monophyly Paraphyly Phylogenetic tree Phylogenetics Distillation Cladistics

UPDATE