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

  • 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.

  • The Data and Analytics Playbook

    Proven Methods for Governed Data and Analytic Quality
    • 1st Edition
    • Lowell Fryman + 2 more
    • English
    The Data and Analytics Playbook: Proven Methods for Governed Data and Analytic Quality explores the way in which data continues to dominate budgets, along with the varying efforts made across a variety of business enablement projects, including applications, web and mobile computing, big data analytics, and traditional data integration. The book teaches readers how to use proven methods and accelerators to break through data obstacles to provide faster, higher quality delivery of mission critical programs. Drawing upon years of practical experience, and using numerous examples and an easy to understand playbook, Lowell Fryman, Gregory Lampshire, and Dan Meers discuss a simple, proven approach to the execution of multiple data oriented activities. In addition, they present a clear set of methods to provide reliable governance, controls, risk, and exposure management for enterprise data and the programs that rely upon it. In addition, they discuss a cost-effective approach to providing sustainable governance and quality outcomes that enhance project delivery, while also ensuring ongoing controls. Example activities, templates, outputs, resources, and roles are explored, along with different organizational models in common use today and the ways they can be mapped to leverage playbook data governance throughout the organization.

  • Managing Trade-offs in Adaptable Software Architectures

    • 1st Edition
    • Ivan Mistrik + 4 more
    • English
    Managing Trade-Offs in Adaptable Software Architectures explores the latest research on adapting large complex systems to changing requirements. To be able to adapt a system, engineers must evaluate different quality attributes, including trade-offs to balance functional and quality requirements to maintain a well-functioning system throughout the lifetime of the system. This comprehensive resource brings together research focusing on how to manage trade-offs and architect adaptive systems in different business contexts. It presents state-of-the-art techniques, methodologies, tools, best practices, and guidelines for developing adaptive systems, and offers guidance for future software engineering research and practice. Each contributed chapter considers the practical application of the topic through case studies, experiments, empirical validation, or systematic comparisons with other approaches already in practice. Topics of interest include, but are not limited to, how to architect a system for adaptability, software architecture for self-adaptive systems, understanding and balancing the trade-offs involved, architectural patterns for self-adaptive systems, how quality attributes are exhibited by the architecture of the system, how to connect the quality of a software architecture to system architecture or other system considerations, and more.

  • Machine Learning and Medical Imaging

    • 1st Edition
    • Guorong Wu + 2 more
    • English
    Machine Learning and Medical Imaging presents state-of- the-art machine learning methods in medical image analysis. It first summarizes cutting-edge machine learning algorithms in medical imaging, including not only classical probabilistic modeling and learning methods, but also recent breakthroughs in deep learning, sparse representation/codin... and big data hashing. In the second part leading research groups around the world present a wide spectrum of machine learning methods with application to different medical imaging modalities, clinical domains, and organs. The biomedical imaging modalities include ultrasound, magnetic resonance imaging (MRI), computed tomography (CT), histology, and microscopy images. The targeted organs span the lung, liver, brain, and prostate, while there is also a treatment of examining genetic associations. Machine Learning and Medical Imaging is an ideal reference for medical imaging researchers, industry scientists and engineers, advanced undergraduate and graduate students, and clinicians.

  • Bio-Inspired Computation and Applications in Image Processing

    • 1st Edition
    • Xin-She Yang + 1 more
    • English
    Bio-Inspired Computation and Applications in Image Processing summarizes the latest developments in bio-inspired computation in image processing, focusing on nature-inspired algorithms that are linked with deep learning, such as ant colony optimization, particle swarm optimization, and bat and firefly algorithms that have recently emerged in the field. In addition to documenting state-of-the-art developments, this book also discusses future research trends in bio-inspired computation, helping researchers establish new research avenues to pursue.

  • Biosensors 92 Proceedings

    The Second World Congress on Biosensors
    • 1st Edition
    • W.R. Heineman + 3 more
    • English
    Keeping up to date with new biosensors developments has been getting harder ...– one of the fastest moving fields of academic and industrial research in the world– a constant stream of new commercial applications– centres of research excellence all over Europe, North America and the Pacific Rim– enormous implications for monitoring personal health and fitness, the food we eat, the environment, health services and industryThe answer came on 20–22 May 1992, with BIOSENSORS 92. With a core of invited speakers and over 220 original contributed papers from 24 countries, BIOSENSORS 92 was the largest and most comprehensive event of its kind – a response to the growing importance of biosensors as a powerful new technology.Elsevier Advanced Technology, the organizers of BIOSENSORS 92, have now published the proceedings of this important event.Biosensors 92 Proceedings contains over 150 papers presenting current research and developments straight from those who are leading the way in:– Enzyme–based Sensors– Affinity Sensors– Environmental Monitoring using Biosensors– Biosensors and BioelectronicsBiosen... 92 Proceedings – Your key to current awareness in sensor technology for just £90 [dollar rate subject to current £/$ exchange rate].

  • Methods and Tools in User-Centred Design for Information Technology

    • 1st Edition
    • Volume 9
    • Margaret Galer + 3 more
    • English
    This book is concerned with the development of human factorsinputs to software design. The aim is to create products whichmatch the requirements and characteristics of users and whichoffer usable user interfaces. The HUFIT project - Human Factorsin Information Technology - was carried out within the EuropeanStrategic Programme for Research and Development in InformationTechnolog... (ESPRIT) with the objective of enhancing the qualityof software design within the European Community. The variety ofactivities undertaken to achieve this goal are reflected in thisbook. It describes human factors knowledge and tools forintegration in information technology supplier organisations.

Related subjects