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.

  • Intelligent Vehicular Networks and Communications

    Fundamentals, Architectures and Solutions
    • 1st Edition
    • Anand Paul + 3 more
    • English
    Intelligent Vehicular Network and Communications: Fundamentals, Architectures and Solutions begins with discussions on how the transportation system has transformed into today’s Intelligent Transportation System (ITS). It explores the design goals, challenges, and frameworks for modeling an ITS network, discussing vehicular network model technologies, mobility management architectures, and routing mechanisms and protocols. It looks at the Internet of Vehicles, the vehicular cloud, and vehicular network security and privacy issues. The book investigates cooperative vehicular systems, a promising solution for addressing current and future traffic safety needs, also exploring cooperative cognitive intelligence, with special attention to spectral efficiency, spectral scarcity, and high mobility. In addition, users will find a thorough examination of experimental work in such areas as Controller Area Network protocol and working function of On Board Unit, as well as working principles of roadside unit and other infrastructural nodes. Finally, the book examines big data in vehicular networks, exploring various business models, application scenarios, and real-time analytics, concluding with a look at autonomous vehicles.
  • Essential MATLAB for Engineers and Scientists

    • 6th Edition
    • Daniel T. Valentine + 1 more
    • English
    Essential MATLAB for Engineers and Scientists, Sixth Edition, provides a concise, balanced overview of MATLAB's functionality that facilitates independent learning, with coverage of both the fundamentals and applications. The essentials of MATLAB are illustrated throughout, featuring complete coverage of the software's windows and menus. Program design and algorithm development are presented clearly and intuitively, along with many examples from a wide range of familiar scientific and engineering areas. This updated edition includes the latest MATLAB versions through 2016a, and is an ideal book for a first course on MATLAB, or for an engineering problem-solving course using MATLAB, as well as a self-learning tutorial for professionals and students expected to learn and apply MATLAB.
  • Brain-Computer Interfaces: Lab Experiments to Real-World Applications

    • 1st Edition
    • Volume 228
    • English
    Brain-Computer Interfaces: Lab Experiments to Real-World Applications, the latest volume in the Progress in Brain Research series, focuses on new trends and developments. This established international series examines major areas of basic and clinical research within the neurosciences, as well as popular and emerging subfields.
  • Biostatistics and Computer-based Analysis of Health Data using Stata

    • 1st Edition
    • Christophe Lalanne + 1 more
    • English
    This volume of the Biostatistics and Health Sciences Set focuses on statistics applied to clinical research. The use of Stata for data management and statistical modeling is illustrated using various examples. Many aspects of data processing and statistical analysis of cross-sectional and experimental medical data are covered, including regression models commonly found in medical statistics. This practical book is primarily intended for health researchers with basic knowledge of statistical methodology. Assuming basic concepts, the authors focus on the practice of biostatistical methods essential to clinical research, epidemiology and analysis of biomedical data (including comparison of two groups, analysis of categorical data, ANOVA, linear and logistic regression, and survival analysis). The use of examples from clinical trials and epideomological studies provide the basis for a series of practical exercises, which provide instruction and familiarize the reader with essential Stata packages and commands.
  • Advanced Data Analysis and Modelling in Chemical Engineering

    • 1st Edition
    • Denis Constales + 4 more
    • English
    Advanced Data Analysis and Modeling in Chemical Engineering provides the mathematical foundations of different areas of chemical engineering and describes typical applications. The book presents the key areas of chemical engineering, their mathematical foundations, and corresponding modeling techniques. Modern industrial production is based on solid scientific methods, many of which are part of chemical engineering. To produce new substances or materials, engineers must devise special reactors and procedures, while also observing stringent safety requirements and striving to optimize the efficiency jointly in economic and ecological terms. In chemical engineering, mathematical methods are considered to be driving forces of many innovations in material design and process development.
  • The Basics of Cyber Safety

    Computer and Mobile Device Safety Made Easy
    • 1st Edition
    • John Sammons + 1 more
    • English
    The Basics of Cyber Safety: Computer and Mobile Device Safety Made Easy presents modern tactics on how to secure computer and mobile devices, including what behaviors are safe while surfing, searching, and interacting with others in the virtual world. The book's author, Professor John Sammons, who teaches information security at Marshall University, introduces readers to the basic concepts of protecting their computer, mobile devices, and data during a time that is described as the most connected in history. This timely resource provides useful information for readers who know very little about the basic principles of keeping the devices they are connected to—or themselves—secure while online. In addition, the text discusses, in a non-technical way, the cost of connectedness to your privacy, and what you can do to it, including how to avoid all kinds of viruses, malware, cybercrime, and identity theft. Final sections provide the latest information on safe computing in the workplace and at school, and give parents steps they can take to keep young kids and teens safe online.
  • Advances in Computers

    • 1st Edition
    • Volume 103
    • English
    Advances in Computers, the latest volume in the series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design, and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.
  • Automated Theorem Proving: A Logical Basis

    • 1st Edition
    • D.W. Loveland
    • English
    Fundamental Studies in Computer Science, Volume 6: Automated Theorem Proving: A Logical Basis aims to organize, augment, and record the major conceptual advances in automated theorem proving. The publication first examines the role of logical systems and basic resolution. Discussions focus on the Davis-Putnam procedure, ground resolution, semantic trees, general resolution procedure, basic concepts of first-order logic, refutation procedures, and preparation of formulas. The text then takes a look at the refinements of resolution, including unit preference and set-of-support, ordered clause deductions, and setting and linear refinements. The monograph tackles subsumption, resolution with equality, and resolution and problem reduction format. Topics include problem reduction format, paramodulation and linear refinements, paramodulation, and subsumption for linear and nonlinear procedures. The publication is a dependable reference for students and researchers interested in automated theorem proving.
  • Up and Running with AutoCAD 2017

    2D and 3D Drawing and Modeling
    • 1st Edition
    • Elliot J. Gindis
    • English
    Up and Running with AutoCAD 2017: 2D and 3D Drawing and Modeling presents Gindis’ combination of step-by-step instruction, examples, and insightful explanations. The emphasis from the beginning is on core concepts and practical application of AutoCAD in engineering, architecture, and design. Equally useful in instructor-led classroom training, self-study, or as a professional reference, the book is written with the user in mind by a long-time AutoCAD professional and instructor based on what works in the industry and the classroom.
  • Resolving Spectral Mixtures

    With Applications from Ultrafast Time-Resolved Spectroscopy to Super-Resolution Imaging
    • 1st Edition
    • Volume 30
    • English
    Resolving Spectral Mixtures: With Applications from Ultrafast Time-Resolved Spectroscopy to Superresolution Imaging offers a comprehensive look into the most important models and frameworks essential to resolving the spectral unmixing problem—from multivariate curve resolution and multi-way analysis to Bayesian positive source separation and nonlinear unmixing. Unravelling total spectral data into the contributions from individual unknown components with limited prior information is a complex problem that has attracted continuous interest for almost four decades. Spectral unmixing is a topic of interest in statistics, chemometrics, signal processing, and image analysis. For decades, researchers from these fields were often unaware of the work in other disciplines due to their different scientific and technical backgrounds and interest in different objects or samples. This led to the development of quite different approaches to solving the same problem. This multi-authored book will bridge the gap between disciplines with contributions from a number of well-known and strongly active chemometric and signal processing research groups. Among chemists, multivariate curve resolution methods are preferred to extract information about the nature, amount, and location in time (process) and space (imaging and microscopy) of chemical constituents in complex samples. In signal processing, assumptions are usually around statistical independence of the extracted components. However, the chapters include the complexity of the spectral data to be unmixed as well as dimensionality and size of the data sets. Advanced spectroscopy is the key thread linking the different chapters. Applications cover a large part of the electromagnetic spectrum. Time-resolution ranges from femtosecond to second in process spectroscopy and spatial resolution covers the submicronic to macroscopic scale in hyperspectral imaging.