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

    • Museum Documentation Systems

      • 1st Edition
      • May 27, 2014
      • Richard B. Light + 2 more
      • English
      • Paperback
        9 7 8 1 4 8 3 1 7 6 6 1 1
      • eBook
        9 7 8 1 4 8 3 1 9 2 4 2 0

    • Distributed Artificial Intelligence

      • 1st Edition
      • May 23, 2014
      • Robin Gasser + 1 more
      • English
      • Paperback
        9 7 8 1 5 5 8 6 0 0 9 2 8
      • eBook
        9 7 8 1 4 8 3 2 9 4 8 1 0
      Research Notes in Artificial Intelligence: Distributed Artificial Intelligence, Volume II focuses on the growing interest in Distributed Artificial Intelligence (DAI). The selection first offers information on a unified theory of communication and social structure and boundary objects and heterogeneous distributed problem solving. Discussions focus on types of boundary objects, heterogeneous problem solving and boundary objects, social structures and social groups, and social cooperation and communication. The text then examines representing and using organizational knowledge in DAI systems, dynamics of computational ecosystems, and communication-free interactions among rational agents. The publication takes a look at conflict-resolution strategies for nonhierarchical distributed agents, constraint-directed negotiation of resource reallocations, and plans for multiple agents. Topics include plan verification, generation, and execution, negotiation operators, representation, network management problem, and conflict-resolution paradigms. The manuscript then elaborates on negotiating task decomposition and allocation using partial global planning and mechanisms for assessing nonlocal impact of local decisions in distributed planning. The selection is a valuable source of information for researchers interested in distributed artificial intelligence.

    • Systems Engineering in Public Administration

      • 1st Edition
      • Volume 36
      • May 23, 2014
      • H.E.G. Bonin
      • English
      • Paperback
        9 7 8 0 4 4 4 8 1 5 6 0 6
      • eBook
        9 7 8 1 4 8 3 2 9 8 4 4 3
      The complexity of large systems in public administration progresses in terms of both quality and quantity year after year. Mastering complex systems is therefore assuming an increasing dominance in this area. Learning to master evolving systems needs at least a foundation in science and engineering know-how. The relationship between the professionals, such as system engineers viewing from the outside and the beneficiaries, such as public administration officials using the computer systems on the inside is therefore of prime importance if the many problems are to be solved.This book does not attempt to provide definitive answers but rather aims to give shape to our visions and ideas and to stimulate further discussion and research.

    • Higher Order Logic Theorem Proving and its Applications

      • 1st Edition
      • Volume 20
      • May 23, 2014
      • L.J.M. Claesen + 1 more
      • English
      • Paperback
        9 7 8 0 4 4 4 8 9 8 8 0 7
      • eBook
        9 7 8 1 4 8 3 2 9 8 4 0 5
      The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its many applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols are considered in depth in this volume. Other systems based on higher order logic, namely Nuprl and LAMBDA are also discussed. Features given particular consideration are: novel developments in higher order logic and its implementations in HOL; formal design and verification methodologies for hardware and software; public domain availability of the HOL system. Papers addressing these issues have been divided as follows: Mathematical Logic; Induction; General Modelling and Proofs; Formalizing and Modelling of Automata; Program Verification; Hardware Description Language Semantics; Hardware Verification Methodologies; Simulation in Higher Order Logic; Extended Uses of Higher Order Logic. Academic and industrial researchers involved in formal hardware and software design and verification methods should find the publication especially interesting and it is hoped it will also provide a useful reference tool for those working at software institutes and within the electronics industries.

    • Machine Learning Proceedings 1988

      • 1st Edition
      • May 23, 2014
      • John Laird
      • English
      • Paperback
        9 7 8 0 9 3 4 6 1 3 6 4 4
      • eBook
        9 7 8 1 4 8 3 2 9 7 6 9 9
      Proceedings of the Fifth International Conference on Machine Learning provides careful theoretical analyses that make clear contact with traditional problems in machine learning. This book discusses the key role of learning in cognition. Organized into 10 parts encompassing 49 chapters, this book begins with an overview of the OTIS induction system that learns concepts from positive and negative examples by searching through the space of possible concept descriptions. This text then reviews the methods to selecting examples, and explores the ramifications of one in detail. Other chapters consider a reported phenomenon in machine concept learning wherein concept descriptions can be simplified with little ill-effect on classification accuracy. This book discusses as well an implemented system that learns structural models of shape from noisy image data. The final chapter provides a discussion of the relationship between learning and forgetting. This book is a valuable resource for psychologists, scientists, theorists, and research workers.

    • Distributed Computer Control Systems 1994

      • 1st Edition
      • May 23, 2014
      • J.A. De La Puente + 1 more
      • English
      • Paperback
        9 7 8 0 0 8 0 4 2 2 3 7 4
      • eBook
        9 7 8 1 4 8 3 2 9 7 6 2 0
      One of the most important issues in the development of distributed computer control systems is the ability to build software and hardware which is both reliable and time deterministic; this is an area where control engineering and computer science naturally meet.This publication brings together the latest key papers on research and development in this field, allowing cross-fertilization between the two engineering disciplines involved and allowing both academics and industrial practitioners to find new insights and learn from each other's views.

    • Real Time Programming 1988

      • 1st Edition
      • May 23, 2014
      • A. Crespo + 1 more
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 5 1 8 6
      • eBook
        9 7 8 1 4 8 3 2 9 8 0 5 4
      Digital computers are now used routinely in on-line control systems. As applications become more complex and costs of developing software rise, the need for good software tools becomes vital. This volume presents 14 papers on the most recent developments within real-time programming - languages for real-time programming, software development tools and the application of real-time systems within industry.

    • Computer Applications in Biotechnology

      • 1st Edition
      • May 23, 2014
      • A. Munack + 1 more
      • English
      • Paperback
        9 7 8 0 0 8 0 4 2 3 7 7 7
      • eBook
        9 7 8 1 4 8 3 2 9 6 9 0 6
      The 6th Computer Applications in Biotechnology (CAB6) conference was a continuation of 2 series of events: the IFAC symposia on Modelling and Control of Biotechnical Processes and the International Conferences on Computer Applications in Fermentation Technology. This conference provided the opportunity for both sides, leading researchers and industrial practitioners, in this interdisciplinary field to exchange new ideas and technology; concepts and solutions. This postprint volume contains all those papers which were presented at the conference.

    • Analysis, Design and Evaluation of Man-Machine Systems 1989

      • 1st Edition
      • May 23, 2014
      • B. Hu
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 5 2 4 7
      • eBook
        9 7 8 1 4 8 3 2 9 8 8 7 0
      The twenty-seven papers cover recent advances in both empirical and theoretical aspects of man-machine interaction with special emphasis on the subjects of man-automation and man-computer interaction. They provide information on a subject which has grown rapidly in importance during recent years.

    • IT Perspectives Conference

      • 1st Edition
      • May 23, 2014
      • Sam Stuart
      • English
      • Paperback
        9 7 8 1 8 5 3 8 4 0 0 8 1
      • eBook
        9 7 8 1 4 8 3 1 4 2 1 3 5
      IT Perspectives Conference is a documentation of the top-level conference sponsored by the publishers of Computer Weekly, which aims to examine the issues that concern computer professionals and to provide at least some of the answers while indicating the directions which IT may be expected to take moving on to the 1990s. Leading figures from the IT industry and from major computer users show how they are tackling the transition from the limited task based approach of traditional computing to the more wide-ranging strategic issues implicit in the concept of information as a resource to be managed, used competitively, and even sold. In looking towards a future characterized by transaction-oriented systems, online databases, and distributed processing, the significance of tools such as fourth generation languages and computer-assisted software engineering is described and the vital role of communications at all levels from local area networks to the development of international standards is examined. This book will be useful to anyone wishing to discern the main trends in IT development and computer systems implementation as they set out to develop the systems of the 1990s.

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