Computer Science Products

  • From Action Systems to Distributed Systems

    The Refinement Approach

    Edited by Luigia Petre, Emil Sekerinski

    Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society’s infrastructures are behaving according to their specifications. More recently,…

    Hardback – 2016-05-20 
    Chapman and Hall/CRC

  • The Complete Guide to Blender Graphics

    Computer Modeling & Animation, Third Edition

    By John M. Blain

    Blender is a free and open source graphics program for computer modeling and animation. It contains all the tools necessary for creating models and scenes that may be made into still images or animated movies. Like its predecessors, the third edition of The Complete Guide to Blender Graphics:…

    Paperback – 2016-05-19 
    A K Peters/CRC Press

  • Mastering the Five Tiers of Audit Competency

    The Essence of Effective Auditing

    By Ann Butera

    Unlike compliance and Sarbanes-Oxley audits, risk-based operational audits and performance audits require a broad array of competencies. This is a book for auditors and risk professionals who want to improve their results during risk-based audits. Each section of this self-help book is devoted to a…

    Paperback – 2016-05-17 
    Auerbach Publications
    Internal Audit and IT Audit

  • Healthcare Informatics

    Improving Efficiency through Technology, Analytics, and Management

    By Stephan P. Kudyba

    This book gives readers a clear understanding of the types of healthcare service providers, corresponding information technologies, analytic methods, and data issues that continue to play a vital role in transforming the healthcare industry. All these elements are reshaping the various activities…

    Hardback – 2016-05-16 
    Auerbach Publications

  • Real-Time and Distributed Real-Time Systems

    Theory and Applications

    By Amitava Gupta, Anil Kumar Chandra, Peter Luksch

    This book starts with the basic concepts of real-time (RT) systems and then progresses to describe other related concepts. It introduces real-time systems and extends to multi-processor real-time systems. It also covers topics like multi-processor task scheduling and synchronization mechanisms.…

    Hardback – 2016-05-11 
    CRC Press

  • Protocols for Secure Electronic Commerce, Third Edition

    By Mostafa Hashem Sherif

    The continued growth of e-commerce mandates the emergence of new technical standards and methods that will securely integrate online activities with pre-existing infrastructures, laws and processes. Protocols for Secure Electronic Commerce, Second Edition addresses the security portion of this…

    Hardback – 2016-05-11 
    CRC Press

  • Spectrum Sharing in Wireless Networks

    Fairness, Efficiency, and Security

    Edited by John D. Matyjas, Sunil Kumar, Fei Hu

    So far, commercial cellular networks have utilized dedicated spectrum to provide services. However, the growing difficulty in identifying new spectrum for the exclusive use of wireless networks and the length of time the reallocation process takes has precipitated a growing interest in using shared…

    Hardback – 2016-05-11 
    CRC Press

  • Advances in Mobile Computing and Communications

    Perspectives and Emerging Trends in 5G Networks

    Edited by M. Bala Krishna, Jaime Lloret Mauri

    After 4G, perhaps by 2020, mobile computing and wireless systems will enter the Fifth Generation (5G), which promises evolutionary or at least revolutionary services. What those advanced services will look, sound, and feel like is the topic of this book—speculative, futuristic, and compelling ideas…

    Hardback – 2016-05-09 
    CRC Press

  • Reconfigurable Computing Systems Engineering

    Virtualization of Computing Architecture

    By Lev Kirischian

    This book offers a complete road map to the architectural synthesis of reconfigurable computing systems (RCS), exploring the process from both the system and the on-chip level. It describes in detail the hardware design of RCS platforms—from components to schematic diagrams and printed circuit…

    Hardback – 2016-05-05 
    CRC Press

  • Numerical Analysis with Algorithms and Programming

    By Santanu Saha Ray

    This book analyzes the basic techniques involved in providing efficient numerical solutions to problems in science and engineering and focuses on the development of numerical algorithms and detailed analysis of different numerical methods. While developing the basic understanding for the…

    Hardback – 2016-05-04 
    Chapman and Hall/CRC

  • Handbook of SCADA/Control Systems, Second Edition

    Edited by Robert Radvanovsky, Jacob Brodsky

    This comprehensive handbook presents a fundamental outline of security concepts, methodologies and relevant information pertaining to SCADA and other industrial control systems used in utility and industrial facilities worldwide. It provides concepts and essential information for securing control…

    Hardback – 2016-05-03 
    CRC Press

  • Big Data

    Storage, Sharing, and Security

    Edited by Fei Hu

    This book addresses three challenging issues related to Big Data. First, how do we aggregate heterogeneous types of data from numerous sources and then use fast database management technology to store the Big Data? Second, how do we use cloud computing to share the Big Data among large groups of…

    Hardback – 2016-05-03 
    Auerbach Publications

Product Search