Filter by
Atlas of Butterflies and Diurnal Moths in the Monsoon Tropics of Northern Aus…
Northern Australia is one of few tropical places left on Earth in which biodiversity—and the ecological processes underpinning that biodiversity—is still relatively intact. However, scientific knowledge of that biodiversity is still in its infancy and the region remains a frontier for biological discovery. The butterfly and diurnal moth assemblages of the area, and their intimate associatio…
- Edition
- -
- ISBN/ISSN
- 9781760462321
- Collation
- -
- Series Title
- -
- Call Number
- -
Impossible Worlds
The latter half of the 20th Century witnessed an ‘intensional revolution’: a great collective effort to analyse notions which are absolutely fundamental to our understanding of the world and of ourselves – from meaning and information to knowledge, belief, causation, essence, supervenience, conditionality, as well as nomological, metaphysical, and logical necessity – in terms of a singl…
- Edition
- -
- ISBN/ISSN
- 9780198812791
- Collation
- -
- Series Title
- -
- Call Number
- -
Grid Computing in High Energy Physics Experiments
Grid Computing in High Energy Physics Experiments
- Edition
- -
- ISBN/ISSN
- 9789535106043
- Collation
- -
- Series Title
- -
- Call Number
- -
Evolutionary Computation Applications in Current Bioinformatics
Evolutionary Computation Applications in Current Bioinformatics
- Edition
- -
- ISBN/ISSN
- 9789533070537
- Collation
- -
- Series Title
- -
- Call Number
- -
Evolutionary Computation in Constraint Satisfaction
Evolutionary Computation in Constraint Satisfaction
- Edition
- -
- ISBN/ISSN
- 9789533070537
- Collation
- -
- Series Title
- -
- Call Number
- -
Evolutionary Computation in Coded Communications
Evolutionary Computation in Coded Communications: an Implementation of Viterbi Algorithm
- Edition
- -
- ISBN/ISSN
- 9789533070087
- Collation
- -
- Series Title
- -
- Call Number
- -
forall x: Calgary Remix
forall x is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 160 THO f
forall x: Calgary
forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deducti…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 160 THO f
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography