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

  • Bridging UX and Web Development

    Better Results through Team Integration
    • 1st Edition
    • Jack Moffett
    • English
    The divide between UX and Web development can be stifling. Bridging UX and Web Development prepares you to break down those walls by teaching you how to integrate with your team’s developers. You examine the process from their perspective, discovering tools and coding principles that will help you bridge the gap between design and implementation. With these tried and true approaches, you’ll be able to capitalize on a more productive work environment. Whether you’re a novice UX professional finding your place in the software industry and looking to nail down your technical skills, or a seasoned UI designer looking for practical information on how to integrate your team with development, this is the must-have resource for your UX library.

  • Principles of Knowledge Representation and Reasoning

    Proceedings of the Fourth International Conference (KR '94)
    • 1st Edition
    • Jon Doyle + 2 more
    • English
    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.

  • Economics-Driven Software Architecture

    • 1st Edition
    • Ivan Mistrik + 3 more
    • English
    Economics-driven Software Architecture presents a guide for engineers and architects who need to understand the economic impact of architecture design decisions: the long term and strategic viability, cost-effectiveness, and sustainability of applications and systems. Economics-driven software development can increase quality, productivity, and profitability, but comprehensive knowledge is needed to understand the architectural challenges involved in dealing with the development of large, architecturally challenging systems in an economic way. This book covers how to apply economic considerations during the software architecting activities of a project. Architecture-centric approaches to development and systematic evolution, where managing complexity, cost reduction, risk mitigation, evolvability, strategic planning and long-term value creation are among the major drivers for adopting such approaches. It assists the objective assessment of the lifetime costs and benefits of evolving systems, and the identification of legacy situations, where architecture or a component is indispensable but can no longer be evolved to meet changing needs at economic cost. Such consideration will form the scientific foundation for reasoning about the economics of nonfunctional requirements in the context of architectures and architecting.

  • Museum Documentation Systems

    Developments and Applications
    • 1st Edition
    • Richard B. Light + 2 more
    • English

  • Distributed Artificial Intelligence

    Volume II
    • 1st Edition
    • Robin Gasser + 1 more
    • English
    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

    Proceedings of the IFIP TC8/WG8.5 Working Conference on Systems Engineering in Public Administration, Luneburg, Germany, 3-5 March 1993
    • 1st Edition
    • Volume 36
    • H.E.G. Bonin
    • English
    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

    Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
    • 1st Edition
    • Volume 20
    • L.J.M. Claesen + 1 more
    • English
    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
    • John Laird
    • English
    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
    • J.A. De La Puente + 1 more
    • English
    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

    Proceedings of the 15thIFAC/IFIP Workshop, Valencia, Spain, 25-27 May 1988
    • 1st Edition
    • A. Crespo + 1 more
    • English
    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.

Related subjects