Filter by
Advances in Proof Theory
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday o…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-29198-7
- Collation
- XII, 425
- Series Title
- Progress in Computer Science and Applied Logic
- Call Number
- 511.3 ADV a
Hot Thespian Action! Ten Premiere Plays from Walterdale Playhouse
In Hot Thespian Action! Robin Whittaker argues that new plays can thrive in amateur theatres, which have freedoms unavailable to professionalized companies. And he proves it with ten relevant, engaging playscripts originally produced by one of Canada’s longest-running theatres, Edmonton’s acclaimed Walterdale Theatre Associates. This collection challenges notions that amateur theatre is sol…
- Edition
- -
- ISBN/ISSN
- 9781897425268.01
- Collation
- -
- Series Title
- Canadian Plays
- Call Number
- 584 pages
Grieving for Pigeons Twelve Stories of Lahore
In this poignant and meditative collection of short stories, Zubair Ahmad captures the lives and experiences of the people of the Punjab, a region divided between India and Pakistan. In an intimate narrative style, Ahmad writes a world that hovers between memory and imagination, home and abroad. The narrator follows the pull of his subconscious, shifting between past and present, recalling diff…
- Edition
- -
- ISBN/ISSN
- 9781771992817.01
- Collation
- -
- Series Title
- -
- Call Number
- 5 x 8, 192 pages
From Turtle Island to Gaza
With a sure voice, Groulx, an Anishnaabe writer, artistically weaves together the experiences of Indigenous peoples in settler Canada with those of the people of Palestine, revealing a shared understanding of colonial pasts and presents.
- Edition
- -
- ISBN/ISSN
- 9781771992619.01
- Collation
- -
- Series Title
- -
- Call Number
- 5 x 7.5, 68 pages
A Contribution to Active Infrared Laser Spectroscopy for Remote Substance Det…
In this work we present a stand-off, long wave infrared (LWIR) spectroscopy system for remote detection of hazardous substances. The principle is based upon wavelength selective illumination using External Cavity Quantum Cascade Lasers, that are tunable in the LWIR wavelength range from 7.5 - 10 µm, in which most chemical substances exhibit a highly characteristic absorption behaviour.
- Edition
- -
- ISBN/ISSN
- 978-3-7315-0725-3
- Collation
- -
- Series Title
- -
- Call Number
- 543.5 JAR c
Future Energy: Opportunities & Challenges
How can we produce enough sustainable energy while avoiding unacceptable environmental consequences? To evaluate the various energy options, we must understand the science of each potential energy source and energy use technology. This book presents the science in an easy-to-understand way to enable readers to make informed decisions about what is possible and practical, and to choose lifestyle…
- Edition
- -
- ISBN/ISSN
- 978-1-937560-28-7
- Collation
- -
- Series Title
- -
- Call Number
- 500 KER f
Cell Biology, Genetics, and Biochemistry for Pre-Clinical Students
Cell Biology, Genetics, and Biochemistry for Pre-Clinical Students is an undergraduate medical-level resource for foundational knowledge across the disciplines of genetics, cell biology and biochemistry. This USMLE-aligned text is designed for a course in first-year undergraduate medical course that is delivered typically before students start to explore systems physiology and pathophysiology.
- Edition
- -
- ISBN/ISSN
- 978-1-949373-42-4
- Collation
- -
- Series Title
- -
- Call Number
- 570 LEC c
Organic Chemistry With a Biological Emphasis : Volumes II
The traditional approach to teaching Organic Chemistry, taken by most of the textbooks that are currently available, is to focus primarily on the reactions of laboratory synthesis, with much less discussion - in the central chapters, at least - of biological molecules and reactions. This is despite the fact that, in many classrooms, a majority of students are majoring in Biology or Health Scien…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 547 SOD o
Introduction to Statistical Thinking
The target audience for this book is college students who are required to learn statistics, students with little background in mathematics and often no motivation to learn more. It is assumed that the students do have basic skills in using computers and have access to one. Moreover, it is assumed that the students are willing to actively follow the discussion in the text, to practice, and more …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 500 YAK i
Howler Monkeys: Behavior, Ecology, and Conservation
Howler monkeys (genus Alouatta) comprise twelve species of leaf-eating New World monkeys that range from southern Mexico through northern Argentina. This genus is the most widespread of any New World primate taxa, and can be found to inhabit a range of forest types from undisturbed rainforest to severely anthropogenically impacted forest fragments. Although there have been many studies on indiv…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-1959-8
- Collation
- XIX, 440
- Series Title
- -
- Call Number
- 540 HOW
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography