Skip to main content
Elsevier
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

    • Science & Consciousness

      • 1st Edition
      • October 22, 2013
      • M. Cazenave
      • English
      • eBook
        9 7 8 1 4 8 3 2 8 5 9 6 2
      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

      • 1st Edition
      • October 22, 2013
      • Bozzano G Luisa
      • English
      • eBook
        9 7 8 1 4 8 3 2 8 4 9 4 1
      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.

    • StarLAN Technology Report

      • 1st Edition
      • October 22, 2013
      • Architecture Technology Architecture Technology Corpor
      • English
      • Paperback
        9 7 8 1 8 5 6 1 7 0 9 9 4
      • eBook
        9 7 8 1 4 8 3 2 8 5 0 5 4
      Please note this is a Short Discount publication.This report provides an insight into the technology and operation of both the 1 Mbps and 10 Mbps StarLAN [IEEE 10BASE–T] and details various vendor offerings of StarLAN products. Section I deals with StarLAN operation and Section II covers StarLAN products that were felt significant to this area.

    • Generating Functionology

      • 2nd Edition
      • October 22, 2013
      • Herbert S. Wilf
      • English
      • Hardback
        9 7 8 0 1 2 7 5 1 9 5 6 2
      • eBook
        9 7 8 0 0 8 0 5 7 1 5 1 5
      This is the Second Edition of the highly successful introduction to the use of generating functions and series in combinatorial mathematics. This new edition includes several new areas of application, including the cycle index of the symmetric group, permutations and square roots, counting polyominoes, and exact covering sequences. An appendix on using the computer algebra programs MAPLE(r) and Mathematica(r) to generate functions is also included. The book provides a clear, unified introduction to the basic enumerative applications of generating functions, and includes exercises and solutions, many new, at the end of each chapter.

    • Human Aspects in Computer Integrated Manufacturing

      • 1st Edition
      • October 22, 2013
      • G.J. Olling
      • English
      • eBook
        9 7 8 1 4 8 3 2 9 3 3 5 6
      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

      • 1st Edition
      • October 22, 2013
      • Göran Fick + 1 more
      • English
      • Paperback
        9 7 8 1 4 8 3 1 1 2 7 4 9
      • eBook
        9 7 8 1 4 8 3 1 4 5 1 6 7
      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.

    • Morphometry of the Human Lung

      • 1st Edition
      • October 22, 2013
      • Ewald R. Weibel
      • English
      • Paperback
        9 7 8 1 4 8 3 2 1 2 3 6 4
      • eBook
        9 7 8 1 4 8 3 2 2 5 7 9 1
      Morphometry of the Human Lung considers the developments in understanding the quantitative anatomy of the lung, and in the correlation of anatomy with physiology. This book is composed of 11 chapters, and begins with an overview of a systematic approach to a quantitative morphologic analysis of the architecture of the human lung, followed by a presentation of general problems of methodology and the derivation of reliable dimensional models of this organ. The subsequent chapters describe the methods of preparation of tissues, methods of random sampling, and adaptation of methodologies from other fields of science. These topics are followed by discussions the mathematical formulations for the translation of the data into the desired geometric forms and a technique of counting. The final chapters look into the mode of distribution and geometric forms that should eventually facilitate mathematical and physical considerations regarding the function of the lungs. These chapters also consider the application of these quantitative methods to the study of pathologic specimens, providing a most timely renovation of morphologic pathology. This book will be of value to pulmonologists, physiologists, and researchers who are interested in lung morphometry.

    • Artificial Intelligence in Chemistry

      • 1st Edition
      • Volume 73
      • October 22, 2013
      • Z. Hippe
      • English
      • eBook
        9 7 8 1 4 8 3 2 9 1 6 7 3
      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
      • October 22, 2013
      • J. Bowen
      • English
      • eBook
        9 7 8 1 4 8 3 2 9 1 5 2 9
      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
      • October 22, 2013
      • Michael J. S. Dewar + 1 more
      • English
      • Paperback
        9 7 8 1 4 8 3 1 7 0 4 2 8
      • eBook
        9 7 8 1 4 8 3 1 8 6 2 3 8
      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.

Related subjects

Applications

Artificial intelligence

Business intelligence

Computer systems organization

Computer vision and pattern recognition

Computing milieux

Data

Graphics cad hci

Hardware and architecture

Information systems

Internet and web technology

Software

Theory and mathematics