Skip to main content
Elsevier

Books in Programming techniques

  • 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

  • Formal Verification

    An Essential Toolkit for Modern VLSI Design
    • 1st Edition
    • Erik Seligman + 2 more
    • English

  • GPU-based Parallel Implementation of Swarm Intelligence Algorithms

    • 1st Edition
    • Ying Tan
    • English

  • Virtual Machines

    Versatile Platforms for Systems and Processes
    • 1st Edition
    • Ravi Nair + 1 more
    • English

  • Programming Massively Parallel Processors

    A Hands-on Approach
    • 3rd Edition
    • Wen-mei W. Hwu + 1 more
    • English

  • Advances in Computers

    • 1st Edition
    • Volume 101
    • English

  • Microsoft Outlook 2007 Programming

    Jumpstart for Power Users and Administrators
    • 1st Edition
    • Sue Mosher
    • English

  • Certifiable Software Applications 3

    Downward Cycle
    • 1st Edition
    • Jean-Louis Boulanger
    • English

  • Intel Xeon Phi Processor High Performance Programming

    Knights Landing Edition
    • 2nd Edition
    • James Reinders + 2 more
    • English

  • Object-Oriented Programming under Windows

    • 1st Edition
    • Stephen Morris
    • English

  • Agent-based Spatial Simulation with NetLogo, Volume 2

    Advanced Concepts
    • 1st Edition
    • Nicolas Marilleau + 2 more
    • English

  • Tcl/Tk

    A Developer's Guide
    • 3rd Edition
    • Clif Flynt
    • English

  • Programming, The Impossible Challenge

    • 1st Edition
    • B. Walraet
    • English

  • From COBOL to OOP

    • 1st Edition
    • Markus Knasmüller
    • English

  • Google Hacking for Penetration Testers

    • 3rd Edition
    • Justin Brown + 2 more
    • English

  • Adaptive User Interfaces

    • 1st Edition
    • Dermot Browne
    • English

  • Psychology of Programming

    • 1st Edition
    • J.-M. Hoc
    • English

  • Programming Language Pragmatics

    • 3rd Edition
    • Michael Scott
    • English

  • Towards Verified Systems

    • 1st Edition
    • Volume 2
    • J. Bowen
    • English

  • Embedded Systems

    ARM Programming and Optimization
    • 2nd Edition
    • Jason D. Bakos
    • English

  • Matlab

    A Practical Introduction to Programming and Problem Solving
    • 3rd Edition
    • Dorothy C. Attaway
    • English

  • Joe Celko's Thinking in Sets: Auxiliary, Temporal, and Virtual Tables in SQL

    • 1st Edition
    • Joe Celko
    • English

  • Practical IDL Programming

    • 1st Edition
    • Liam E. Gumley
    • English

  • Foundations of Deductive Databases and Logic Programming

    • 1st Edition
    • Jack Minker
    • English

  • Protocol Specification, Testing and Verification, XII

    Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992
    • 1st Edition
    • Volume 8
    • M.Ü. Uyar + 1 more
    • English

  • Computer Programming and Architecture

    The Vax
    • 2nd Edition
    • Richard Eckhouse + 1 more
    • English

  • Graphics Gems V (Macintosh Version)

    • 1st Edition
    • Alan W. Paeth
    • English

  • Mastering DevOps

    A Cloud Engineering and Data Science Perspective
    • 1st Edition
    • Chinmaya Kumar Dehury + 1 more
    • English

  • Programming Massively Parallel Processors

    A Hands-on Approach
    • 4th Edition
    • David B. Kirk + 2 more
    • English

  • Antivirus Engines

    From Methods to Innovations, Design, and Applications
    • 1st Edition
    • Paul A. Gagniuc
    • English

  • Advances in Computers

    • 1st Edition
    • Volume 98
    • English

  • High Performance Parallelism Pearls Volume Two

    Multicore and Many-core Programming Approaches
    • 1st Edition
    • James Reinders + 1 more
    • English

  • An Introduction to Parallel Programming

    • 1st Edition
    • Peter Pacheco
    • English

  • Digital Guide To Developing International Software

    • 1st Edition
    • Grou
    • English

  • The Digital Technical Documentation Handbook

    • 1st Edition
    • Susan K. Schultz + 3 more
    • English

  • Practical Model-Based Testing

    A Tools Approach
    • 1st Edition
    • Mark Utting + 1 more
    • English

  • GPU Programming in MATLAB

    • 1st Edition
    • Nikolaos Ploskas + 1 more
    • English

  • Managing Trade-offs in Adaptable Software Architectures

    • 1st Edition
    • John Grundy + 4 more
    • English

  • Practical Parallel Programming

    • 1st Edition
    • Barr E. Bauer
    • English

  • Cache and Memory Hierarchy Design

    A Performance Directed Approach
    • 1st Edition
    • Steven A. Przybylski
    • English

  • Full-Stack Web Development from the Ground Up

    Principles, Practices, and Technologies
    • 1st Edition
    • Christopher D. Hundhausen
    • English
    Web development is one of the most highly sought after skills in the software industrytoday. Full-Stack Web Development From the Ground Up: Principles, Practices, andTechnologies presents a systematic and modern treatment of this core area of softwaredevelopment, starting with the fundamentals of front-end development using HTML, CSS,and JavaScript; moving to front-end development with React; and culminating in server-sidedevelopme... using Express.js, Node.js, and MongoDB.Using the widely adopted MERN stack (MongoDB, Express.js, React.js, and Node.js), thisundergraduate textbook explores full-stack web development through the step-bystepconstruct... of a pedagogical version of SpeedScore (see https://speedscore.o... asophisticated full-stack web application that supports the international speedgolf community.The book’s emphasis is not on specific web development technologies, but rather on theunderlying concepts, principles, and best practices of web development. This approach laysa solid foundation for students to become proficient web developers who can adapt to therapidly changing landscape of web development technologies.

  • Mastering Java Full Stack Development

    From Spring Boot to ReactJS
    • 1st Edition
    • Usharani Bhimavarapu
    • English
    Mastering Java Full Stack Development: From Spring Boot to ReactJS is an essential handbook for building robust, scalable, and future-ready enterprise applications using today’s most in-demand technologies. Written for full-stack developers, software engineers stepping into enterprise systems, as well as students preparing for real-world architecture challenges, this comprehensive guide walks readers through every layer of modern application design—from Spring Boot and Hibernate to Node. js and ReactJS, and from secure RESTful application programming interfaces to microservices and cloud-native deployment. Structured for progressive learning, this 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. This book offers a unified, full-stack view of enterprise application development, integrating back-end, front-end, 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. It also addresses the growing interest and practical implementation challenges associated with applying the most current development methodologies to Java software engineering environments, offering a deep dive into foundational concepts, the challenges faced in real-world applications, and potential future developments. Java remains an integral programming language in modern web-based software development, which enables smoother collaboration, faster deployment, and improved quality of software products. This book is written for full-stack developers and Java back-end developers who want to expand into front-end technologies, as well as front-end developers looking to master enterprise-level back-end development.

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

  • Topological UML Modeling

    An Improved Approach for Domain Modeling and Software Development
    • 1st Edition
    • Janis Osis + 1 more
    • English
    Topological UML Modeling: An Improved Approach for Domain Modeling and Software Development presents a specification for Topological UML® that combines the formalism of the Topological Functioning Model (TFM) mathematical topology with a specified software analysis and design method. The analysis of problem domain and design of desired solutions within software development processes has a major impact on the achieved result – developed software. While there are many tools and different techniques to create detailed specifications of the solution, the proper analysis of problem domain functioning is ignored or covered insufficiently. The design of object-oriented software has been led for many years by the Unified Modeling Language (UML®), an approved industry standard modeling notation for visualizing, specifying, constructing, and documenting the artifacts of a software-intensive system, and this comprehensive book shines new light on the many advances in the field.

  • Creativity in Computing and DataFlow SuperComputing

    • 1st Edition
    • Volume 104
    • English
    Creativity in Computing and DataFlow Supercomputing, the latest release in the Advances in Computers 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 topics in greater depth and breadth than journal articles typically allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.

  • Advanced Persistent Security

    A Cyberwarfare Approach to Implementing Adaptive Enterprise Protection, Detection, and Reaction Strategies
    • 1st Edition
    • Ira Winkler + 1 more
    • English
    Advanced Persistent Security covers secure network design and implementation, including authentication, authorization, data and access integrity, network monitoring, and risk assessment. Using such recent high profile cases as Target, Sony, and Home Depot, the book explores information security risks, identifies the common threats organizations face, and presents tactics on how to prioritize the right countermeasures. The book discusses concepts such as malignant versus malicious threats, adversary mentality, motivation, the economics of cybercrime, the criminal infrastructure, dark webs, and the criminals organizations currently face.

  • Advances in GPU Research and Practice

    • 1st Edition
    • Hamid Sarbazi-Azad
    • English
    Advances in GPU Research and Practice focuses on research and practices in GPU based systems. The topics treated cover a range of issues, ranging from hardware and architectural issues, to high level issues, such as application systems, parallel programming, middleware, and power and energy issues. Divided into six parts, this edited volume provides the latest research on GPU computing. Part I: Architectural Solutions focuses on the architectural topics that improve on performance of GPUs, Part II: System Software discusses OS, compilers, libraries, programming environment, languages, and paradigms that are proposed and analyzed to help and support GPU programmers. Part III: Power and Reliability Issues covers different aspects of energy, power, and reliability concerns in GPUs. Part IV: Performance Analysis illustrates mathematical and analytical techniques to predict different performance metrics in GPUs. Part V: Algorithms presents how to design efficient algorithms and analyze their complexity for GPUs. Part VI: Applications and Related Topics provides use cases and examples of how GPUs are used across many sectors.

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

  • Advances in Computers

    • 1st Edition
    • Volume 102
    • English
    Advances in Computers, an ongoing series since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided 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 and continue to be of significant, lasting value in this rapidly expanding field.

  • Foundations of Quantum Programming

    • 1st Edition
    • Mingsheng Ying
    • English
    Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exploit the unique power of quantum computers, which promise dramatic advantages in processing speed over currently available computer systems. Governments and industries around the globe are now investing vast amounts of money with the expectation of building practical quantum computers. Drawing upon years of experience and research in quantum computing research and using numerous examples and illustrations, Mingsheng Ying has created a very useful reference on quantum programming languages and important tools and techniques required for quantum programming, making the book a valuable resource for academics, researchers, and developers.