Skip to main content
Elsevier
View Cart
Your Account

Books in Software

BooksJournals

Certifiable Software Applications 4

  • 1st Edition
  • December 1, 2019
  • 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
  • June 1, 2019
  • 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
  • January 8, 2019
  • Atif Memon
  • English
  • Hardback
    9 7 8 - 0 - 1 2 - 8 1 5 1 2 1 - 1
  • eBook
    9 7 8 - 0 - 1 2 - 8 1 5 1 2 2 - 8
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

  • 1st Edition
  • September 3, 2018
  • Jean-Louis Boulanger
  • English
  • Hardback
    9 7 8 - 1 - 7 8 5 4 8 - 1 1 9 - 2
  • eBook
    9 7 8 - 0 - 0 8 - 1 0 1 1 6 3 - 8
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.

Blockchain Technology: Platforms, Tools and Use Cases

  • 1st Edition
  • Volume 111
  • August 21, 2018
  • Pethuru Raj + 1 more
  • English
  • Hardback
    9 7 8 - 0 - 1 2 - 8 1 3 8 5 2 - 6
  • eBook
    9 7 8 - 0 - 1 2 - 8 1 3 8 8 4 - 7
Blockchain Technology: Platforms, Tools and Use Cases, Volume 111, 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 their subjects in greater depth and breadth than journal articles usually allow. This volume has 8 Chapters that discuss the various aspects of Blockchain technology.

Dark Silicon and Future On-chip Systems

  • 1st Edition
  • Volume 110
  • July 26, 2018
  • Suyel Namasudra + 1 more
  • English
  • Hardback
    9 7 8 - 0 - 1 2 - 8 1 5 3 5 8 - 1
  • eBook
    9 7 8 - 0 - 1 2 - 8 1 5 3 5 9 - 8
Dark Silicon and the Future of On-chip Systems, Volume 110, 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, with this release focusing on an Introduction to dark silicon and future processors, a Revisiting of processor allocation and application mapping in future CMPs in the dark silicon era, Multi-objectivism in the dark silicon age, Dark silicon aware resource management for many-core systems, Dynamic power management for dark silicon multi-core processors, Topology specialization for networks-on-chip in the dark silicon era, and Emerging SRAM-based FPGA architectures.

MATLAB

  • 5th Edition
  • July 11, 2018
  • Dorothy C. Attaway
  • English
  • eBook
    9 7 8 - 0 - 1 2 - 8 1 6 3 4 5 - 0
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 fifth edition has been updated to reflect the functionality of the current version of MATLAB (R2018a), including the addition of local functions in scripts, the new string type, coverage of recently introduced functions to import data from web sites, and updates to the Live Editor and App Designer.

A Deep Dive into NoSQL Databases: The Use Cases and Applications

  • 1st Edition
  • Volume 109
  • April 20, 2018
  • Pethuru Raj + 1 more
  • English
  • Hardback
    9 7 8 - 0 - 1 2 - 8 1 3 7 8 6 - 4
  • eBook
    9 7 8 - 0 - 1 2 - 8 1 3 7 8 7 - 1
A Deep Dive into NoSQL Databases: The Use Cases and Applications, Volume 109, the latest release in the Advances in Computers series first published in 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. This update includes sections on NoSQL and NewSQL databases for big data analytics and distributed computing, NewSQL databases and scalable in-memory analytics, NoSQL web crawler application, NoSQL Security, a Comparative Study of different In-Memory (No/New)SQL Databases, NoSQL Hands On-4 NoSQLs, the Hadoop Ecosystem, and more.

Advances in Computers

  • 1st Edition
  • Volume 108
  • February 14, 2018
  • Atif Memon
  • English
  • Hardback
    9 7 8 - 0 - 1 2 - 8 1 5 1 1 9 - 8
  • eBook
    9 7 8 - 0 - 1 2 - 8 1 5 1 2 0 - 4
Advances in Computers, Volume 108, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. This book provides contributors with a medium in which they can explore subjects in greater depth and breadth than similar topics in journal articles allow.

High Performance Computing

  • 1st Edition
  • December 5, 2017
  • Thomas Sterling + 2 more
  • English
  • eBook
    9 7 8 - 0 - 1 2 - 4 2 0 2 1 5 - 3
High 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, domain scientists will learn how to use supercomputers as a key tool in their quest for new knowledge. In addition, practicing engineers will discover how supercomputers can employ HPC systems and methods to the design and simulation of innovative products, and students will begin their careers with an understanding of possible directions for future research and development in HPC. Those who maintain and administer commodity clusters will find this textbook provides essential coverage of not only what HPC systems do, but how they are used.

Related subjects

Object oriented technologies

Operating systems

Parallel and distributed computing

Programming languages

Programming techniques

Software engineering

Software general

Symbolic and algebraic manipulation