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

    • Towards Verified Systems

      • 1st Edition
      • Volume 2
      • October 22, 2013
      • J. Bowen
      • English
      • eBook
        9 7 8 1 4 8 3 2 9 1 5 2 9
      As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has increased enormously in the last decade. Formal methods, based on firm mathematical foundations, provide one means to help with reducing the risk of introducing errors during specification and development. There is currently much interest in both academic and industrial circles concerning the issues involved, but the techniques still need further investigation and promulgation to make their widespread use a reality.This book presents results of research into techniques to aid the formal verification of mixed hardware/software systems. Aspects of system specification and verification from requirements down to the underlying hardware are addressed, with particular regard to real-time issues. The work presented is largely based around the Occam programming language and Transputer microprocessor paradigm. The HOL theorem prover, based on higher order logic, has mainly been used in the application of machine-checked proofs.The book describes research work undertaken on the collaborative UK DTI/SERC-funded Information Engineering Dictorate Safemos project. The partners were Inmos Ltd., Cambridge SRI, the Oxford University Computing Laboratory and the University of Cambridge Computer Laboratory, who investigated the problems of formally verifying embedded systems. The most important results of the project are presented in the form of a series of interrelated chapters by project members and associated personnel. In addition, overviews of two other ventures with similar objectives are included as appendices.The material in this book is intended for computing science researchers and advanced industrial practitioners interested in the application of formal methods to real-time safety-critical systems at all levels of abstraction from requirements to hardware. In addition, material of a more general nature is presented, which may be of interest to managers in charge of projects applying formal methods, especially for safety-critical-syst... and others who are considering their use.

    • The Lambda Calculus

      • 2nd Edition
      • Volume 103
      • July 10, 2013
      • H.P. Barendregt
      • English
      • Hardback
        9 7 8 0 4 4 4 8 6 7 4 8 3
      • Paperback
        9 7 8 0 4 4 4 8 7 5 0 8 2
      • eBook
        9 7 8 0 0 8 0 9 3 3 7 5 7
      The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.

    • The Fundamental Role of Teletraffic in the Evolution of Telecommunications Networks

      • 1st Edition
      • October 22, 2013
      • J. Labetoulle + 1 more
      • English
      • eBook
        9 7 8 1 4 8 3 2 9 4 1 8 6
      The International Teletraffic Congress (ITC) is a recognized international organization taking part in the work of the International Telecommunications Union. The congress traditionally deals with the development of teletraffic theory and its applications to the design, planning and operation of telecommunication systems, networks and services. The contents of ITC 14 illustrate the important role of teletraffic in the current period of rapid evolution of telecommunication networks. A large number of papers address the teletraffic issues behind developments in broadband communications and ATM technology. The extension of possiblities for user mobility and personal communications together with the generalization of common channnel signalling and the provision of new intelligent network services are further extremely significant developments whose teletraffic implications are explored in a number of contributions. ITC 14 also addresses traditional teletraffic subjects, proposing enhancements to traffic engineering practices for existing circuit and packet switched telecommunications networks and making valuable original contributions to the fundamental mathematical tools on which teletraffic theory is based. The contents of these Proceedings accurately reflect the extremely wide scope of the ITC, extending from basic mathematical theory to day-to-day traffic engineering practices, and constitute the state of the art in 1994 of one of the fundamental telecommunications sciences.

    • Risk Management Framework

      • 1st Edition
      • July 3, 2013
      • James Broad
      • English
      • Paperback
        9 7 8 1 5 9 7 4 9 9 9 5 8
      • eBook
        9 7 8 0 1 2 4 0 4 7 2 3 5
      The RMF allows an organization to develop an organization-wide risk framework that reduces the resources required to authorize a systems operation. Use of the RMF will help organizations maintain compliance with not only FISMA and OMB requirements but can also be tailored to meet other compliance requirements such as Payment Card Industry (PCI) or Sarbanes Oxley (SOX). With the publishing of NIST SP 800-37 in 2010 and the move of the Intelligence Community and Department of Defense to modified versions of this process, clear implementation guidance is needed to help individuals correctly implement this process. No other publication covers this topic in the detail provided in this book or provides hands-on exercises that will enforce the topics. Examples in the book follow a fictitious organization through the RMF, allowing the reader to follow the development of proper compliance measures. Templates provided in the book allow readers to quickly implement the RMF in their organization. The need for this book continues to expand as government and non-governmental organizations build their security programs around the RMF. The companion website provides access to all of the documents, templates and examples needed to not only understand the RMF but also implement this process in the reader’s own organization.

    • Basic Mechanical Vibrations

      • 1st Edition
      • September 24, 2013
      • A J Pretlove
      • English
      • Paperback
        9 7 8 0 4 0 8 0 1 5 5 4 7
      • eBook
        9 7 8 1 4 8 3 1 4 0 6 1 2
      BASIC Mechanical Vibrations deals with vibrations and combines basic theory with the development of useful computer programs to make design calculations. The programs in the book are written in BASIC. This book is comprised of six chapters and begins with a brief introduction to computing, with special emphasis on the fundamentals of the BASIC computer language. The chapters that follow give concise elements of vibration theory followed by problem solving examples making use of BASIC programs. The vibration analysis of engineering systems, which may be modeled by a single degree of freedom, is presented. Simple systems with damping and no damping are considered, along with systems having two and several degrees of freedom. The final chapter is concerned with bending vibrations. The text includes some subroutines for performing simple matrix operations on two-dimensional arrays that can be used in vibration calculations. This monograph will be useful to engineers who need to make vibration design calculations and to students of mechanical engineering.

    • StarLAN Technology Report

      • 1st Edition
      • October 22, 2013
      • Architecture Technology Architecture Technology Corpor
      • English
      • Paperback
        9 7 8 1 8 5 6 1 7 0 9 9 4
      • eBook
        9 7 8 1 4 8 3 2 8 5 0 5 4
      Please note this is a Short Discount publication.This report provides an insight into the technology and operation of both the 1 Mbps and 10 Mbps StarLAN [IEEE 10BASE–T] and details various vendor offerings of StarLAN products. Section I deals with StarLAN operation and Section II covers StarLAN products that were felt significant to this area.

    • Extrapolation Methods

      • 1st Edition
      • Volume 2
      • October 24, 2013
      • C. Brezinski + 1 more
      • English
      • Paperback
        9 7 8 1 4 9 3 3 0 6 0 5 3
      • eBook
        9 7 8 0 0 8 0 5 0 6 2 2 7
      This volume is a self-contained, exhaustive exposition of the extrapolation methods theory, and of the various algorithms and procedures for accelerating the convergence of scalar and vector sequences. Many subroutines (written in FORTRAN 77) with instructions for their use are provided on a floppy disk in order to demonstrate to those working with sequences the advantages of the use of extrapolation methods. Many numerical examples showing the effectiveness of the procedures and a consequent chapter on applications are also provided – including some never before published results and applications. Although intended for researchers in the field, and for those using extrapolation methods for solving particular problems, this volume also provides a valuable resource for graduate courses on the subject.

    • Human Aspects in Computer Integrated Manufacturing

      • 1st Edition
      • October 22, 2013
      • G.J. Olling
      • English
      • eBook
        9 7 8 1 4 8 3 2 9 3 3 5 6
      The papers in this volume reflect the current research and development of advanced manufacturing software. They may be categorized as follows: New Concepts towards CIM, Product Realization through Product/Process Modelling, Intelligent Management and Control of Manufacturing Activities, and Development of CIM Systems.

    • Local Community in the Era of Social Media Technologies

      • 1st Edition
      • August 31, 2013
      • Hui-Lan Titangos
      • English
      • Paperback
        9 7 8 1 8 4 3 3 4 6 9 6 8
      • eBook
        9 7 8 1 7 8 0 6 3 3 6 1 9
      Social media technologies can help connect local communities to the wider world. Local Community in the Era of Social Media Technologies introduces the experience of bringing a local community to the world. This book, with the model of Santa Cruz County, California, develops a truly global approach to the subject. The first section of the book covers the early efforts of recording the local Santa Cruz area, before moving on to deal with Library 1.0. The next section looks at the present situation with Library 2.0 and its benefits. The book ends with a discussion of future directions and the implications of Library 3.0 and beyond.

    • Computer Architecture Technology Trends

      • 1st Edition
      • October 22, 2013
      • Architecture Technology Architecture Technology Corpor
      • English
      • Paperback
        9 7 8 1 8 5 6 1 7 1 1 9 9
      • eBook
        9 7 8 1 4 8 3 2 8 5 0 6 1
      Please note this is a Short Discount publication.This year's edition of Computer Architecture Technology Trends analyses the trends which are taking place in the architecture of computing systems today. Due to the sheer number of different applications to which computers are being applied, there seems no end to the different adoptions which proliferate. There are, however, some underlying trends which appear. Decision makers should be aware of these trends when specifying architectures, particularly for future applications.This report is fully revised and updated and provides insight into the fundamentals of computer architecture – what it is, and how it is applied to fit a particular problem definition. Also discussed is where the future leads, given current trends in computer architecture.

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