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.

  • Parallel Computing

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

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

  • The UNIX Philosophy

    • 1st Edition
    • December 14, 1994
    • Mike Gancarz
    • English
    * Deals with powerful concepts in a simple way * Highlights important characteristics of Operating systems and other abstract entities in a new way * Explores the tenets of the UNIX operating system philosophyUnlike so many books that focus on how to use UNIX, The UNIX Philosophy concentrates on answering the questions: `Why use UNIX in the first place?'. Readers will discover the rationale and reasons for such concepts as file system organization, user interface and other system characteristics. In an informative, non-technical fashion, The UNIX Philosophy explores the general principles for applying the UNIX philosophy to software development. This book describes complex software design principles and addresses the importance of small programs, code and data portability, early prototyping, and open user interfaces. The UNIX Philosophy is a book to be read before tackling the highly technical texts on UNIX internals and programming. Written for both the computer layperson and the experienced programmer, this book explores the tenets of the UNIX operating system in detail, dealing with powerful concepts in a comprehensive, straightforward manner.

  • Graphics Gems II

    • 1st Edition
    • October 12, 1994
    • James Arvo
    • English
    Graphics Gems II is a collection of articles shared by a diverse group of people that reflect ideas and approaches in graphics programming which can benefit other computer graphics programmers. This volume presents techniques for doing well-known graphics operations faster or easier. The book contains chapters devoted to topics on two-dimensional and three-dimensional geometry and algorithms, image processing, frame buffer techniques, and ray tracing techniques. The radiosity approach, matrix techniques, and numerical and programming techniques are likewise discussed. Graphics artists and computer programmers will find the book invaluable.

  • Designing Computer Programs

    • 1st Edition
    • October 6, 1994
    • Jim Haigh
    • English
    This is a book for students at every level who are learning to program for the first time - and for the considerable number who learned how to program but were never taught to structure their programs. The author presents a simple set of guidelines that show the programmer how to design in a manageable structure from the outset. The method is suitable for most languages, and is based on the widely used 'JSP' method, to which the student may easily progress if it is needed at a later stage.Most language specific texts contain very little if any information on design, whilst books on design approach the topic at too high a level for someone learning their first language. This inexpensive introduction to design can be used alongside whatever programming book suits the student's particular needs.

  • Advances in Computers

    • 1st Edition
    • Volume 39
    • September 29, 1994
    • English

  • Advances in Computers

    • 1st Edition
    • Volume 38
    • September 29, 1994
    • English

  • Broadband Communications, II

    • 1st Edition
    • Volume 24
    • September 26, 1994
    • S. Tohme + 1 more
    • English
    The state-of-the-art of broadband communications - and its evolution - in both the public and private networks, is presented in this book. Particular consideration is given to the issues of switching, resource management, network control, communication services, testing, quality of service, traffic characteristics, traffic control and protocols. Invited papers further explore the fields of multimedia communication and traffic control, plus the introduction of ATM.

  • Usability Engineering

    • 1st Edition
    • September 23, 1994
    • Jakob Nielsen
    • English
    Written by the author of the best-selling HyperText & HyperMedia, this book is an excellent guide to the methods of usability engineering. The book provides the tools needed to avoid usability surprises and improve product quality. Step-by-step information on which method to use at various stages during the development lifecycle are included, along with detailed information on how to run a usability test and the unique issues relating to international usability.

  • RISC System/6000 PowerPC System Architecture

    • 1st Edition
    • September 1, 1994
    • International Business Machines, Inc.
    • English
    Offers support for a wide range of products for the RISC System/6000product line and AIX operating system, including Uni-processor (UP) andSymmetric Multiple Processor (SMP) systems. Provides important informationfor building many system features such as memory controllers with cachesand bus-to-bus bridges. RISC System/ 6000 PowerPC System Architecturedefines an architecture that allows each operating system--in particular,the AIX operating system--to run unchanged on all systems that comply withthis architecture. It provides a consistent software interface across abroad range of system implementations and offers all hardware/softwaredep... necessary for a successful system identification,confi... and performance tuning process.An important reference for all programmers and product developmentengineers who are developing software and hardware products for theRISC/System 6000 PowerPC systems. Also useful for system programmersinvolved in operating system design, system integrators building productsand parts for the system family, and anyone interested in porting otheroperating systems to the RISC System/6000 family.

Related subjects