Filter by
A Distributed Pi-Calculus
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and…
- Edition
- -
- ISBN/ISSN
- 9780511611063
- Collation
- -
- Series Title
- -
- Call Number
- -
Red Scare : FBI and The origins of Anticommunism in The United States
The anticommunist crusade of the Federal Bureau of Investigation and its legendary director J. Edgar Hoover during the McCarthy era and the Cold War has attracted much attention from historians during the last decades, but little has been known about the Bureau's political activities during its formative years. This work breaks new ground by tracing the roots of the FBI's political surveillance…
- Edition
- -
- ISBN/ISSN
- 9788763500128
- Collation
- -
- Series Title
- -
- Call Number
- 320 SCH r
Toxicological Risk Assessment for Beginners
This book serves as a comprehensive introductory guide to the practical aspects of risk assessment. Chapters include clearly defined objectives and summaries. The book includes: hazard identification, dose-response, exposure assessment, risk characterization, chemical mixtures, epidemiology, emerging issues and global perspectives with accessible language. The book concludes with a set of hypot…
- Edition
- -
- ISBN/ISSN
- 978-3-319-12751-4
- Collation
- -
- Series Title
- -
- Call Number
- -
A Bibliography of the Writings of Dr William Harvey: 1578–1657
First published in 1953, as the second edition of a 1928 original, this book supplies a detailed bibliography of Dr William Harvey, who described the workings of the circulatory system in his revolutionary 1628 treatise, De Motu Cordis. Keynes notes the various editions and translations of Harvey's three key works as well as miscellaneous writings and anthologies and their locations in librarie…
- Edition
- -
- ISBN/ISSN
- 9781316529959
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Aspects of Spatial-Temporal Modeling
This book provides a modern introductory tutorial on specialized theoretical aspects of spatial and temporal modeling. The areas covered involve a range of topics which reflect the diversity of this domain of research across a number of quantitative disciplines. For instance, the first chapter provides up-to-date coverage of particle association measures that underpin the theoretical properties…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55336-6
- Collation
- -
- Series Title
- -
- Call Number
- -
The Transformative Power of the Copy : A Transcultural and Interdisciplinary …
This volume offers a fresh perspective on the copy and the practice of copying, two topics that, while the focus of much academic discussion in recent decades, have been underrepresented in the discourse on transculturality. Here, experts from a wide range of academic disciplines present their views on the copy from a transcultural perspective, seeking not to define the copy uniformly, but to r…
- Edition
- -
- ISBN/ISSN
- 9783946054146
- Collation
- -
- Series Title
- -
- Call Number
- 808.9 FOR t
Law, Liberty, and the Pursuit of Terrorism
It is commonly believed that a state facing a terrorist threat responds with severe legislation that compromises civil liberties in favour of national security. Roger Douglas compares responses to terrorism by five liberal democracies— the United States, the United Kingdom, Canada, Australia, and New Zealand— over the past 15 years. He examines each nation's development and implementation o…
- Edition
- -
- ISBN/ISSN
- 9780472029662
- Collation
- -
- Series Title
- -
- Call Number
- 340 DOU l
Think Complexity
This book is about complexity science, data structures and algorithms, intermediate programming in Python, and the philosophy of science. This book focuses on discrete models, which include graphs, cellular automata, and agent-based models. They are often characterized by structure, rules and transitions rather than by equations. They tend to be more abstract than continuous models; in some cas…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 005 DOW t
The Unicode cookbook for linguists : Managing writing systems using orthograp…
This text is a practical guide for linguists, and programmers, who work with data in multilingual computational environments. We introduce the basic concepts needed to understand how writing systems and character encodings function, and how they work together at the intersection between the Unicode Standard and the International Phonetic Alphabet. Although these standards are often met with fru…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 401 CYS u
Water Distribution Operator I
Introduces basic concepts and processes of drinking water distribution systems, including a general background of drinking water sources, regulations, water system design, and various distribution system appurtenances.
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 628.144 ALV w
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography