Introduction to Computer science

An Introduction to Glass Science and Technology presents the fundamental topics in glass science and technology including glass formation, crystallisation and phase separation. A detailed discussion of glass structure models with emphasis on the oxygen balance model is also presented. This expanded second edition also includes new chapters on the compositions and properties of commercial glasses and thermal analysis of glasses and melts. Exercises are included at the end of the chapters.This introductory text is ideal for undergraduates in materials science, ceramics or inorganic chemistry. It will also be useful to the engineer or scientist seeking basic knowledge of the formation, properties and production of glass.

Colour imaging technology has become almost ubiquitous in modern life in the form of monitors, liquid crystal screens, colour printers, scanners, and digital cameras. This book is a comprehensive guide to the scientific and engineering principles of colour imaging. It covers the physics of light and colour, how the eye and physical devices capture colour images, how colour is measured and calibrated, and how images are processed. It stresses physical principles and includes a wealth of real-world examples. The book will be of value to scientists and engineers in the colour imaging industry and, with homework problems, can also be used as a text for graduate courses on colour imaging.

Cognitive science approaches the study of mind and intelligence from an interdisciplinary perspective, working at the intersection of philosophy, psychology, artificial intelligence, neuroscience, lin

Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area.

Nanoscale science and technology is a young, promising field that encompasses a wide range of disciplines including physics, chemistry, biology, electrical engineering, chemical engineering, and mate

The Concise Encyclopedia of Computer Science has been adapted from the full Fourth Edition to meet the needs of students, teachers and professional computer users in science and industry. As an

Practicing researchers provide an overview of how to investigate education in computer science, including such domains as informatics, computing, information systems, and software engineering, for tho

This carefully structured laboratory manual explores, by means of computer simulations, the key areas of population dynamics through time. Using simply presented exercises, it teaches the pr

Includes: Assignment Sheets that allow the learner to review the main facts and other information about the procedures read about in the book and Evaluation Sheets that are designed to set criteria t

A detailed introduction to interdisciplinary application area of distributed systems, namely the computer support of individuals trying to solve a problem in cooperation with each other but not necess

A ground-breaking attempt at articulating a philosophy of computer science, this book is an introduction to the philosophical foundations of computer science and the contributions that philosophy and

This college textbook introduces algorithms for solving real problems that arise frequently in computer applications, basic principles of computational complexity, and NP -completeness and parallel a

Polymer science at its best!A completely new approach reflecting the interdisciplinary nature of polymer science!Modern polymer science is firmly rooted not only in the chemistry of macromolecules but

Category theory has become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of their courses for undergraduate computer scientists. The author is a respected category theorist and has based this textbook on a course given over the last few years at the University of Sydney. The theory is developed in a straightforward way, and is enriched with many examples from computer science. Thus this book meets the needs of undergradute computer scientists, and yet retains a level of mathematical correctness that will broaden its appeal to include students of mathematics new to category theory.

Category theory has become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of their courses for undergraduate computer scientists. The author is a respected category theorist and has based this textbook on a course given over the last few years at the University of Sydney. The theory is developed in a straightforward way, and is enriched with many examples from computer science. Thus this book meets the needs of undergradute computer scientists, and yet retains a level of mathematical correctness that will broaden its appeal to include students of mathematics new to category theory.

This introduction to tropical food science is meant for two groups of people. First, there are those living in the tropics who require a simple introductory text. Food science is perhaps the most important science affecting their lives. The second group consists of students, administrators and workers in industry and research in temperate zones, who are concerned with food problems but who have no first-hand knowledge of the tropics. The text provides a concise and accessible guide to all the major elements of the subject, including the nutritional value of tropical foodstuffs, its digestion, and the preparation and preservation of food. The author has taken care to avoid the use of jargon and the text is supplemented by many useful explanatory illustrations. The volume is suitable for first-year food science students at universities, polytechnics and colleges; graduate students taking conversion courses in food science; administrators, practitioners and students of food science in the

There has been an enormous increase in research activity aimed at elucidating the basis for cortical activity in the brain. Among modern techniques used in this area of scientific endeavour, few have proved as popular as computer simulation. Model neural networks are the subject of intense study, and some remarkable properties have already come to light: these networks are able to discriminate, remember and associate. Professor Cotterill has assembled leading experts in this burgeoning field to produce an exciting review of advances. The volume covers the creation of computer models of neural networks, and their use in the study of neural function, of cognition, memory and vision. The results and future directions explored here will have an important bearing on research into brain function, physiology, psychology, biophysics and artificial intelligence.