Skip to main content
View Cart

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.

BooksJournals

  • Attention and Memory

    • 1st Edition
    • G. Underwood
    • English
    Written specifically for students of experimental psychology, this book focuses on attention and memory, and attempts to inegrate these two closely related phenomena. In addition to the concepts of short term and long term memory there has been added the system of immediate or sensory memory. In the description of the representation of knowledge by human memory the author has necessarily drawn conclusions about optimal presentation and retrieval procedures, which should be transferable to non-laboratory situations where information processing is presently inadequate. The present approach attempts to keep in perspective the functions of attention and memory that the proponents of model building techniques have tended to overlook in their investigations. A new and fresh contribution to a growing area of research and teaching interest

  • Bridge Technology Report

    • 1st Edition
    • Architecture Technology Architecture Technology Corpor
    • English
    Please note this is a Short Discount publication.As LANs have proliferated, new technologies and system concepts have come to the fore. One of the key issues is how to interconnect networks. One means of interconnection is to use a 'bridge'. Other competing technologies are repeaters, routers, and gateways. Bridges permit traffic isolation, connect network segments together and operate at the MAC layer. Further, because they operate at the MAC layer, they can handle a variety of protocols such as TCP/IP, SNA, and X.25.This report focuses on the specific technology of bridging two networks and the competing approaches of spanning tree [backed by DEC] and the source route technology [backed by IBM]. Both of these approaches are compared and their strengths and weaknesses described and contrasted. Other approaches that combine the two approaches as well as novel approaches to this problem are described.In a world of increasing complexity of networks, it is imperative that the user understand the possible means of bridging two networks and the capabilities of the various vendors products. The report focuses itself on developing that critical understanding.

  • The Fundamental Role of Teletraffic in the Evolution of Telecommunications Networks

    Proceedings of the 14th International Teletraffic Congress - ITC 14, Antibes Juan-les-Pins, France, 6-10 June, 1994
    • 1st Edition
    • J. Labetoulle + 1 more
    • English
    The International Teletraffic Congress (ITC) is a recognized international organization taking part in the work of the International Telecommunications Union. The congress traditionally deals with the development of teletraffic theory and its applications to the design, planning and operation of telecommunication systems, networks and services. The contents of ITC 14 illustrate the important role of teletraffic in the current period of rapid evolution of telecommunication networks. A large number of papers address the teletraffic issues behind developments in broadband communications and ATM technology. The extension of possiblities for user mobility and personal communications together with the generalization of common channnel signalling and the provision of new intelligent network services are further extremely significant developments whose teletraffic implications are explored in a number of contributions. ITC 14 also addresses traditional teletraffic subjects, proposing enhancements to traffic engineering practices for existing circuit and packet switched telecommunications networks and making valuable original contributions to the fundamental mathematical tools on which teletraffic theory is based. The contents of these Proceedings accurately reflect the extremely wide scope of the ITC, extending from basic mathematical theory to day-to-day traffic engineering practices, and constitute the state of the art in 1994 of one of the fundamental telecommunications sciences.

  • Science & Consciousness

    Two Views of the Universe
    • 1st Edition
    • M. Cazenave
    • English
    This book explores the concept of consciousness when defined in the terms mind, spirit, soul and awareness. It consists of the edited proceedings of a colloquium held in Cordoba, at which experts in physics, neuro- and psycho-physiology, analytical psychology, philosophy and religious knowledge discussed aspects of their work related to this main theme. The following areas are covered: quantum mechanics and the role of consciousness, neurophysiology and states of consciousness, the manifestation of the psyche in consciousness, the odyssey of consciousness, and science and consciousness. The discussions which follow give a multi-disciplinary perspective on the questions involved.

  • Brain Browser

    Hypercard® Application for the Macintosh®
    • 1st Edition
    • Bozzano G Luisa
    • English
    Brain Browser is designed to assist researchers as well as beginning and advanced neuroscience students in their efforts to organise, analyse, and contribute to the growing detailed knowledge of the brain. Brain Browser serves as an electronic notebook for neuroanatomy and offers numerous educational and research applications.System Requirements:IBM PC or fully compatible with Intel 80286 (or later) processor Mouse or other pointing device.2 MB of RAM (minimum)1.44 MB 3.5" disk driveHard disk drive with 10 MB availableAny Windows-compatible videographics adaptor and monitorDOS 3.1 or later (5.0) recommendedMicrosoft Windows 3.1Department site licenses are available, as well as a buyer's frequency plan. Contact the publisher for complete details.

  • Artificial Intelligence in Chemistry

    Structure Elucidation and Simulation of Organic Reactions
    • 1st Edition
    • Volume 73
    • Z. Hippe
    • English
    This comprehensive overview of the application of artificial intelligence methods (AI) in chemistry contains an in-depth summary of the most interesting achievements of modern AI, namely, problem-solving in molecular structure elucidation and in syntheses design.The book provides a brief history of AI as a branch of computer science. It also gives an overview of the basic methods employed for searching the solution space (thoroughly exemplified by chemical problems), together with a profound and expert discussion on many questions that may be raised by modern chemists wishing to apply computer-assisted methods in their own research. Moreover, it includes a survey of the most important literature references, covering all essential research in automated interpretation of molecular spectra to elucidate a structure and in syntheses design. A glossary of basic terms from computer technology for chemists is appended. This book is intended to make the emerging field of artificial intelligence understandable and accessible for chemists, who are not trained in computer methods for solving chemical problems. The author discusses step-by-step basic algorithms for structure elucidation and many aspects of the automated design of organic syntheses in order to integrate this fascinating technology into current chemical knowledge.

  • Towards Verified Systems

    • 1st Edition
    • Volume 2
    • J. Bowen
    • English
    As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has increased enormously in the last decade. Formal methods, based on firm mathematical foundations, provide one means to help with reducing the risk of introducing errors during specification and development. There is currently much interest in both academic and industrial circles concerning the issues involved, but the techniques still need further investigation and promulgation to make their widespread use a reality.This book presents results of research into techniques to aid the formal verification of mixed hardware/software systems. Aspects of system specification and verification from requirements down to the underlying hardware are addressed, with particular regard to real-time issues. The work presented is largely based around the Occam programming language and Transputer microprocessor paradigm. The HOL theorem prover, based on higher order logic, has mainly been used in the application of machine-checked proofs.The book describes research work undertaken on the collaborative UK DTI/SERC-funded Information Engineering Dictorate Safemos project. The partners were Inmos Ltd., Cambridge SRI, the Oxford University Computing Laboratory and the University of Cambridge Computer Laboratory, who investigated the problems of formally verifying embedded systems. The most important results of the project are presented in the form of a series of interrelated chapters by project members and associated personnel. In addition, overviews of two other ventures with similar objectives are included as appendices.The material in this book is intended for computing science researchers and advanced industrial practitioners interested in the application of formal methods to real-time safety-critical systems at all levels of abstraction from requirements to hardware. In addition, material of a more general nature is presented, which may be of interest to managers in charge of projects applying formal methods, especially for safety-critical-syst... and others who are considering their use.

  • Computer Compilation of Molecular Weights and Percentage Compositions for Organic Compounds

    • 1st Edition
    • Michael J. S. Dewar + 1 more
    • English
    Computer Compilation of Molecular Weights and Percentage Compositions for Organic Compounds presents the outputs of computer programs that calculate the molecular weights and percentage compositions of organic compounds. The data presented in the text only covers compounds containing carbon, hydrogen, and heteroatoms, while the elements covered are bromine, chlorine, fluorine, iodine, nitrogen, oxygen, and phosphorus. The calculations of the result were conducted by Control Data Corporation 1604 computer. The book will be of great use to chemists and chemical engineers who need to have a quick access to the data on organic compounds.

  • Human Aspects in Computer Integrated Manufacturing

    Proceedings of the IFIP TC5/WG 5.3 Eight International PROLAMAT Conference, Man in CIM, Tokyo, Japan, 24-26 June 1992
    • 1st Edition
    • G.J. Olling
    • English
    The papers in this volume reflect the current research and development of advanced manufacturing software. They may be categorized as follows: New Concepts towards CIM, Product Realization through Product/Process Modelling, Intelligent Management and Control of Manufacturing Activities, and Development of CIM Systems.

  • Decision Support Systems: Issues and Challenges

    Proceedings of an International Task Force Meeting June 23-25, 1980
    • 1st Edition
    • Göran Fick + 1 more
    • English
    Decision Support Systems: Issues and Challenges covers the proceedings of the International Institute for Applied Systems Analysis (IIASA) International Task Force Meeting. The book reviews papers that tackle issues about decision support systems (DSS). Comprised of 17 chapters, the book organizes the chapters according to the topic of discussion, including framework, resource discipline, application experience, and issues for the future in DSS. The opening chapter is an introduction to the main topic of the book. Chapter 2 discusses frameworks for research on decision support systems, and Chapter 3 covers the decision support systems. The fourth chapter deals with organizational science contributions to the design of decision support systems, while the fifth chapter discusses using data bases for decision support. Chapter 6 tackles the overview of database technology in decision support systems, and Chapter 7 talks about doing and speaking in the office. The eighth chapter discusses a look back at an office of the future, while the ninth chapter covers the implications for research of installing a decision support system. Chapter 10 tackles the problems of design and implementation of computer-based decision support systems. Chapter 11 discusses an interactive modeling system for analysis of alternative decisions; Chapter 12 covers the structure of decision support systems. Chapters 13 to 15 review the group discussion during the conference about the issues for the future in DSS. This book will be of great interest to leaders, since it discusses the integration of technology in the interaction within an organization.

Related subjects