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

  • Reliability of Software Intensive Systems

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

  • Parallel Computing

    • 1st Edition
    • Eduard L Lafferty
    • English
    Parallel Computing

  • Advanced Software Applications in Japan

    • 1st Edition
    • 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
    • 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
    • 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
    • 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
    • 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 38
    • English

  • Advances in Computers

    • 1st Edition
    • Volume 39
    • English

  • Broadband Communications, II

    • 1st Edition
    • Volume 24
    • 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.

Related subjects