Skip to main content

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.

    • Essentials of Artificial Intelligence

      • 1st Edition
      • December 2, 2012
      • Matt Ginsberg
      • English
      • Paperback
        9 7 8 0 1 2 4 1 2 1 5 3 9
      • eBook
        9 7 8 0 3 2 3 1 3 9 6 8 7
      Since its publication, Essentials of Artificial Intelligence has beenadopted at numerous universities and colleges offering introductory AIcourses at the graduate and undergraduate levels. Based on the author'scourse at Stanford University, the book is an integrated, cohesiveintroduction to the field. The author has a fresh, entertaining writingstyle that combines clear presentations with humor and AI anecdotes. At thesame time, as an active AI researcher, he presents the materialauthoritativ... and with insight that reflects a contemporary, first handunderstanding of the field. Pedagogically designed, this book offers arange of exercises and examples.
    • Systems Engineering Using SDL-92

      • 1st Edition
      • December 2, 2012
      • A. Olsen
      • O. Færgemand + 3 more
      • English
      • Paperback
        9 7 8 0 4 4 4 5 6 8 3 6 6
      • eBook
        9 7 8 0 4 4 4 5 9 8 9 0 5
      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.
    • SDL '95 with MSC in CASE

      • 1st Edition
      • December 2, 2012
      • R. Braek + 1 more
      • English
      • Paperback
        9 7 8 0 4 4 4 5 6 5 5 7 0
      • eBook
        9 7 8 0 4 4 4 5 9 8 6 4 6
      Message Sequence Charts (MSC) have had an unanticipated success, both with SDL, on its own and in conjunction with other methods and tools. Major tool vendors now offer both SDL and MSC in their tool set. This timely volume reports on the recent developments in this expanding field. Several papers deal with language issues, tools and methods for effective use of MSC. Advances in "SDL technology" are discussed, and several papers deal with the early stages of product development and how SDL may be complemented by other methods, such as OMT, to improve problem understanding and make better SDL designs. New developments in the areas of tools for verification, validation and testing are also included, together with a large number of papers on applications.
    • COLT Proceedings 1990

      • 1st Edition
      • December 2, 2012
      • COLT
      • English
      • eBook
        9 7 8 0 3 2 3 1 3 7 7 0 6
      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.
    • An Analysis of the Information Technology Standardization Process

      • 1st Edition
      • December 2, 2012
      • J.L. Berg + 1 more
      • English
      • Paperback
        9 7 8 0 4 4 4 5 6 7 7 0 3
      • eBook
        9 7 8 0 4 4 4 5 9 7 2 2 9
      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.
    • Fifth Generation Computer Systems

      • 1st Edition
      • December 2, 2012
      • T. Moto-Oka
      • English
      • Paperback
        9 7 8 0 4 4 4 5 6 8 7 0 0
      • eBook
        9 7 8 0 4 4 4 6 0 0 1 4 1
      The Japan Information Processing Development Centre (JIPDEC) established a committee for Study and Research on Fifth-Generation Computers. Beginning in 1979, this Committee set out on a two-year investigation into the most desirable types of computer systems for application in the 1990`s (fifth-generation computers) and how the development projects aimed at the realization of these systems should be carried forward.This book contains the papers presented at the International Conference on Fifth Generation Computer Systems. Included among these papers is a preliminary report on the findings of the Committee.
    • Dielectrics in Time-Dependent Fields

      • 2nd Edition
      • December 2, 2012
      • Bozzano G Luisa
      • English
      • Paperback
        9 7 8 0 4 4 4 5 6 6 9 3 5
      • eBook
        9 7 8 0 4 4 4 6 0 0 6 9 1
      Theory of Electric Polarization, Volume II: Dielectrics in Time-Dependent Fields focuses on the processes, reactions, and principles involved in the application of dielectrics in time-dependent fields, as well as the Kerr effect, statistical mechanics, and polarization. The publication first examines the phenomenological theory of linear dielectrics in time-dependent fields; empirical description of dielectric relaxation; and the relationship between macroscopic and molecular dielectric relaxation behavior. Concerns cover the relationship between macroscopic and microscopic correlation functions; statistical mechanics of linear dissipative systems and the relationship between response functions and correlation functions; superpositions of distribution functions; and the use of complex dielectric constant in problems with time-dependent field sources. The book then ponders on the dipole correlation function, polarization in the infrared and optical frequency range, and the Kerr effect and related phenomena. Discussions focus on the Kerr effect in condensed systems, extensions of the Kerr effect, extrapolation of the refractive index to infinite wavelength, results obtained from computer simulations, rotational diffusion, and general aspects of molecular reorientation. The manuscript tackles the dielectric properties of molecular solids and liquid crystals and experimental determination of permanent dipole and quadrupole moments. The text is a valuable source of data for researchers interested in the application of dielectrics in time-dependent fields.
    • Artificial Intelligence in Engineering Design

      • 1st Edition
      • December 2, 2012
      • Bozzano G Luisa
      • English
      • Paperback
        9 7 8 0 1 2 4 1 2 0 1 1 2
      • eBook
        9 7 8 0 3 2 3 1 3 9 9 5 3
      Artificial Intelligence in Engineering Design is a three-volume edited collection of key papers from the field of AI and design, aimed at providing a state-of-the art description of the field, and focusing on how ideas and methods from artificial intelligence can help engineers in the design of physical artifacts and processes. The books survey a wide variety of applications in the areas of civil, chemical, electrical, computer, VLSI, and mechanical engineering.
    • Graphics Gems III (IBM Version)

      • 1st Edition
      • December 2, 2012
      • David Kirk
      • English
      • Hardback
        9 7 8 0 1 2 4 0 9 6 7 3 8
      • eBook
        9 7 8 0 0 8 0 5 0 7 5 5 2
      This sequel to Graphics Gems (Academic Press, 1990), and Graphics Gems II (Academic Press, 1991) is a practical collection of computer graphics programming tools and techniques. Graphics Gems III contains a larger percentage of gems related to modeling and rendering, particularly lighting and shading. This new edition also covers image processing, numerical and programming techniques, modeling and transformations, 2D and 3D geometry and algorithms,ray tracing and radiosity, rendering, and more clever new tools and tricks for graphics programming. Volume III also includes a disk containing source codes for either the IBM or Mac versions featuring all code from Volumes I, II, and III. Author David Kirk lends his expertise to the Graphics Gems series in Volume III with his far-reaching knowledge of modeling and rendering, specifically focusing on the areas of lighting and shading. Volume III includes a disk containing source codes for both the IBM and Mac versions featuring all code from volumes I, II, and III. Graphics Gems I, II, and III are sourcebooks of ideas for graphics programmers. They also serve as toolboxes full of useful tricks and techniques for novice programmers and graphics experts alike. Each volume reflects the personality and particular interests of its respective editor.
    • Theory of Electric Polarization

      • 2nd Edition
      • December 2, 2012
      • Bozzano G Luisa
      • English
      • Paperback
        9 7 8 0 4 4 4 5 6 6 6 0 7
      • eBook
        9 7 8 0 4 4 4 6 0 0 0 6 6
      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.