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.

  • Systems Engineering Using SDL-92

    • 1st Edition
    • December 2, 2012
    • A. Olsen
    • O. Færgemand + 3 more
    • English
    CCITT (now ITU-T) Specification and Description Language (SDL) and systems engineering (formal and informal) in SDL are considered in this publication. The latest version of the language, SDL-92 [ITU Z.100 SDL-92] is introduced. The book has been written for existing and potential users of SDL - technologists involved in the specification and engineering of systems. It offers easier learning, through examples and application, than the Z.100 Recommendation of March 1993, which gives precise technical definitions and concepts. The book has sufficient coverage of the language so that for normal use it should not be necessary to consult Z.100. For this reason, the grammars, both textual and graphical, are included, and the index makes it possible to find text on most of the language mechanisms.Chapter 1 provides an overview of specification and design of telecommunication systems. It considers the usage and scope of SDL. Chapter 2 gives an overview of the language, with an introduction of the major language elements. Chapter 3 focuses on the specification of behaviour and the information interchange between processes. Chapter 4 covers the structuring of systems in terms of instances, how these may be defined by types and how types may be organised in type/subtype hierarchies by inheritance. Parameterised types and packages of type definitions are also covered. Chapter 5 presents the part of the language that provides data types, with emphasis placed on how to use predefined data types. Chapter 6 presents the use of SDL for system engineering, with a discussion of general systems engineering principles followed by an introduction to methodologies which use SDL. The use of other languages in combination with SDL, documentation issues, naming and other lexical rules, errors and language support are considered, since they are more relevant to the use of language in engineering than when initially learning the language.

  • COLT Proceedings 1990

    • 1st Edition
    • December 2, 2012
    • COLT
    • English
    COLT '90 covers the proceedings of the Third Annual Workshop on Computational Learning Theory, sponsored by the ACM SIGACT/SIGART, University of Rochester, Rochester, New York on August 6-8, 1990. The book focuses on the processes, methodologies, principles, and approaches involved in computational learning theory. The selection first elaborates on inductive inference of minimal programs, learning switch configurations, computational complexity of approximating distributions by probabilistic automata, and a learning criterion for stochastic rules. The text then takes a look at inductive identification of pattern languages with restricted substitutions, learning ring-sum-expansions, sample complexity of PAC-learning using random and chosen examples, and some problems of learning with an Oracle. The book examines a mechanical method of successful scientific inquiry, boosting a weak learning algorithm by majority, and learning by distances. Discussions focus on the relation to PAC learnability, majority-vote game, boosting a weak learner by majority vote, and a paradigm of scientific inquiry. The selection is a dependable source of data for researchers interested in the computational learning theory.

  • Introduction to Electronic Document Management Systems

    • 1st Edition
    • December 2, 2012
    • Bozzano G Luisa
    • English
    Introduction to Electronic Document Management Systems provides an in-depth overview of the technology of electronic document management using modern electronic image processing. It will prove to be a key source of information for management and technical staff of organizations considering a transformation from traditional micrographics-based document storage and retrieval systems to new electronic document capture systems. It will also be useful for those organizations considering improving productivity through electronic management of large volumes of data records.

  • Neural Networks and Genome Informatics

    • 1st Edition
    • Volume 1
    • December 2, 2012
    • C.H. Wu + 1 more
    • English
    This book is a comprehensive reference in the field of neural networks and genome informatics. The tutorial of neural network foundations introduces basic neural network technology and terminology. This is followed by an in-depth discussion of special system designs for building neural networks for genome informatics, and broad reviews and evaluations of current state-of-the-art methods in the field. This book concludes with a description of open research problems and future research directions.

  • Theory of Electric Polarization

    Dielectrics in Static Fields
    • 2nd Edition
    • December 2, 2012
    • Bozzano G Luisa
    • English
    Theory of Electric Polarization: Dielectrics in Static Fields: Second Edition concerns the theory of the static behavior of dielectrics. The book reviews electric moment, electric dipoles, some concepts of, and problems of electrostatics. One problem concerns the phenomena of a conducting sphere in a homogeneous external field which was resolved using Laplace's equation. The text also discusses the work required to assemble a charge distribution, the energy of a dialectric or an induced dipole in an external field, and the electrostatic interaction of two particles. The book explores the reaction field of a polarizable or non-polarizable point dipole, the reaction field in an ellipsoidal cavity, the reaction field of an eccentric dipole in a spherical cavity, and the contribution of the permanent dipoles to the cohesion energy of a liquid. The text tackles the Onsager equation, the Debye equation, a correction to the Clausius-Mossotti equation, and the Kirkwood correlation factor. The book explains normal and anomalous saturation, electrostriction, as well as the non-linear effect due to the anisotropy of polarizability and hyperpolarizabilitie... The text can prove beneficial for researchers, investigators or scientists whose work involve organic chemistry, analytical chemistry, physical chemistry, and inorganic chemistry.

  • An Analysis of the Information Technology Standardization Process

    • 1st Edition
    • December 2, 2012
    • J.L. Berg + 1 more
    • English
    A number of important issues form the basis of this book: How can the Information Technology (IT) standardization process, leading to unified products which are needed on the market, be made more efficient? Which current IT standards are of high quality, what factors have led to that high quality, and can those factors be re-created for other IT standards? What improvements to the quality of IT standards are needed? Which organizations should be involved? What permanent changes in the IT standardization scene are necessary? At what point in the evolution of a technology is it appropriate to produce standards? Is strategic planning feasible in the current standardization approach? Diverse disciplines contributed to the findings in this book: computer scientists, standardization leaders and professionals, users and vendors, economists, auditors, software implementors, and communication specialists.

  • An Introduction to Programming with Specifications

    • 1st Edition
    • December 2, 2012
    • Bozzano G Luisa
    • English
    A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification--a prerequisite of good programming and problem solving with a computer. The book is self-contained, requiring a low level of mathematical sophistication and may be used as an introduction to the mathematics of programming.

  • New Trends in System Reliability Evaluation

    • 1st Edition
    • December 2, 2012
    • K.B. Misra
    • English
    The subject of system reliability evaluation has never been so extensively and incisively discussed as in the present volume. The book fills a gap in the existing literature on the subject by highlighting the shortcomings of the current state-of-the-art and focusing on on-going efforts aimed at seeking better models, improved solutions and alternative approaches to the problem of system reliability evaluation. The book's foremost objective is to provide an insight into developments that are likely to revolutionize the art and science in the near future. At the same time it will help serve as a benchmark for the reader not only to understand and appreciate the newer developments but to profitably guide him in reorienting his efforts. This book will be valuable for people working in various industries, research organizations, particularly in electrical and electronics, defence, nuclear, chemical, space and communciation systems. It will also be useful for serious-minded students, teachers, and for the laboratories of educational institutions.

  • Logging and Log Management

    The Authoritative Guide to Understanding the Concepts Surrounding Logging and Log Management
    • 1st Edition
    • November 29, 2012
    • Kevin Schmidt + 2 more
    • English
    Logging and Log Management: The Authoritative Guide to Understanding the Concepts Surrounding Logging and Log Management introduces information technology professionals to the basic concepts of logging and log management. It provides tools and techniques to analyze log data and detect malicious activity. The book consists of 22 chapters that cover the basics of log data; log data sources; log storage technologies; a case study on how syslog-ng is deployed in a real environment for log collection; covert logging; planning and preparing for the analysis log data; simple analysis techniques; and tools and techniques for reviewing logs for potential problems. The book also discusses statistical analysis; log data mining; visualizing log data; logging laws and logging mistakes; open source and commercial toolsets for log data collection and analysis; log management procedures; and attacks against logging systems. In addition, the book addresses logging for programmers; logging and compliance with regulations and policies; planning for log analysis system deployment; cloud logging; and the future of log standards, logging, and log analysis. This book was written for anyone interested in learning more about logging and log management. These include systems administrators, junior security engineers, application developers, and managers.

  • Federal Cloud Computing

    The Definitive Guide for Cloud Service Providers
    • 1st Edition
    • November 27, 2012
    • Matthew Metheny
    • English
    Federal Cloud Computing: The Definitive Guide for Cloud Service Providers offers an in-depth look at topics surrounding federal cloud computing within the federal government, including the Federal Cloud Computing Strategy, Cloud Computing Standards, Security and Privacy, and Security Automation. You will learn the basics of the NIST risk management framework (RMF) with a specific focus on cloud computing environments, all aspects of the Federal Risk and Authorization Management Program (FedRAMP) process, and steps for cost-effectively implementing the Assessment and Authorization (A&A) process, as well as strategies for implementing Continuous Monitoring, enabling the Cloud Service Provider to address the FedRAMP requirement on an ongoing basis.

Related subjects