Skip to main content
Elsevier

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.

  • 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.

  • 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.

  • Concise Encyclopedia of Software Engineering

    • 1st Edition
    • Volume 1
    • Derrick Morris
    • English
    This Concise Encyclopedia of Software Engineering is intended to provide compact coverage of the knowledge relevant to the practicing software engineer. The content has been chosen to provide an introduction to the theory and techniques relevant to the software of a broad class of computer applications. It is supported by examples of particular applications and their enabling technologies. This Encyclopedia will be of value to new practitioners who need a concise overview and established practitioners who need to read about the "penumbra" surrounding their own specialities. It will also be useful to professionals from other disciplines who need to gain some understanding of the various aspects of software engineering which underpin complex information and control systems, and the thinking behind them.

  • Information Storage Materials

    Proceedings of the Symposium V: Materials for Information Storage Media of the 3rd IUMRS International Conference on Advanced Materials, Sunshine City, Ikebukuro, Tokyo, Japan, August 31 - September 4, 1993
    • 1st Edition
    • M. Abe + 3 more
    • English
    Advanced Materials '93, II

  • Software Engineering Education

    Proceedings of the IFIP WG3.4/SEARCC (SRIG on Education and Training) Working Conference, Hong Kong, 28 September - 2 October, 1993
    • 1st Edition
    • Volume 40
    • B.Z. Barta + 2 more
    • English
    Software engineering education is an important, often controversial, issue in the education of Information Technology professionals. It is of concern at all levels of education, whether undergraduate, post-graduate or during the working life of professionals in the field. This publication gives perspectives from academic institutions, industry and education bodies from many different countries. Several papers provide actual curricula based on innovative ideas and modern programming paradigms. Various aspects of project work, as an important component of the educational process, are also covered and the uses of software tools in the software industry and education are discussed. The book provides a valuable source of information for all those interested and involved in software engineering education.

  • Electronic Art

    • 1st Edition
    • Roger F. Malina + 3 more
    • English
    Computers are more and more becoming creative tools in music as well as in the visual arts and design. In the last few years, it has become clear that digital technology provides a platform for multimedia productions as well as a medium for new art forms. Computer Music and Computer Graphics & Animation have their own international forums. The need was felt, however, to bring together the diverse disciplines within art and technology in one international event - the First International Symposium on Electronic Art (FISEA). The Symposium attracted considerable interest and hundreds of papers and proposals were submitted, of which a selection were accepted. This book, also published as a supplement to the journal Leonardo, publishes 20 of these selected papers under the editorship of Wim van der Plas, Ton Hokken and Johan den Biggelaar. This richly illustrated issue on Electronic Art reflects the enormous international interest which FISEA generated and will further stimulate interest in applications of new technology in music, visual arts and design.

  • 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.

  • 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.

  • 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.

Related subjects