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.

  • Multimedia and Hypertext

    The Internet and Beyond
    • 1st Edition
    • February 27, 1995
    • Jakob Nielsen
    • English
    Based on his best-selling HyperText and HpyerMedia, Jakob Nielsen takes hypertext a step further--to the Internet. Multimedia and Hypertext: The Internet and Beyond explores new and developing applications in multimedia and hypertext as well as offering coverage of the use of HTML (hypertext markup language) and the World Wide Web with interfaces such as Mosaic and Netscape.

  • Sendmail: Theory and Practice

    • 1st Edition
    • February 17, 1995
    • Frederick M Avolio + 1 more
    • English
    * Provides 'cookbook recipes' and simplified explanations on how Sendmail works and how to manage a mail system * Examines e-mail and Sendmail by laying ground work and defining key terms * Progresses from the simple to the complex, providing knowledgeessential for both the interested user and the experienced system manager.Sendmail is the ULTRIX, OSF/1, and BSD UNIX standard mail deliverer; however, Sendmail has been and is still considered by many to be impossible to understand. Sendmail: Theory and Practice explains Sendmail's history, architecture, configuration, andmaintenance. Systems managers wanting to learn how to set-up and maintain their mail system (made up of one or many computers) and interested readers wanting to learn more about electronic mail will find this book beneficial. The book explains how andwhy Sendmail does what it does and provides practical advnce about designing and maintaining an electronic mail system. 'You need this book if you run a mail gateway, or if you have a really strong curiosity about how email works.' - C Vu, November 1995

  • Advances in Electronics and Electron Physics

    • 1st Edition
    • Volume 89
    • February 6, 1995
    • English

  • Parallel Computational Fluid Dynamics '93

    New Trends and Advances
    • 1st Edition
    • January 30, 1995
    • J. Hauser + 3 more
    • English
    This volume contains the papers presented at the Parallel Computing Fluid Dynamics '93 Conference, Paris, 1993. A wide range of topics are covered including: networked computers, data parallel programming, domain decomposition, Euler and Navier-Stokes solvers.Researchers in this area will find this volume a useful reference in this rapidly developing field.

  • Fortran Programs for Chemical Process Design, Analysis, and Simulation

    • 1st Edition
    • January 25, 1995
    • A. Kayode Coker
    • English
    This book gives engineers the fundamental theories, equations, and computer programs (including source codes) that provide a ready way to analyze and solve a wide range of process engineering problems.

  • Software Quality Control, Error, Analysis

    • 1st Edition
    • January 1, 1995
    • Judith Clapp + 5 more
    • English
    Software Quality Control, Error, Analysis

  • Reliability of Software Intensive Systems

    • 1st Edition
    • January 1, 1995
    • Michael A. Friedman + 2 more
    • English
    Reliability of Software Intensive Systems

  • Advanced Software Applications in Japan

    • 1st Edition
    • January 1, 1995
    • Edward A. Feigenbaum + 3 more
    • English
    Advanced Software Applications in Japan

  • Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

    • 1st Edition
    • January 1, 1995
    • Dan Craigen + 1 more
    • English
    Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: · To better inform deliberations within industry and government on standards and regulations; · To provide an authoritative record on the practical experience of formal methods to date; and À To suggest areas where future research and technology development are needed. This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case. Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston.

  • Parallel Computing

    • 1st Edition
    • January 1, 1995
    • Eduard L Lafferty
    • English
    Parallel Computing

Related subjects