Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
481	SOME HISTORICAL REMARKS ON SWITCHING THEORY Radomir S. Stankovi´c1 , Jaakko T. Astola2 , Mark G. Karpovsky3 1 2 Add to Reading List Source URL: ticsp.cs.tut.fi Language: English - Date: 2008-03-20 17:53:22 Electronic engineering Fellows of the Royal Society Electronic design Electronic design automation George Boole Mathematical logic Boolean algebra Claude Shannon The Laws of Thought Mathematics Algebraic logic Science
482	Big Lottery Fund International Communities Checklist Organisation & delivery Are you a UK-based non-governmental organisation (NGO) or voluntary and community sector (VCS) organisation? Add to Reading List Source URL: www.hubcymru.org.uk Language: English - Date: 2013-05-28 06:33:23 Boolean algebra Probability theory Independence Statistical dependence
483	Verifying Relative Error Bounds using Symbolic Simulation Jesse Bingham and Joe Leslie-Hurd Intel Corporation, Hillsboro, U.S.A Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-07-24 18:40:33 Function FO Boolean algebra Mathematics Floor and ceiling functions Mathematical notation
484	C ARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes Adrian Nistor1 , Po-Chun Chang2 , Cosmin Radoi3 , Shan Lu4 1 Chapman 2 University Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2015-03-08 18:18:51 Software bugs Control flow Infinite loop For loop Debugging Boolean data type Stack Computer programming Software engineering Computing
485	C ARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes Adrian Nistor1 , Po-Chun Chang2 , Cosmin Radoi3 , Shan Lu4 1 Chapman 2 University Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2015-03-08 18:18:51 Software bugs Control flow Infinite loop For loop Debugging Boolean data type Stack Computer programming Software engineering Computing
486	October 27, 2013 Journal of Applied Non-Classical Logics main Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-10-27 20:44:29 Metalogic Logic in computer science Formal languages Model theory Modal logic Method of analytic tableaux Well-formed formula Boolean satisfiability problem Satisfiability Logic Mathematical logic Mathematics
487	0173_BSS4 API - Station Information_enBSS4 API - Station Information \| page 1 Overview This document describes station location and status information as shared by the BSS4 API. It is intended for website and mobi Add to Reading List Source URL: www.prontocycleshare.com Language: English - Date: 2015-02-11 17:38:11 Computing Bicycle sharing system Boolean data type Bike station
488	NEG Electronic Application System (eSystem) User Guide Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2015-05-19 14:27:07 Logic in computer science Automated theorem proving Boolean algebra Rules of inference
489	WSU College of Education Teacher Education Program Mathematics Endorsement Requirements: 44 Credit Hours Name: _____________________________________________WSU ID #: ____________________________ Add to Reading List Source URL: education.wsu.edu Language: English Boolean algebra Propositional calculus Linear algebra Logical conjunction Lattice theory Skew lattice Differential calculus over commutative algebras Abstract algebra Algebra Mathematics
490	Temporal Logic in a Stochastic Environment B. Strulo P.G. Harrisony D. Gabbay Department of Computing Imperial College LONDON SW7 2BZ Abstract Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2011-11-15 09:34:37 Boolean algebra Non-classical logic Logical connectives Modal logic Philosophical logic Markov chain Linear temporal logic Negation IP Logic Mathematical logic Propositional calculus

UPDATE