Filter by
Advanced topics in types and programming languages
A thorough and accessible introduction to a range of key ideas in type systems for programming language.The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key id…
- Edition
- -
- ISBN/ISSN
- 9780262281591
- Collation
- 1 online resource (xiii, 574 pages) :illustrations
- Series Title
- -
- Call Number
- -
The Contours of Agency: Essays on Themes from Harry Frankfurt
"A Bradford book."The original essays in this book address Harry Frankfurt's influential writing on personal identity, love, value, moral responsibility, and the freedom and limits of the human will. Many of Frankfurt's deepest insights come from exploring the self-reflective nature of human agents and the psychic conflicts that self-reflection often produces. His work has informed discussions …
- Edition
- -
- ISBN/ISSN
- 9780262269599
- Collation
- 1 online resource (xx, 361 pages)
- Series Title
- -
- Call Number
- -
Advances in neural information processing systems 14 :proceedings of the 2001…
"This volume contains the papers presented at the fifteenth annual Neural Information Processing Systems (NIPS) conference, held in British Columbia, Canada from Dec 3 through 8, 2001--Preface."A Bradford book."The proceedings of the 2001 Neural Information Processing Systems (NIPS) Conference.The annual conference on Neural Information Processing Systems (NIPS) is the flagship conference on ne…
- Edition
- -
- ISBN/ISSN
- 9780262271738
- Collation
- 1 online resource (2 volumes (1594 pages)) :illustrations
- Series Title
- -
- Call Number
- -
Ageism :stereotyping and prejudice against older persons
"A Bradford book."Along with race and gender, people commonly use age to categorize -- and form stereotypes about -- others. Of the three categories, age is the only one in which the members of the in-group (the young) will eventually join the out-group (the old). Although ageism is found cross-culturally, it is especially prevalent in the United States, where most people regard growing older w…
- Edition
- -
- ISBN/ISSN
- 9780262280518
- Collation
- 1 online resource (xvi, 372 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Creative Cognition: Theory, Research, and Applications
"A Bradford book."Creative Cognition combines original experiments with existing work in cognitive psychology to provide the first explicit account of the cognitive processes and structures that contribute to creative thinking and discovery.Creative Cognition combines original experiments with existing work in cognitive psychology to provide the first explicit account of the cognitive processes…
- Edition
- -
- ISBN/ISSN
- 9780262272650
- Collation
- 1 online resource (vii, 239 pages)
- Series Title
- -
- Call Number
- -
Aligning modern business processes and legacy systems :a component-based pers…
Distributed business component computing--the assembling of business components into electronic business processes, which interact via the Internet--caters to a new breed of enterprise systems that are flexible, relatively easy to maintain and upgrade to accommodate new business processes, and relatively simple to integrate with other enterprise systems. Companies with unwieldy, large, and hete…
- Edition
- -
- ISBN/ISSN
- 9780262257138
- Collation
- 1 online resource (xxii, 206 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The Definition of Standard ML (Revised Edition)
"Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with …
- Edition
- -
- ISBN/ISSN
- 9780262287005
- Collation
- 1 online resource (xiii, 114 pages) :illustrations
- Series Title
- -
- Call Number
- -
Analyzing international environmental regimes :from case study to database
Regime theory has become an increasingly influential approach to the analysis of international relations, particularly in the areas of international political economy and international environmental politics. The conceptual appeal of the idea of "governance without government"--in which a combination of different organizations and institutions supply governance to address specific problems--ref…
- Edition
- -
- ISBN/ISSN
- 9780262269230
- Collation
- 1 online resource (xiii, 321 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The Development of speech perception: the transition from speech sounds to sp…
This comprehensive collection of current research in the development of speech perception and perceptual learning documents the striking changes that take place both in early childhood and throughout life and speculates about the mechanisms responsible for those changes. The findings reported from this rich and active field address the role of growing linguistic knowledge and experience and dem…
- Edition
- -
- ISBN/ISSN
- 9780262274081
- Collation
- 1 online resource (xii, 351 pages) :illustrations
- Series Title
- -
- Call Number
- -
Parallel programming using C++
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 058503785X
- Collation
- 1 online resource (xxxiv, 758 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography