Skip to main content

Books in Computer science

The Computing collection presents a range of foundational and applied content across computer and data science, including fields such as Artificial Intelligence; Computational Modelling; Computer Networks, Computer Organization & Architecture, Computer Vision & Pattern Recognition, Data Management; Embedded Systems & Computer Engineering; HCI/User Interface Design; Information Security; Machine Learning; Network Security; Software Engineering.

  • Differential Equations with Mathematica ***Replacement Disk***

    • 2nd Edition
    • Martha L. Abell + 1 more
    • English
  • Intelligent Environments

    Spatial Aspects of the Information Revolution
    • 1st Edition
    • P. Droege
    • English
    The environment, as modified and created by people, is largely about the use of information, its generation and exchange. How do recent innovations in the technologies of information management and communication affect our use of space and place, and the way we perceive and think about our surroundings?This volume provides an international, exploratory forum for the complex phenomenon of new information and communication technology as it permeates and transforms our physical world, and our relation to it: the architectural definition of our surrounding, geographical space, urban form and immediate habitats. This book is a reader, an attempt at registering disciplinary changes in context, at tracing subtexts for which most mainstream disciplines have no established language. The project is to give voice to an emerging meta-discipline that has its logic across the specializations.A wide range of professionals and academics report findings, views and ideas. Together, they describe the architecture of a postmodern paradigm: how swiftly mutating the proliferating technology applications have begun to interact with the construction and reading of physical space in architecture, economics, geography, history, planning, social sciences, transport, visual art - but also in the newer domains that have joined this spectrum through the very nature of their impacts: information technology and telecommunications.T... space navigated in this volume is vast, both in physical terms and in its virtual and analogous form. It ranges from the space that immediately encompasses, or is simulated to encompass, the human body - as in buildings and virtual tectonics - to that of towns and regions. We stay clear of molecular-scale space, and of dimensions that are larger than earth.
  • TCP/IP Explained

    • 1st Edition
    • Philip Miller
    • English
    TCP/IP Explained concentrates on how each protocol works within the Internet Protocol Suite and discusses the addressing, delivery, transport and routing protocols. Many books on this subject concentrate on why protocols are designed in a particular way. This book concentrates on how they actually work. The approach is practical, and the reader can see how network changes affect overall operation.Ignored by many writers on the subject, but none the less important, are the Link Layer protocols that enable both interoperability between vendors and remote access to networks. This book describes these protocols in detail and includes the very latest enhancements. Equally, network managers must think about security when considering networks of this type. By providing useful examples of how such systems can be applied, this book discusses exactly what is needed to create a secure environment.TCP/IP Explained can be broadly split into four sections. The first section deals with the basics of the TCP/IP suite and how data is transported between two systems. The second section discusses routing principles and protocols. The third section deals with applications, and the fourth section discusses miscellaneous areas, such as common protocols used across wide area networks, securing networks, and the future of IP.
  • Admissibility of Logical Inference Rules

    • 1st Edition
    • Volume 136
    • V.V. Rybakov
    • English
    The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on:• admissible or permissible inference rules• the derivability of the admissible inference rules• the structural completeness of logics• the bases for admissible and valid inference rules.There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered.The book is basically self-contained and special attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included.The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook.
  • Joe Celko's SQL Puzzles and Answers

    • 1st Edition
    • Joe Celko
    • English
    Joe Celko challenges you with his trickiest puzzles and then helps you conquer them with a variety of solutions and explanations. The puzzles are a compilation from Joe's columns in DBMS and Database Programming & Design magazines. They include new, never-before-publish... puzzles plus new solutions and extra background for previously published puzzles. In his usual entertaining and informative style, Joe demonstrates the thought processes that are involved in attacking a problem from an SQL perspective. Through the practical, enjoyable puzzles, he introduces immediately useful new techniques and applications for SQL programming, and shows the database programmer how to write and use non-procedural programs.
  • Disaster Recovery for Archives, Libraries and Records Management Systems in Australia and New Zealand

    • 1st Edition
    • Judith Doig
    • English
    Floods, fires or earthquakes can cause critical damage to books and to records. A recovery effort which is well-intentioned but ill-informed or hasty may make the damage far worse. What should be done? What should not be done? This is the first book on disaster recovery specifically tailored for the Australasian market. The book discusses factors which should be considered by managers before setting up a disaster recovery plan, including prevention and insurance. It covers, in detail, the content and development of a disaster plan and considers training programs for those staff who are involved. There is an account of the history of disaster recovery with special attention given to disasters occurring in Australia and New Zealand and to the recovery efforts which have been mounted.
  • Neural Systems for Control

    • 1st Edition
    • Omid Omidvar + 1 more
    • English
    Control problems offer an industrially important application and a guide to understanding control systems for those working in Neural Networks. Neural Systems for Control represents the most up-to-date developments in the rapidly growing aplication area of neural networks and focuses on research in natural and artifical neural systems directly applicable to control or making use of modern control theory. The book covers such important new developments in control systems such as intelligent sensors in semiconductor wafer manufacturing; the relation between muscles and cerebral neurons in speech recognition; online compensation of reconfigurable control for spacecraft aircraft and other systems; applications to rolling mills, robotics and process control; the usage of past output data to identify nonlinear systems by neural networks; neural approximate optimal control; model-free nonlinear control; and neural control based on a regulation of physiological investigation/blood pressure control. All researchers and students dealing with control systems will find the fascinating Neural Systems for Control of immense interest and assistance.
  • Parallel Processing for Artificial Intelligence 3

    • 1st Edition
    • Volume 20
    • J. Geller + 2 more
    • English
    The third in an informal series of books about parallel processing for Artificial Intelligence, this volume is based on the assumption that the computational demands of many AI tasks can be better served by parallel architectures than by the currently popular workstations. However, no assumption is made about the kind of parallelism to be used. Transputers, Connection Machines, farms of workstations, Cellular Neural Networks, Crays, and other hardware paradigms of parallelism are used by the authors of this collection.The papers arise from the areas of parallel knowledge representation, neural modeling, parallel non-monotonic reasoning, search and partitioning, constraint satisfaction, theorem proving, parallel decision trees, parallel programming languages and low-level computer vision. The final paper is an experience report about applications of massive parallelism which can be said to capture the spirit of a whole period of computing history.This volume provides the reader with a snapshot of the state of the art in Parallel Processing for Artificial Intelligence.
  • Theoretical Issues in Stimulus-Response Compatibility

    • 1st Edition
    • Volume 118
    • B. Hommel + 1 more
    • English
    This book gathers together 10 important integrative theoretical approaches to stimulus-response compatibility, a field of special interest for the more general question of how human perception and action interact. The approaches, presented by their most active and influential proponents, as well as the sharp and critical commentaries also included in the book, cover a wide range of theoretical schools of thought and a rich body of empirical data.These highly stimulating papers and sharp comments offer both the theoretically interested professional and the student reader not only a comprehensive overview of the state of the art, but excellent insights into work in progress as well. This volume is an important contribution to the deeper understanding of the sensory-motor interface.
  • Handbook of Logic and Language

    • 1st Edition
    • J. van Benthem + 1 more
    • English
    This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science.The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance.This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory.The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers.The Handbook is self-contained, and individual articles are of the highest quality.