Skip to main content
Elsevier

Books in Software

This collection encompasses software engineering, programming languages, and development frameworks. Showcasing best practices, innovative methodologies, and case studies, it supports developers, researchers, and educators in building reliable, efficient, and maintainable software systems. Addressing agile development, software testing, and DevOps, these resources foster technological excellence and industry readiness.

  • Full-Stack Web Development from the Ground Up

    Principles, Practices, and Technologies
    • 1st Edition
    • Christopher D Hundhausen
    • English
    Full-Stack Development from the Ground Up: Principles, Practices, and Technologies addresses the growing need for a comprehensive upper-division computer science textbook that provides in-depth treatment of full-stack web development using the modern web development technologies that students are likely to encounter in industry. Professional full-stack web developers who are capable of developing both the front-end user interfaces and back-end databases and services for dynamic websites are in high demand. The book begins by laying a foundation in HTML, CSS and JavaScript—the building blocks of client-side web development.It then explores one particular web development stack in detail: MERN, which stands for MongoDB, Express.js, React.js and Node.js. Together, these four technologies provide powerful support for full-stack web development in a single programming language—JavaScript. The crucial final step in the web development process is deploying apps to a server, so users can interact with them. This book simplifies deployment by focusing on just one web deployment environment: Amazon Web Services (AWS), and only those AWS tools that are absolutely necessary to deploy MERN applications.

  • High-Performance Computing

    Applications and Frontiers
    • 1st Edition
    • Oscar Diez
    • English
    High-Performance Computing: Applications and Frontiers serves as an essential, up-to-date guide for those seeking to master the rapidly evolving field of HPC. Building on foundational concepts, this volume delves into specialized tools and emerging technologies shaping modern research and industry, such as parallel and distributed systems, GPU programming, quantum computing, and cloud-based solutions. Designed for advanced students, researchers, and professionals, it prepares readers to tackle real-world challenges by combining theoretical insights with practical expertise, offering a clear roadmap for navigating both established and cutting-edge HPC landscapes.The book further distinguishes itself by exploring domain-specific applications, machine learning, and the future trajectory of high-performance computing. Key topics include containerization, AI-powered HPC, hybrid and multi-cloud strategies, as well as recent advancements in GPU and quantum technologies. With its blend of theory and hands-on examples, this book is a versatile reference that meets the growing demand for a comprehensive resource in today's data-driven world.

  • Mastering Java Full Stack Development

    From Spring Boot to ReactJS
    • 1st Edition
    • Usharani Bhimavarapu
    • English
    Mastering Java Full Stack Development: From Spring Boots to ReactJS is an essential handbook for building robust, scalable, and future-ready enterprise applications using today's most in-demand technologies. Structured for progressive learning, the book blends theory with hands-on examples to help readers build applications that are not just functional, but maintainable, secure, and scalable. Each chapter provides the why behind the how, enabling readers to make informed technical decisions grounded in industry best practices. The book offers a unified, full-stack view of enterprise application development, integrating backend, frontend, database, and cloud layers.It provides an integrated, end-to-end guide that shows how Spring, Hibernate, React, and Microservices work together in a cohesive architecture, while also addressing the growing interest and practical implementation challenges associated with applying the most current development methodology to Java software engineering environments and offering a deep dive into foundational concepts, the challenges faced in real-world applications, and potential future developments. The book is written for full stack developers and Java backend developers who want to expand into frontend technologies, as well as frontend developers looking to master enterprise-level backend development.

  • Synthetic Media, Deepfakes, and Cyber Deception

    Attacks, Analysis, and Defenses
    • 1st Edition
    • Cameron H. Malin
    • English
    Synthetic Media, Deepfakes, and Cyber Deception: Attacks, Analysis, and Defenses introduces the only analytical Synthetic Media Analysis Framework (SMAF) to help describe cyber threats and help security professionals anticipate and analyze attacks. This framework encompasses seven dimensions: Credibility, Control, Medium, Interactivity, Familiarity, Intended Target, and Evocation. Synthetic media is a broad term that encompasses the artificial manipulation, modification, and production of information, covering a spectrum from audio-video deepfakes to text-based chatbots. Synthetic media provides cyber attackers and scammers with a game-changing advantage over traditional ROSE attacks because they have the potential to convincingly impersonate close associates through text, imagery, voice, and video. This burgeoning threat has yet to be meaningfully addressed through any written treatment on the topic. The book is co-authored by three cyber influence and deception experts who have gained deep knowledge and experience on the topic through diverse, true operational pathways and backgrounds. The diversity and perspectives of the author team makes the content in the book the broadest and deepest treatment of synthetic media attacks available to readers.

  • Agile Systems Engineering with SysML v2 and AI

    • 2nd Edition
    • Bruce Powel Douglass
    • English
    Agile Systems Engineering with SysML v2 and AI, Second Edition presents a practical vision of systems engineering in which requirements, structure, behavior, and analysis are captured as precise engineering data—while still addressing the “big system” concerns of safety, security, reliability, privacy, and performance in an agile context. World-renowned author and speaker Dr. Bruce Powel Douglass shows how agile methods, model-based systems engineering (MBSE), and artificial intelligence (AI), work together to reduce ambiguity, expose defects earlier, and sustain end-to-end traceability from stakeholder intent to verification evidence.This edition goes beyond concepts by providing usable, repeatable workflows for modern programs—covering incremental, agile, and DevSecOps-oriented lifecycles and the concrete process steps and gates that make them executable in practice. Rather than treating modeling as documentation, the book treats SysML v2 as a semantic backbone for capturing requirements, architecture, interfaces, behaviors, constraints, and verification intent in one coherent source of truth.New to this edition is an introduction to SysML v2 and an entire chapter on AI and modern MBSE, showing where AI assistants provide leverage, how to apply quality-control gates to keep outputs trustworthy, and how to integrate AI into real engineering workflows without surrendering correctness. Each chapter includes AI prompt patterns for MBSE—ready-to-use prompt structures for generating SysML v2 model elements, extracting and normalizing requirements from external sources, reconciling terminology, and reviewing models against project rules and acceptance criteria. Throughout, Douglass equips systems engineers with concrete methods to prevent specification defects, improve system quality, and reduce rework—so teams can move faster and build with greater confidence

  • Development of Multi-Agent System Infrastructures

    A Practical Approach
    • 1st Edition
    • Andrei Olaru
    • English
    Development of Multi-Agent Systems Infrastructure: A Practical Approach explores the creation of modular frameworks to support the deployment of real-world software applications utilizing multi-agent systems (MAS). Drawing from the author’s hands-on experience with the FLASH-MAS framework—a Fast Lightweight Agent Shell—the book delves into both theoretical models and practical solutions for MAS implementation. It addresses the complexities of deploying autonomous agents across diverse fields such as manufacturing, robotics, health care, and supply chain management, highlighting the shared challenges developers face when managing distributed, networked, or large-scale agent interactions. The book is organized into three main sections, covering models and languages for MAS, the deployment and interaction between system entities, and practical guidance for implementing robust MAS frameworks. Emphasizing modularity, the author presents adaptable tools and solutions that can be independently utilized for system development and maintenance. Practical issues such as entity lifecycle management, environmental interactions, and system robustness are thoroughly examined, making this resource valuable for both new and experienced MAS developers.

  • Digital Twins

    Core Principles and AI Integration
    • 1st Edition
    • Bedir Tekinerdogan + 1 more
    • English
    Digital Twins: Core Principles and AI Integration offers a structured and up-to-date overview of digital twin technology, combining foundational principles with the rapidly growing role of artificial intelligence (AI). This book introduces the core concepts, modeling approaches, and software and systems engineering foundations needed to design and implement digital twins effectively. It then explores architectural methods, lifecycle management, interoperability, and the alignment between physical systems and their digital representations. A central part of this book focuses on data science and AI-enabled digital twins, demonstrating how machine learning, deep learning, generative AI, and autonomous agents enhance predictive analytics, optimization, anomaly detection, and automated decision-making. Integration with Internet of Things (IoT), cloud–edge infrastructures, big data analytics, and XR technologies further shows how intelligent digital twins evolve into adaptive and interactive systems. Real-world applications from manufacturing, agriculture, food systems, energy, mobility, healthcare, and urban environments illustrate the practical value of AI-driven digital twins. This book concludes with key challenges and future directions, including trustworthy AI, security, data governance, and the scaling of digital twin ecosystems.

  • Pioneering Autonomous Technology: A Deep Dive into Hyper Automation

    • 1st Edition
    • Volume 143
    • English
    Pioneering Autonomous Technology: A Deep Dive into Hyper Automation, Volume 143 in the Advances in Computers series, showcases the transformative role of artificial intelligence, deep learning, and machine learning in creating safer, more efficient, and socially inclusive environments. This volume explores how autonomous technologies are reshaping healthcare, transportation, agriculture, and urban living. Chapters cover important topics such as a Survey on Deep Learning Based Autonomous Medical Diagnosis Models for Chronic Disease Identification, Human-Robot Interaction: Ensuring Safe and Effective Coordination, Blazing Trails: Cutting-Edge Technologies Revolutionizing Forest Fire Screening, Connected Communities: Fostering Social Inclusion and Equity in Smart Cities through IoT Integration, and much more.Additional chapters cover a Preliminary Study of Retinal Biomarkers Detection on Fundus Images for the Diagnosis of Alzheimer’s and Parkinson’s Diseases, Deep Learning Driven Classification of Sweet Lime Leaves: A Superior CNN Approach for Agricultural Automation, Machine Learning in Healthcare: Advancements, Applications, and Challenges, Feature Extraction and Object Recognition in Autonomous Systems, The Future of Autonomous Vehicles: Industry Trends, Technologies, and Challenges, Autonomous Systems: Shaping the Future of Industries and Transportation, and many other topics that will be of interest to readers.

  • Foundations of High-Performance Computing

    A Comprehensive Guide to Systems, Concepts, and Programming
    • 1st Edition
    • Oscar Diez
    • English
    Foundations of High Performance Computing: A Comprehensive Guide to Systems, Concepts, and Programming offers a comprehensive reference on high-performance computing (HPC). Laying the groundwork for the companion text, High-Performance Computing: Applications and Frontiers, this book serves as a comprehensive introduction to the fundamental concepts, systems, and introductory programming techniques. It focuses on infrastructure, programming basics, and practical access to HPC systems, covering the evolution of HPC and offering an architectural overview of HPC systems. In addition, it explores resource management and performance metrics in parallel systems, discussing practical access to HPC and considering the concepts behind distributed and shared memory. Other sections focuses on OpenMP for multithreading, MPI programming, GPU computing, OpenACC, and CUDA, and parallel I/O, data management, filesystems, cloud based HPC, and virtualization. The book concludes with a reference and glossary, equipping the reader with a thorough grounding in the basics of HPC and providing a comprehensive, multidisciplinary guide on the principles and concepts that underpin high performance computing. It is designed for graduate students, early-career professionals, and researchers seeking to build a solid foundation in HPC.

  • Mastering DevOps

    A Cloud Engineering and Data Science Perspective
    • 1st Edition
    • Chinmaya Kumar Dehury + 1 more
    • English
    Mastering DevOps: A Cloud Engineering and Data Science Perspective addresses the challenge of understanding and implementing DevOps in an era of rapid technological advancement where cloud-based infrastructure and data science applications have become integral to many organizations. The book covers the specific requirements of these fields, such as scalability, automation, and managing large-scale data and containerized applications. Content focuses on DevOps principles while integrating core technologies such as cloud computing, microservices, and continuous integration/continuo... delivery (CI/CD). Additionally, the book provides coverage of a DevOps approach tailored to data science by covering recent advancements and explaining their relevance in a DevOps environment. Specific topics cover fundamental principles, including history, planning, and essential tools like Git, introduce the core technologies and architectures that power modern DevOps, such as microservices, cloud computing, and containerization, and focus on the practical implementation of DevOps, exploring key practices like continuous integration, automation, and monitoring. Finally, the book delves into advanced topics and future trends, such as deployment strategies and the extension of DevOps principles to data science and other narrowed-down domains.

  • AI, Blockchain and Social Network on Urban Crisis Management: Leveraging Emerging Technologies for Disaster Response and Resilience in Smart Cities

    • 1st Edition
    • Volume 142
    • English
    AI, Blockchain and Social Network on Urban Crisis Management: Leveraging Emerging Technologies for Disaster Response and Resilience in Smart Cities, Volume 142 in the Advances in Computers series, examines how cutting-edge digital technologies are reshaping disaster preparedness and response. This volume highlights the convergence of artificial intelligence, blockchain, and social network analysis to predict, prevent, and manage urban crises. Chapters explore Nutrient Recovery from Livestock Effluent in a Circular Economy Approach, Leveraging Artificial Intelligence for Deforestation Monitoring and Conservation in the Colombian Amazon, Experimental and Theoretical Investigation of Diffusion in Hydrocarbon-Based Dense Fluids for Enhanced Oil Recovery, and much more.Additional chapters cover Navigating the Complexities: Challenges, Weaknesses, and Hurdles in Integrating AI, Blockchain, and Social Networks for Urban Crisis Management, Educating Europe's Guardians: Ethical AI and Emerging Technologies in Law Enforcement Training for Urban Crisis Management, The Intersection of AI, Blockchain, and Social Networks in Urban Crises Management, Application of Graph Theory in Disaster Management for Efficient Handling and Mobilizing of Resources and Logistics, Analyzing the Role of Social Networks in Urban Crisis Management through Citizen Participation and Smart Technological Deployment, and many more important and timely topics.

  • Mastering Cloud Computing

    Foundations and Applications Programming
    • 2nd Edition
    • Rajkumar Buyya + 4 more
    • English
    Mastering Cloud Computing: Foundations and Applications Programming, Second Edition serves as a comprehensive introduction for readers seeking to develop applications in the ever-evolving world of cloud computing. As technology advances, applications are no longer confined to a single machine but instead operate from virtual servers, accessible globally at any time. This book equips aspiring developers with the essential tools and knowledge to create effective cloud-based applications. Beyond the foundational principles, the book delves into distributed and parallel computing, providing in-depth coverage of virtualization, thread programming, task programming, and map-reduce techniques.It also addresses the development of applications for various cloud architectures, highlighting industrial platforms and critical security considerations. To reinforce learning, the text integrates real-world case studies, practical examples, hands-on exercises, and lab activities throughout, allowing readers to apply concepts directly and build their expertise effectively.

  • Cloud-native Architecture (CNA) and Artificial Intelligence (AI) for the Future of Software Engineering: The Principles, Patterns, Platforms and Practices

    • 1st Edition
    • Volume 141
    • English
    Cloud-native Architecture (CNA) and Artificial Intelligence (AI) for the Future of Software Engineering: The Principles, Patterns, Platforms and Practices, Volume 141 in the Advances in Computers series, explores the convergence of artificial intelligence, machine learning, and modern software engineering practices. Chapters in this new release include Demystifying the Cloud-native Artificial Intelligence (CNAI) Paradigm, Articulating Machine and Deep Learning Models for Next-Generation Software Development, Delineating Artificial Intelligence (AI) and Its Potentials for Automated Software Engineering, Leveraging Machine and Deep Learning (ML/DL) Algorithms towards AI Models for Automating Software Development, and more.Other sections cover Artificial Intelligence (AI) Technologies and Tools for Accelerated Software Development, Demystifying the Agentic AI Paradigm for Accelerated Software Engineering, Detailing AI Techniques and Tools for Software Engineering Acceleration and Automation, Generative AI Tools for Accelerated Software Engineering, Empowering Software Engineering Automation through Explainable AI, and much more.

  • Tcl/Tk

    A Developer's Guide
    • 4th Edition
    • Clif Flynt
    • English
    Tcl/Tk: A Developer's Guide, Fourth Edition is an essential resource for computer professionals, from systems administrators to programmers. It covers new Tcl features, expanded Tcl-OO coverage, web technology using Rivet and SQLite, and AI integration with AWS. The book also delves into Tcl's standard tools, multi-faceted nature, and extensibility, making it ideal for developing GUIs, client/server middleware, and web applications. Readers will quickly learn to code in Tcl and extend its capabilities with the inclusion of numerous code examples and case studies.The updated edition includes over 150 pages on the latest Tcl extensions, proven techniques, and tools for effective programming. Extensive code snippets and online tutorials enhance understanding, while case studies provide practical insights. The book also discusses Tcl's role as the hidden "secret sauce" in commercial applications, highlighting its graphics and control infrastructure. With a vibrant user community and evolving API, Tcl/Tk remains a powerful and versatile programming platform for both beginners and experienced programmers.

  • Engineering Generative AI-Based Software

    • 1st Edition
    • Miroslaw Staroń
    • English
    Engineering Generative-AI Based Software discusses both the process of developing this kind of AI-based software and its architectures, combining theory with practice. Sections review the most relevant models and technologies, detail software engineering practices for such systems, e.g., eliciting functional and non-functional requirements specific to generative AI, explore various architectural styles and tactics for such systems, including different programming platforms, and show how to create robust licensing models. Finally, readers learn how to manage data, both during training and when generating new data, and how to use generated data and user feedback to constantly evolve generative AI-based software.As generative AI software is gaining popularity thanks to such models as GPT-4 or Llama, this is a welcomed resource on the topics explored. With these systems becoming increasingly important, Software Engineering Professionals will need to know how to overcome challenges in incorporating GAI into the products and programs they develop.

  • Consensus

    Fueling Blockchain Innovation and DApp Expansion
    • 1st Edition
    • Ali Ahmadian + 3 more
    • English
    Consensus: Fueling Blockchain Innovation and DApp Expansion explores the complexities of consensus mechanisms in order to shed light on emerging trends, best practices, and real-world applications that can fuel blockchain innovation while encouraging the dissemination of DApps across various industries. Additionally, the book bridges a crucial gap in the literature by providing in-depth insights into the role of consensus mechanisms in shaping the future of blockchain technology and decentralized applications. This book delves into the fundamentals of blockchain technology along with the roles and significance of vital consensus mechanisms, their underlying principles, formal specifications, functional characteristics, architecture, frameworks, and potential across diverse blockchain applications. Moreover, the book meticulously explores classification, performance metrics, and design parameters. It offers a comprehensive comparative analysis of these mechanisms, shedding light on their computational and communication complexity, strengths, weaknesses, and suitability. Additionally, the book delves into future research directions, highlighting emerging trends and areas requiring further investigation. It also addresses the efforts underway to address existing challenges and open issues within the realm of consensus mechanisms, ensuring a comprehensive understanding of the state-of-the-art in this pivotal aspect of blockchain technology. Due to the wide range of availability and evolving new consensus mechanisms, selecting an optimal and suitable consensus for a specific blockchain application is one of the crucial challenges in the development and innovation of blockchain systems. This book has also a discussion on appropriate selection algorithms based on multi-attribute decision-making for specific blockchain systems and DApps development.

  • Quantum Computing

    Principles and Paradigms
    • 1st Edition
    • Rajkumar Buyya + 1 more
    • English
    Quantum Computing: Principles and Paradigms covers a broad range of topics, providing a state-of-the-art and comprehensive reference for the rapid progress in the field of quantum computing and related technologies from major international companies (such as IBM, Google, Intel, Rigetti, Q-Control) and academic researchers. This book appeals to a broad readership, as it covers comprehensive topics in the field of quantum computing, including hardware, software, algorithms, and applications, with chapters written by both academic researchers and industry developers.This book presents readers with the fundamental concepts of quantum computing research, along with the challenges involved in developing practical devices and applications.

  • Python Fast Track

    A Complete Guide to Rapidly Mastering and Applying Python Programming
    • 1st Edition
    • Sanjiban Sekhar Roy + 2 more
    • English
    Python Fast Track: A Complete Guide to Rapidly Mastering and Applying Python Programming adopts a simplified writing style and provides clear explanations to ensure ease of understanding, making it an ideal resource for those new to Python. Starting with the basics, the book covers fundamental concepts such as variables, data types, printing and prompting, lists, dictionaries, tuples, control structure, functions, and object-oriented concepts. The book includes everything you need to understand and apply more advanced programming techniques such as file handling, exception handling, and regex.This great resource is created especially for those who want to apply Python for their research and professional work in scientific computing, data analysis and machine learning, including chapters on NumPy and Pandas, two of the most popular Python application libraries. It demonstrates how to effectively master key applications of Python such as web development, software creation, task automation, and data analysis. The book covers data analysis and machine learning tasks that greatly benefit from Python, thanks to libraries such as TensorFlow and Keras that enable efficient coding.

  • The Convergence of Artificial Intelligence (AI) and 6G Communication Networks: The Needs and Implications

    • 1st Edition
    • Volume 139
    • English
    Advances in Computers, Volume 139 focuses on the convergence of Artificial Intelligence (AI) and 6G communication networks, addressing key advancements and implications across various fields. It explores cybersecurity challenges in 5G networks, solutions for 5G performance evaluation, and the transition to 5G-Advanced. The role of AI in enhancing 6G network performance, resource allocation, and management is discussed alongside the technical foundations of 6G and its ability to power edge AI applications. The volume highlights how 6G will transform industries like logistics through automation and AI-driven decision-making, while also covering strategic management perspectives on AI-driven innovations. Sustainability is a key theme, with discussions on energy-efficient cloud and quantum data centers, as well as the integration of green innovations into AI-6G synergy. The metaverse and its reliance on 5G and 6G for immersive experiences are reviewed, alongside the revolutionary potential of quantum computing in 6G networks. The practical applications of AI, such as a CNN-based model for brain tumor detection using 5G edge cloud, and federated learning for 6G, demonstrate the technology's impact on healthcare and data privacy. Additionally, the volume delves into 6G’s role in enabling next-generation metaverse systems and AI-powered telemedicine, while providing insights into the architecture, communication systems, and industrial use cases of 6G. It concludes by summarizing the advancements, advantages, and challenges of 6G, offering a comprehensive view of its future impact on global connectivity.

  • Quantum Process Algebra

    • 1st Edition
    • Yong Wang
    • English
    Quantum Process Algebra introduces readers to the algebraic properties and laws for quantum computing. The book provides readers with all aspects of algebraic theory for quantum computing, including the basis of semantics and axiomatization for quantum computing. With the assumption of a quantum system, readers will learn to solve the modeling of the three main components in a quantum system: the unitary operator, quantum measurement, and quantum entanglement, with full support of quantum and classical computing in closed systems. Next, the book establishes the relationship between probabilistic quantum bisimilarity and classical probabilistic bisimilarity, including strong probabilistic bisimilarity and weak probabilistic bisimilarity, which makes an axiomatization of quantum processes possible. With this framework, quantum and classical computing mixed processes are unified with the same structured operational semantics. Finally, the book establishes a series of axiomatizations of quantum process algebras. These process algebras support nearly all the main computation properties. Quantum and classical computing in closed quantum systems are unified with the same equational logic and the same structured operational semantics under the framework of ACP-like probabilistic process algebra. This unification means that the mathematics in the book can be used widely for verification of quantum and classical computing mixed systems, for example, most quantum communication protocols. ACP-like axiomatization also inherits the advantages of ACP, for example, and modularity means that it can be extended in an elegant way.

  • Probability for Deep Learning Quantum

    A Many-Sorted Algebra View
    • 1st Edition
    • Charles R. Giardina
    • English
    Probability for Deep Learning Quantum provides readers with the first book to address probabilistic methods in the deep learning environment and the quantum technological area simultaneously, by using a common platform: the Many-Sorted Algebra (MSA) view. While machine learning is created with a foundation of probability, probability is at the heart of quantum physics as well. It is the cornerstone in quantum applications. These applications include quantum measuring, quantum information theory, quantum communication theory, quantum sensing, quantum signal processing, quantum computing, quantum cryptography, and quantum machine learning. Although some of the probabilistic methods differ in machine learning disciplines from those in the quantum technologies, many techniques are very similar.Probability is introduced in the text rigorously, in Komogorov’s vision. It is however, slightly modified by developing the theory in a Many-Sorted Algebra setting. This algebraic construct is also used in showing the shared structures underlying much of both machine learning and quantum theory. Both deep learning and quantum technologies have several probabilistic and stochastic methods in common. These methods are described and illustrated using numerous examples within the text. Concepts in entropy are provided from a Shannon as well as a von-Neumann view. Singular value decomposition is applied in machine learning as a basic tool and presented in the Schmidt decomposition. Besides the in-common methods, Born’s rule as well as positive operator valued measures are described and illustrated, along with quasi-probabilities. Author Charles R. Giardina provides clear and concise explanations, accompanied by insightful and thought-provoking visualizations, to deepen your understanding and enable you to apply the concepts to real-world scenarios.

  • Soft Computing in Smart Manufacturing and Materials

    • 1st Edition
    • Sudan Jha + 4 more
    • English
    Soft Computing in Smart Manufacturing and Materials explains the role of soft computing in the manufacturing industries. It presents the techniques, concepts and design principles behind smart soft computing, and describes how they can be applied in the development and manufacture of smart materials. It provides perspectives for design and commissioning of intelligent applications, including in health care, agriculture, and production assembly, and reviews the latest intelligent technologies and algorithms related to the methodologies of monitoring and mitigation of sustainable engineering.

  • Programming Language Pragmatics

    • 5th Edition
    • Michael Scott + 1 more
    • English
    Programming Language Pragmatics is the most comprehensive programming language textbook available today, with nearly 1000 pages of content in the book, plus hundreds more pages of reference materials and ancillaries online. Michael Scott takes theperspective that language design and language implementation are tightly interconnected, and that neither can be fully understood in isolation. In an approachable, readable style, he discusses more than 50 languages in the context of understanding how code isinterpreted or compiled, providing an organizational framework for learning new languages, regardless of platform. This edition has been thoroughly updated to cover the most recent developments in programming language design and provides both a solid understanding of the most important issues driving software development today

  • Antivirus Engines

    From Methods to Innovations, Design, and Applications
    • 1st Edition
    • Paul A. Gagniuc
    • English
    Antivirus Engines: From Methods to Innovations, Design, and Applications offers an in-depth exploration of the core techniques employed in modern antivirus software. It provides a thorough technical analysis of detection methods, algorithms, and integration strategies essential for the development and enhancement of antivirus solutions. The examples provided are written in Python, showcasing foundational, native implementations of key concepts, allowing readers to gain practical experience with the underlying mechanisms of antivirus technology.The text covers a wide array of scanning techniques, including heuristic and smart scanners, hexadecimal inspection, and cryptographic hash functions such as MD5 and SHA for file integrity verification. These implementations highlight the crucial role of various scanning engines, from signature-based detection to more advanced models like behavioral analysis and heuristic algorithms. Each chapter provides clear technical examples, demonstrating the integration of modules and methods required for a comprehensive antivirus system, addressing both common and evolving threats.Beyond simple virus detection, the content illustrates how polymorphic malware, ransomware, and state-sponsored attacks are tackled using multi-layered approaches. Through these examples, students, researchers, and security professionals gain practical insight into the operation of antivirus engines, enhancing their ability to design or improve security solutions in a rapidly changing threat environment.

  • High Performance Computing

    Modern Systems and Practices
    • 2nd Edition
    • Thomas Sterling + 2 more
    • English
    Performance Computing: Modern Systems and Practices is a fully comprehensive and easily accessible treatment of high performance computing, covering fundamental concepts and essential knowledge while also providing key skills training. With this book, students will begin their careers with an understanding of possible directions for future research and development in HPC, domain scientists will learn how to use supercomputers as a key tool in their quest for new knowledge, and practicing engineers will discover how supercomputers can employ HPC systems and methods to the design and simulation of innovative products.This new edition has been fully updated, and has been reorganized and restructured to improve accessibility for undergraduate students while also adding trending content such as machine learning and a new chapter on CUDA.

  • Truly Concurrent Process Algebra With Localities

    • 1st Edition
    • Yong Wang
    • English
    Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in truly concurrent process algebras, such as Calculus for True Concurrency (CTC), which is a generalization of CCS for true concurrency, Algebra of Parallelism for True Concurrency (APTC), which is a generalization of ACP for true concurrency, and Π Calculus for True Concurrency (Π). Together, these approaches capture the so-called true concurrency based on truly concurrent bisimilarities, such as pomset bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and hereditary history-preserving (hhp-) bisimilarity.This book provides readers with all aspects of algebraic theory for localities, including the basis of semantics, calculi for static localities, axiomatization for static localities, as well as calculi for dynamic localities and axiomatization for dynamic localities.

  • CUDA Fortran for Scientists and Engineers

    Best Practices for Efficient CUDA Fortran Programming
    • 2nd Edition
    • Gregory Ruetsch + 1 more
    • English
    CUDA Fortran for Scientists and Engineers: Best Practices for Efficient CUDA Fortran Programming shows how high-performance application developers can leverage the power of GPUs using Fortran, the familiar language of scientific computing and supercomputer performance benchmarking. The authors presume no prior parallel computing experience, and cover the basics along with best practices for efficient GPU computing using CUDA Fortran. In order to add CUDA Fortran to existing Fortran codes, they explain how to understand the target GPU architecture, identify computationally-inte... parts of the code, and modify the code to manage the data and parallelism and optimize performance – all in Fortran, without having to rewrite in another language.Each concept is illustrated with actual examples so you can immediately evaluate the performance of your code in comparison.This second edition provides much needed updates on how to efficiently program GPUs in CUDA Fortran. It can be used either as a tutorial on GPU programming in CUDA Fortran as well as a reference text.

  • API Design for C++

    • 2nd Edition
    • Martin Reddy
    • English
    API Design for C++, Second Edition provides a comprehensive discussion of Application Programming Interface (API) development, from initial design through implementation, testing, documentation, release, versioning, maintenance, and deprecation. It is the only book that teaches the strategies of C++ API development, including interface design, versioning, scripting, and plug-in extensibility. Drawing from the author's experience on large scale, collaborative software projects, the text offers practical techniques of API design that produce robust code for the long-term. It presents patterns and practices that provide real value to individual developers as well as organizations.The Second Edition includes all new material fully updated for the latest versions of C++, including a new chapter on concurrency and multithreading, as well as a new chapter discussing how Objective C++ and C++ code can co-exist and how a C++ API can be accessed from Swift programs. In addition, it explores often overlooked issues, both technical and non-technical, contributing to successful design decisions that produce high quality, robust, and long-lived APIs. It focuses on various API styles and patterns that will allow you to produce elegant and durable libraries. A discussion on testing strategies concentrates on automated API testing techniques rather than attempting to include end-user application testing techniques such as GUI testing, system testing, or manual testing.

  • Theory of Structured Parallel Programming

    • 1st Edition
    • Yong Wang
    • English
    Theory of Structured Parallel Programming is a comprehensive guide to structured parallel programming corresponding to traditional structured sequential programming. The book provides readers with comprehensive coverage of theoretical foundations of structured parallel programming, including analyses of parallelism and concurrency, truly concurrent process algebras, building block-based structured parallel programming, modelling and verification of parallel programming language, modelling and verification of parallel programming patterns, as well as modeling and verification of distributed systems.There have been always two ways to approach parallel computing: one is the structured way, and the other is the graph-based (true concurrent) way. The structured way is often based on the interleaving semantics, such as process algebra CCS. Since the parallelism in interleaving semantics is not a fundamental computational pattern (the parallel operator can be replaced by alternative composition and sequential composition), the parallel operator often does not occur as an explicit operator, such as in the mainstream programming languages C, C++, Java, et al.

  • Artificial Intelligence and Machine Learning for Open-world Novelty

    • 1st Edition
    • Volume 134
    • English
    Artificial Intelligence and Machine Learning for Open-world Novelty, Volume 134 in the Advances in Computers series presents innovations in computer hardware, software, theory, design and applications, with this updated volume including new chapters on AI and Machine Learning for Real-world problems, Graph Neural Network for learning complex problems, Adaptive Software platform architecture for Aerial Vehicle Safety Levels in real-world applications, OODA Loop for Learning Open-world Novelty Problems, Privacy-Aware Crowd Counting Methods for Real-World Environment, AI and Machine Learning for 3D Computer Vision Applications in Open-world, and PIM Hardware accelerators for real-world problems.Other sections cover Irregular Situations in Real-World Intelligent Systems, Offline Reinforcement Learning Methods for Real-world Problems, Addressing Uncertainty Challenges for Autonomous Driving in Real-World Environments, and more.

  • Internet of Things: Architectures for Enhanced Living Environments

    • 1st Edition
    • Volume 133
    • Goncalo Marques
    • English
    Internet of Things: Architectures for Enhanced Living Environments, Volume 133 presents interesting chapters on a variety of timely topics, including Explainable Artificial Intelligence for Enhanced Living Environments: A Study on User Perspective, Human behavioral anomaly pattern mining within an IoT environment: an exploratory study, Indoor Activity Localization Technologies for Assisted Living: Opportunities, Challenges, and Future Directions, Smart Indoor Air Quality Monitoring for Enhanced Living Environments and Ambient Assisted Living, Usability evaluation for the IoT use in Enhanced Living Environments, Roadmap to the elderly enhanced living and care environments: applications and challenges on the Internet of Things domain, and much more.

  • Handbook of Truly Concurrent Process Algebra

    • 1st Edition
    • Yong Wang
    • English
    Handbook of Truly Concurrent Process Algebra provides readers with a detailed and in-depth explanation of the algebra used for concurrent computing. This complete handbook is divided into five Parts: Algebraic Theory for Reversible Computing, Probabilistic Process Algebra for True Concurrency, Actors – A Process Algebra-Based Approach, Secure Process Algebra, and Verification of Patterns. The author demonstrates actor models which are captured using the following characteristics: Concurrency, Asynchrony, Uniqueness, Concentration, Communication Dependency, Abstraction, and Persistence. Every pattern is detailed according to a regular format to be understood and utilized easily, which includes introduction to a pattern and its verifications.Patter... of the vertical domains are also provided, including the domains of networked objects and resource management. To help readers develop and implement the software patterns scientifically, the pattern languages are also presented.

  • Embedded Systems

    ARM Programming and Optimization
    • 2nd Edition
    • Jason D. Bakos
    • English
    Embedded Systems: ARM Programming and Optimization, Second Edition combines an exploration of the ARM architecture with an examination of the facilities offered by the Linux operating system to explain how various features of program design can influence processor performance. The book demonstrates methods by which a programmer can optimize program code in a way that does not impact its behavior but instead improves its performance. Several applications, including image transformations, fractal generation, image convolution, computer vision tasks, and now machine learning are used to describe and demonstrate these methods. From this, the reader will gain insight into computer architecture and application design, as well as practical knowledge in embedded software design for modern embedded systems. The second edition has been expanded to include more topics of interest to upper level undergraduate courses in embedded systems.

  • Perspective of DNA Computing in Computer Science

    • 1st Edition
    • Volume 129
    • English
    DNA or Deoxyribonucleic Acid computing is an emerging branch of computing that uses DNA sequence, biochemistry, and hardware for encoding genetic information in computers. Here, information is represented by using the four genetic alphabets or DNA bases, namely A (Adenine), G (Guanine), C (Cytosine), and T (Thymine), instead of the binary representation (1 and 0) used by traditional computers. This is achieved because short DNA molecules of any arbitrary sequence of A, G, C, and T can be synthesized to order. DNA computing is mainly popular for three reasons: (i) speed (ii) minimal storage requirements, and (iii) minimal power requirements. There are many applications of DNA computing in the field of computer science. Nowadays, DNA computing is widely used in cryptography for achieving a strong security technique, so that unauthorized users are unable to retrieve the original data content. In DNA-based encryption, data are encrypted by using DNA bases (A, T, G, and C) instead of 0 and 1. As four DNA bases are used in the encryption process, DNA computing supports more randomness and makes it more complex for attackers or malicious users to hack the data. DNA computing is also used for data storage because a large number of data items can be stored inside the condensed volume. One gram of DNA holds approx DNA bases or approx 700 TB. However, it takes approx 233 hard disks to store the same data on 3 TB hard disks, and the weight of all these hard disks can be approx 151 kilos. In a cloud environment, the Data Owner (DO) stores their confidential encrypted data outside of their own domain, which attracts many attackers and hackers. DNA computing can be one of the best solutions to protect the data of a cloud server. Here, the DO can use DNA bases to encrypt the data by generating a long DNA sequence. Another application of DNA computing is in Wireless Sensor Network (WSN). Many researchers are trying to improve the security of WSN by using DNA computing. Here, DNA cryptography is used along with Secure Socket Layer (SSL) that supports a secure medium to exchange information. However, recent research shows some limitations of DNA computing. One of the critical issues is that DNA cryptography does not have a strong mathematical background like other cryptographic systems. This edited book is being planned to bring forth all the information of DNA computing. Along with the research gaps in the currently available books/literature, this edited book presents many applications of DNA computing in the fields of computer science. Moreover, research challenges and future work directions in DNA computing are also provided in this edited book.

  • Principles of Big Graph: In-depth Insight

    • 1st Edition
    • Volume 128
    • English
    Principles of Big Graph: In-depth Insight, Volume 128 in the Advances in Computer series, highlights new advances in the field with this new volume presenting interesting chapters on a variety of topics, including CESDAM: Centered subgraph data matrix for large graph representation, Bivariate, cluster and suitability analysis of NoSQL Solutions for big graph applications, An empirical investigation on Big Graph using deep learning, Analyzing correlation between quality and accuracy of graph clustering, geneBF: Filtering protein-coded gene graph data using bloom filter, Processing large graphs with an alternative representation, MapReduce based convolutional graph neural networks: A comprehensive review. Fast exact triangle counting in large graphs using SIMD acceleration, A comprehensive investigation on attack graphs, Qubit representation of a binary tree and its operations in quantum computation, Modified ML-KNN: Role of similarity measures and nearest neighbor configuration in multi label text classification on big social network graph data, Big graph based online learning through social networks, Community detection in large-scale real-world networks, Power rank: An interactive web page ranking algorithm, GA based energy efficient modelling of a wireless sensor network, The major challenges of big graph and their solutions: A review, and An investigation on socio-cyber crime graph.

  • Engineering a Compiler

    • 3rd Edition
    • Keith D. Cooper + 1 more
    • English
    *Textbook and Academic Authors Association (TAA) Textbook Excellence Award Winner, 2024*Engineering a Compiler, Third Edition covers the latest developments in compiler technology, with new chapters focusing on semantic elaboration (the problems that arise in generating code from the ad-hoc syntax-directed translation schemes in a generated parser), on runtime support for naming and addressability, and on code shape for expressions, assignments and control-structures. Leading educators and researchers, Keith Cooper and Linda Torczon, have revised this popular text with a fresh approach to learning important techniques for constructing a modern compiler, combining basic principles with pragmatic insights from their own experience building state-of-the-art compilers.

  • Programming Massively Parallel Processors

    A Hands-on Approach
    • 4th Edition
    • Wen-mei W. Hwu + 2 more
    • English
    Programming Massively Parallel Processors: A Hands-on Approach shows both students and professionals alike the basic concepts of parallel programming and GPU architecture. Concise, intuitive, and practical, it is based on years of road-testing in the authors' own parallel computing courses. Various techniques for constructing and optimizing parallel programs are explored in detail, while case studies demonstrate the development process, which begins with computational thinking and ends with effective and efficient parallel programs. The new edition includes updated coverage of CUDA, including the newer libraries such as CuDNN. New chapters on frequently used parallel patterns have been added, and case studies have been updated to reflect current industry practices.

  • MATLAB Programming for Biomedical Engineers and Scientists

    • 2nd Edition
    • Andrew P. King + 1 more
    • English
    MATLAB Programming for Biomedical Engineers and Scientists, Second Edition provides an easy-to-learn introduction to the fundamentals of computer programming in MATLAB. The book explains the principles of good programming practice, while also demonstrating how to write efficient and robust code that analyzes and visualizes biomedical data. Aimed at the biomedical engineering student, biomedical scientist and medical researcher with little or no computer programming experience, this is an excellent resource for learning the principles and practice of computer programming using MATLAB. The book enables the reader to analyze problems and apply structured design methods to produce elegant, efficient and well-structured program designs, implement a structured program design in MATLAB, write code that makes good use of MATLAB programming features, including control structures, functions and advanced data types, and much more.

  • MATLAB

    A Practical Introduction to Programming and Problem Solving
    • 6th Edition
    • Dorothy C. Attaway
    • English
    MATLAB: A Practical Introduction to Programming and Problem Solving, winner of TAA’s 2017 Textbook Excellence Award ("Texty"), guides the reader through both programming and built-in functions to easily exploit MATLAB’s extensive capabilities for tackling engineering and scientific problems. Assuming no knowledge of programming, this book starts with programming concepts, such as variables, assignments, and selection statements, moves on to loops, and then solves problems using both the programming concept and the power of MATLAB. The sixth edition has been updated to reflect the functionality of the current version of MATLAB (R2021a), including the introduction of machine learning concepts and the Machine Learning Toolbox, and new sections on data formats and data scrubbing.

  • Cloud Computing

    Theory and Practice
    • 3rd Edition
    • Dan C. Marinescu
    • English
    Cloud Computing: Theory and Practice, Third Edition provides students and IT professionals with an in-depth analysis of the cloud from the ground up. After an introduction to network-centric computing and network-centric content, the book reviews basic concepts of concurrency and parallel and distributed systems, presents critical components of the cloud ecosystem as cloud service providers, cloud access, cloud data storage, and cloud hardware and software, covers cloud applications and cloud security, and presents research topics in cloud computing. Specific topics covered include resource virtualization, resource management and scheduling, and advanced topics like the impact of scale on efficiency, cloud scheduling subject to deadlines, alternative cloud architectures, and vehicular clouds. An included glossary covers terms grouped in several categories, from general to services, virtualization, desirable attributes and security.

  • Multicore and GPU Programming

    An Integrated Approach
    • 2nd Edition
    • Gerassimos Barlas
    • English
    Multicore and GPU Programming: An Integrated Approach, Second Edition offers broad coverage of key parallel computing tools, essential for multi-core CPU programming and many-core "massively parallel" computing. Using threads, OpenMP, MPI, CUDA and other state-of-the-art tools, the book teaches the design and development of software capable of taking advantage of modern computing platforms that incorporate CPUs, GPUs and other accelerators. Presenting material refined over more than two decades of teaching parallel computing, author Gerassimos Barlas minimizes the challenge of transitioning from sequential programming to mastering parallel platforms with multiple examples, extensive case studies, and full source code. By using this book, readers will better understand how to develop programs that run over distributed memory machines using MPI, create multi-threaded applications with either libraries or directives, write optimized applications that balance the workload between available computing resources, and profile and debug programs targeting parallel machines.

  • An Introduction to Parallel Programming

    • 2nd Edition
    • Peter Pacheco + 1 more
    • English
    An Introduction to Parallel Programming, Second Edition presents a tried-and-true tutorial approach that shows students how to develop effective parallel programs with MPI, Pthreads and OpenMP.As the first undergraduate text to directly address compiling and running parallel programs on multi-core and cluster architecture, this second edition carries forward its clear explanations for designing, debugging and evaluating the performance of distributed and shared-memory programs while adding coverage of accelerators via new content on GPU programming and heterogeneous programming. New and improved user-friendly exercises teach students how to compile, run and modify example programs.

  • The Blockchain Technology for Secure and Smart Applications across Industry Verticals

    • 1st Edition
    • Volume 121
    • English
    The Blockchain Technology for Secure and Smart Applications across Industry Verticals, Volume 121, presents the latest information on a type of distributed ledger used for maintaining a permanent and tamper-proof record of transactional data. The book presents a novel compendium of existing and budding Blockchain technologies for various smart applications. Chapters in this new release include the Basics of Blockchain, The Blockchain History, Architecture of Blockchain, Core components of Blockchain, Blockchain 2.0: Smart Contracts, Empowering Digital Twins with Blockchain, Industrial Use Cases at the Cusp of the IoT and Blockchain Paradigms, Blockchain Components and Concepts, Digital Signatures, Accumulators, Financial Systems, and more. This book is a unique effort to illuminate various techniques to represent, improve and authorize multi-institutional and multidisciplinary research in a different type of smart applications, like the financial system, smart grid, transportation system, etc. Readers in identity-privacy, traceability, immutability, transparency, auditability, and security will find it to be a valuable resource.

  • The Art of Multiprocessor Programming

    • 2nd Edition
    • Maurice Herlihy + 3 more
    • English
    The Art of Multiprocessor Programming, Second Edition, provides users with an authoritative guide to multicore programming. This updated edition introduces higher level software development skills relative to those needed for efficient single-core programming, and includes comprehensive coverage of the new principles, algorithms, and tools necessary for effective multiprocessor programming. The book is an ideal resource for students and professionals alike who will benefit from its thorough coverage of key multiprocessor programming issues.

  • Durable Phase-Change Memory Architectures

    • 1st Edition
    • Volume 118
    • English
    Advances in Computers, Volume 118, the latest volume in this innovative series published since 1960, presents detailed coverage of new advancements in computer hardware, software, theory, design and applications. Chapters in this updated release include Introduction to non-volatile memory technologies, The emerging phase-change memory, Phase-change memory architectures, Inter-line level schemes for handling hard errors in PCMs, Handling hard errors in PCMs by using intra-line level schemes, and Addressing issues with MLC Phase-change Memory.

  • The Digital Twin Paradigm for Smarter Systems and Environments: The Industry Use Cases

    • 1st Edition
    • Volume 117
    • English
    The Digital Twin Paradigm for Smarter Systems and Environments: The Industry Use Cases, Volume 117, the latest volume in the Advances in Computers series, presents detailed coverage of new advancements in computer hardware, software, theory, design and applications. Chapters vividly illustrate how the emerging discipline of digital twin is strategically contributing to various digital transformation initiatives. Specific chapters cover Demystifying the Digital Twin Paradigm, Digital Twin Technology for "Smarter Manufacturing", The Fog Computing/ Edge Computing to leverage Digital Twin, The industry use cases for the Digital Twin idea, Enabling Digital Twin at the Edge, The Industrial Internet of Things (IIOT), and much more.

  • Certifiable Software Applications 4

    Upward Cycle
    • 1st Edition
    • Jean-Louis Boulanger
    • English
    Certifiable Software Applications 4: Upward Cycle presents the upward phase of development of a software application cycle, including test aspects for each unit level and the integration and validation of associated environments. Each check is explained through examples (checklist, scheduling policy, metric, etc.), and the book examines the fault analysis process that must accompany the production of the final version of the software plug.

  • B Method

    • 1st Edition
    • Jean-Louis Boulanger
    • English
    B Method presents the language needed, semantics and methodologies required to use the method on real projects. The B method is one of the well known formal methods used in railway systems safety going back to 1998 that has been deployed on many projects.

  • Advances in Computers

    • 1st Edition
    • Volume 112
    • English
    Advances in Computers, Volume 112, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Mobile Application Quality Assurance, Advances in Combinatorial Testing, Advances in Applications of Object Constraint Language for Software Engineering, Advances in Techniques for Test Prioritization, Data Warehouse Testing, Mutation Testing Advances: An Analysis and Survey, Event-Based Concurrency: Applications, Abstractions, and Analyses, and A Taxonomy of Software Integrity Protection Techniques.

  • Certifiable Software Applications 3

    Downward Cycle
    • 1st Edition
    • Jean-Louis Boulanger
    • English
    Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding, and important concepts on modeling and implementation. For coding, code generation and/or manual code production strategies are explored. As applications are coded, a presentation of programming languages and their impact on certifiability is included.

Related subjects