Systems software

System software: an introduction to systems programming

Leland L. Beck.

The architecture of computer hardware and systems software: an information technology approach

Irv Englander.

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

Natural Computing in Computational Finance

edited by Anthony Brabazon, Michael O’Neill, Dietmar G. Maringer

Software for Dependable Systems: Sufficient Evidence?

Computer Science and Telecommunications Board, Lynette I. Millett, Committee on Certifiably Dependable Software Systems, Division on Engineering and Physical Sciences, National Research Council

Introduction to reconfigurable supercomputing

Marco Lanzagorta, Stephen Bique, Robert Rosenberg

Optimal Mobile Sensing and Actuation Policies in Cyber-Physical Systems

YangQuan Chen, Christophe Tricaud

SAS/GRAPH software: graphics editor.

SAS Institute

Assurances for Self-Adaptive Systems: Principles, Models, and Techniques

Javier Cámara, Antonia Lopes, Rogério de Lemos, Carlo Ghezzi

ACM SIGDOC '86, the Fifth International Conference on Systems Documentation: proceedings, 8-11 June 1986, University of Toronto

Association for Computing Machinery, Special Interest Group on Systems Documentation, Cornell University Computing Services ; edited by Virginia DeBuys.