Filter by
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-…
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
- Edition
- -
- ISBN/ISSN
- 978-3-319-19249-9
- Collation
- 156 b/w illustrations
- Series Title
- -
- Call Number
- -
Causes and Consequences of Species Diversity in Forest Ecosystems
What are the causes and consequences of species diversity in forested ecosystems, and how is this species diversity being affected by rapid environmental and climatic change, movement of invertebrate and vertebrate herbivores into new biogeographic regions, and expanding human populations and associated shifts in land-use patterns? In this book, we explore these questions for assemblages of for…
- Edition
- -
- ISBN/ISSN
- ISBN 978-3-03921-310-8
- Collation
- -
- Series Title
- -
- Call Number
- 577.3 CAU
Advances in Dynamic and Evolutionary Games: Theory, Applications, and Numeric…
This contributed volume considers recent advances in dynamic games and their applications, based on presentations given at the 16th Symposium of the International Society of Dynamic Games, held July 9-12, 2014, in Amsterdam. Written by experts in their respective disciplines, these papers cover various aspects of dynamic game theory including differential games, evolutionary games, and stochast…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-28014-1
- Collation
- XVII, 319
- Series Title
- Annals of the International Society of Dynamic Games
- Call Number
- 006.6 ADV a
Solidarités provinciales Histoire de la Fédération des travailleurs et tr…
La Fédération des travailleurs et travailleuses du Nouveau-Brunswick, fondée en 1913, est la deuxième plus ancienne fédération provinciale du travail au Canada. Son histoire remonte aux premières campagnes en faveur de l’indemnisation des accidents du travail et de la reconnaissance syndicale, et elle se poursuit dans les plus récentes luttes visant à défendre les normes sociales et…
- Edition
- -
- ISBN/ISSN
- 978-1-927356-29-6
- Collation
- -
- Series Title
- Working Canadians: Books from the CCLH
- Call Number
- 336 pages
Psychiatry and the Legacies of Eugenics Historical Studies of Alberta and Be…
Using institutional case studies, biographical accounts, and media developments from Western Canada and Europe, contributors trace the impact of eugenics on nursing practices, politics, and social attitudes, while investigating the ways in which eugenics discourses persisted unexpectedly and remained mostly unexamined in psychiatric practice. This volume further extends historical analysis into…
- Edition
- -
- ISBN/ISSN
- 9781771992657.01
- Collation
- -
- Series Title
- -
- Call Number
- 6 x 9, 412 pages
Labour Landmarks in New Brunswick | Lieux historiques ouvriers au Nouveau-Bru…
Une aventure originale en histoire publique — une tournée de 50 lieux où des familles, des travailleuses et des travailleurs, des syndicats et des communautés ont reconnu la place des travailleuses et des travailleurs dans l’histoire du Nouveau-Brunswick du 20e siècle. Dix courts chapitres, des notes explicatives, des illustrations et une carte.
- Edition
- -
- ISBN/ISSN
- 978-1-894000-09-3
- Collation
- -
- Series Title
- CCLH Publications
- Call Number
- -
Languages, Design Methods, and Tools for Electronic System Design: Selected C…
This book brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verif…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24457-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Automated Machine Learning : Methods, Systems, Challenges
This open access book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and discusses the first series of international challenges of AutoML systems. The recent success of commercial ML applications and the rapid growth of the field has created a high demand for off-the-shelf ML …
- Edition
- -
- ISBN/ISSN
- 978-3-030-05318-5
- Collation
- XIV, 219 halaman
- Series Title
- -
- Call Number
- 006.31 AUT
Kinesins and Cancer
This interdisciplinary volume collates research work on kinesins and cancer. Authors attempt to validate members of the kinesin superfamily as potential targets for drug development in cancer chemotherapy. The work begins by highlighting the importance of kinesins, summarising current knowledge and how they are shown to be crucial for mitosis. Chapters go on to explore how this family of protei…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9732-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Digital Accessibility as a Business Practice : Essential Skills for Business …
Most business leaders would agree that reaching the broadest audience is good for a business’s bottom line. A good portion of that audience will be people with disabilities. How, though, would an organization go about ensuring it is as accessible as it can be to all its potential clients or customers, including people with disabilities? This book has been created to answer this question, and …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 005 GAY d
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography