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

    • Principles of Knowledge Representation and Reasoning

      • 1st Edition
      • June 5, 2014
      • Jon Doyle + 2 more
      • English
      • Paperback
        9 7 8 1 5 5 8 6 0 3 2 8 8
      • eBook
        9 7 8 1 4 8 3 2 1 4 5 2 8
      Principles of Knowledge Representation and Reasoning contains the proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR '94) held in Bonn, Germany, on May 24-27, 1994. The conference provided a forum for reviewing the theory and principles underlying knowledge representation and reasoning. Topics covered range from reasoning about mental states and spatial reasoning with propositional logics to default logic as a query language. Comprised of 60 chapters, this book begins with a description of a formal language for representing and reasoning about time and action before turning to proof in context and how it can replace the most common uses of reflection principles. The reader is then introduced to reasoning with minimal models; belief ascription and mental-level modeling; and a unified framework for class-based representation formalisms. A general approach to specificity in default reasoning is also described, together with an ontology for engineering mathematics and the use of abduction to generate tests. The book concludes by considering the use of natural language for knowledge representation and reasoning. This monograph will be of interest to both students and practitioners in the fields of artificial intelligence and computer science.

    • Capability-Based Computer Systems

      • 1st Edition
      • May 16, 2014
      • Henry M. Levy
      • English
      • Paperback
        9 7 8 1 4 8 3 1 0 7 4 0 0
      • eBook
        9 7 8 1 4 8 3 1 0 1 0 6 4
      Capability-Based Computer Systems focuses on computer programs and their capabilities. The text first elaborates capability- and object-based system concepts, including capability-based systems, object-based approach, and summary. The book then describes early descriptor architectures and explains the Burroughs B5000, Rice University Computer, and Basic Language Machine. The text also focuses on early capability architectures. Dennis and Van Horn's Supervisor; CAL-TSS System; MIT PDP-1 Timesharing System; and Chicago Magic Number Machine are discussed. The book then describes Plessey System 250, Cambridge CAP Computer, and Hydra System. The selection also discusses STAROS System and IBM System/38. STAROS object support and abstract type management, as well as IBM System/38 profiles and authority and programs/procedures, are described. The book highlights Intel iAPX 432, and then considers segment and objects, program execution, storage resources, and abstraction support. Problems related with capability-based architectures are also noted. The text is a good source for readers wanting to study computer programming.

    • Digital Guide To Developing International Software

      • 1st Edition
      • June 28, 2014
      • Grou
      • English
      • Paperback
        9 7 8 1 5 5 5 5 8 0 6 3 6
      • eBook
        9 7 8 1 4 8 3 2 9 7 4 1 5
      Already in use by hundreds of independent vendors and developers, here at your fingertips are the groundbreaking packaging and design guidelines that Digital recommends and uses for products headed overseas.

    • Virtual Reality Systems

      • 1st Edition
      • June 28, 2014
      • R. A. Earnshaw
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 5 9 2 6
      • eBook
        9 7 8 1 4 8 3 2 9 6 5 7 9
      This volume brings together a number of the leading practitioners and exponents in the field of virtual reality (VR), and explores some of the main issues in the area and its associated hardware and software technology. The main components of the current generation of virtual reality systems are outlined, and major developments of VR systems are discussed.

    • Product Design Modeling using CAD/CAE

      • 1st Edition
      • January 20, 2014
      • Kuang-Hua Chang
      • English
      • Hardback
        9 7 8 0 1 2 3 9 8 5 1 3 2
      • eBook
        9 7 8 0 1 2 3 9 8 5 1 7 0
      Product Design Modeling using CAD/CAE is the third part of a four-part series. It is the first book to integrate discussion of computer design tools throughout the design process. Through this book, you will: Understand basic design principles and all digital design paradigms Understand computer-aided design, engineering, and manufacturing (CAD/CAE/CAM) tools available for various design-related tasks Understand how to put an integrated system together to conduct all-digital design (ADD)

    • Commonsense Reasoning

      • 2nd Edition
      • October 16, 2014
      • Erik T. Mueller
      • English
      • Paperback
        9 7 8 0 1 2 8 0 1 4 1 6 5
      • eBook
        9 7 8 0 1 2 8 0 1 6 4 7 3
      To endow computers with common sense is one of the major long-term goals of artificial intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning: An Event Calculus Based Approach is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions that span many areas of the commonsense world. The Second Edition features new chapters on commonsense reasoning using unstructured information including the Watson system, commonsense reasoning using answer set programming, and techniques for acquisition of commonsense knowledge including crowdsourcing.

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

    • Adaptive Intelligent Systems

      • 1st Edition
      • June 28, 2014
      • Society for Worldwide Society for Worldwide Interban
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 5 3 4 6
      • eBook
        9 7 8 1 4 8 3 2 9 8 1 5 3
      Dedicated to the consideration of advanced I.T. technologies and their financial applications, this volume contains contributions from an international group of system developers and managers from academia, the financial industry and their suppliers: all actively involved in the development and practical introduction of these technologies into banking and financial organisations.Concen... on real experience and present needs, rather than theoretical possibilities or limited prototype applications, it is hoped the publication will give a better insight into advanced I.T. practice and potential as it currently exists and motivate today's developers and researchers.In addition to the discussion of a wide range of technologies and approaches to ensure adaptivity, three other major topics are explored in the book: neural networks, classical software engineering techniques and rule-based systems.

    • The Chaos Cookbook

      • 1st Edition
      • May 15, 2014
      • Joe Pritchard
      • English
      • Paperback
        9 7 8 0 7 5 0 6 0 3 0 4 1
      • eBook
        9 7 8 1 4 8 3 1 0 4 2 0 1
      The Chaos Cookbook: A Practical Programming Guide discusses the use of chaos in computer programming. The book is comprised of 11 chapters that tackle various topics relevant to chaos and programming. Chapter 1 reviews the concept of chaos, and Chapter 2 discusses the iterative functions. Chapters 3 and 4 cover differential and Lorenz equations. Chapter 5 talks about strange attractors, while Chapter 6 deals with the fractal link. The book also discusses the Mandelbrot set, and then covers the Julia sets. The other fractal systems and the cellular automata are also explained. The last chapter discusses practical chaos. The book will be of great use to professionals, students, and hobbyist programmers who have an interest with the chaos systems.

    • Programming, The Impossible Challenge

      • 1st Edition
      • June 28, 2014
      • B. Walraet
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 5 6 0 5
      • eBook
        9 7 8 1 4 8 3 2 9 5 8 8 6
      In its modern form, the computer is only about 40 years old. And so is the job of the computer programmer. This book is a critical history of programming, written to give programmers and analysts in the commercial application field a more pragmatic insight into the background of their profession. It tells the story of why the technology evolved as it did, and how Fifth Generation techniques are already changing the situation.As well as charting the real advances and the passing fashions, this unusual book looks at the situation in perspective, drawing some sad and maybe surprising conclusions while discussing questions such as ``Is programming a job for human beings?'' ``Is it High Noon for the world of programming?''

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