Computer programming & software development books

76539 books were found.

The SETL Project Master Catalog. A Comprehensive Listing of Reports, Working Papers, and Computer Readable Document and Program Files Pertaining to Work at NYU on the SETL Set-theoretic Programming Language

The SETL Project Master Catalog. A Comprehensive Listing...

Author: Robert Abes
ISBN: 9781024174625
Format: Hardback
$71.15

""The SETL Project Master Catalog"" is a comprehensive listing of reports, working papers, and computer-readable...  Read More >>

Calibration and Validation of the Cocomo II.1997.0 Cost/Schedulee Estimating Model to the Space and Missile Systems Center Database

Calibration and Validation of the Cocomo II.1997.0 Cost/Schedulee...

Author: Wayne A Bernheisel
ISBN: 9781025094151
Format: Hardback
$81.71

The pressure to decrease costs within the Department of Defense has influenced the start of many cost estimating...  Read More >>

Tool-Based Integration and Code Generation of Object Models

Tool-Based Integration and Code Generation of Object...

Author: Michael Ray Ashby
ISBN: 9781025135830
Format: Hardback
$81.71

Today many organizations are faced with multiple large legacy data stores in different formats and the need to use...  Read More >>

Mitigating Reversing Vulnerabilities in .NET Applications Using Virtualized Software Protection

Mitigating Reversing Vulnerabilities in .NET Applications...

Author: Matthew A Zimmerman
ISBN: 9781025093444
Format: Hardback
$79.07

Protecting intellectual property contained in application source code and preventing tampering with application...  Read More >>

Cobol Reengineering Using the Parameter Based Object Identification Methodology

Cobol Reengineering Using the Parameter Based Object...

Author: Sonia De Jesus Rodrigues
ISBN: 9781025134697
Format: Hardback
$81.71

This research focuses on how to reengineer Cobol legacy systems into object-oriented systems using Sward's Parameter...  Read More >>

Validation and Verification of Formal Specifications in Object-Oriented Software Engineering

Validation and Verification of Formal Specifications...

Author: Steven A Thomson
ISBN: 9781025095967
Format: Hardback
$86.99

The use of formal specifications allows for a software system to be defined with stringent mathematical semantics...  Read More >>

Solving the Multidimensional Multiple Knapsack Problem With Packing Constraints Using Tabu Search

Solving the Multidimensional Multiple Knapsack Problem...

Author: Jonathan M Romaine
ISBN: 9781025123967
Format: Hardback
$81.71

This paper presents a methodology for solving military aircraft load- scheduling problems modeled as a multidimensional...  Read More >>

Android Protection System

Android Protection System

Author: Jonathan D Stueckle
ISBN: 9781025090283
Format: Hardback
$79.07

This research develops the Android Protection System (APS), a hardware-implemented application security mechanism...  Read More >>

The Generalizability of Private Sector Research on Software Project Management in Two USAF Organizations

The Generalizability of Private Sector Research on Software...

Author: Michael R Garman
ISBN: 9781025111599
Format: Hardback
$79.07

Project managers typically set three success criteria for their projects: meet specifications, be on time, and be...  Read More >>

Knowledge Base Support for Design and Synthesis of Multi-Agent Systems

Knowledge Base Support for Design and Synthesis of Multi-Agent...

Author: Marc J Raphael
ISBN: 9781025110264
Format: Hardback
$81.71

Agent Tool is an AFIT-produced, AFOSR-sponsored multi-agent system (MAS) development tool intended for production...  Read More >>

On Graph Isomorphism and the Pagerank Algorithm

On Graph Isomorphism and the Pagerank Algorithm

Author: Christopher J Augeri
ISBN: 9781025131870
Format: Hardback
$84.35

Graphs express relationships among objects, such as the radio connectivity among nodes in unmanned vehicle swarms....  Read More >>

Roadblocks to Software Modernization

Roadblocks to Software Modernization

Author: Dyan E McClamma
ISBN: 9781025111230
Format: Hardback
$81.71

Failed or troubled modernization efforts, such as the multi-million dollar 1997-2000 ROCC/SOCC failure, are a serious...  Read More >>

On a Parallel Implementation of Geometric Hashing on the Connection Machine

On a Parallel Implementation of Geometric Hashing on...

Author: Isidore Rigoutsos ,  R A Hummel
ISBN: 9781024200256
Format: Hardback
$71.15

This work explores a parallel implementation of geometric hashing on the Connection Machine. It delves into the...  Read More >>

An Excel-Based Surveillance Planning and Scoring Tool for the Scud Hunting Mission

An Excel-Based Surveillance Planning and Scoring Tool...

Author: Robert T Hassler
ISBN: 9781025123950
Format: Hardback
$79.07

The research effort presented here is focused on the development of a basic mathematical model to simulate multiple...  Read More >>

An Evaluation of GeoBEST Contingency Beddown Planning Software Using the Technology Acceptance Model

An Evaluation of GeoBEST Contingency Beddown Planning...

Author: Shawn J Jensen
ISBN: 9781025123738
Format: Hardback
$84.35

GeoBEST (Base Engineer Survey Toolkit) is a software program built under contract with the USAF. It is designed...  Read More >>

Secureqemu

Secureqemu

Author: William B Kimball
ISBN: 9781025128344
Format: Hardback
$81.71

This research presents an original emulation-based software protection scheme providing protection from reverse...  Read More >>

Evaluation of the Effects of Predicted Associativity on the Reliability and Performance of Mobile Ad Hoc Networks

Evaluation of the Effects of Predicted Associativity...

Author: Esteban Francisco Sanchez
ISBN: 9781025134451
Format: Hardback
$81.71

Routing in Mobile Ad Hoc Networks (MANETs) presents unique challenges not encountered in conventional networks....  Read More >>

Dynamic Protocol Reverse Engineering

Dynamic Protocol Reverse Engineering

Author: Mark E DeYoung
ISBN: 9781025114446
Format: Hardback
$84.35

Round trip engineering of software from source code and reverse engineering of software from binary files have both...  Read More >>

Evaluation of the Ad Hoc On-Demand Distance Vector Routing Protocol for Mobile Ad Hoc Networks

Evaluation of the Ad Hoc On-Demand Distance Vector Routing...

Author: Amber J Rickmon
ISBN: 9781025097169
Format: Hardback
$79.07

Routing protocols designed for wired networks cannot be used in mobile ad hoc networks (MANETs) due to the dynamic...  Read More >>

The Future of JavaScript: Coding Interactive Websites: A Beginner's Guide to JavaScript

The Future of JavaScript: Coding Interactive Websites:...

Author: Olivia Davis
ISBN: 9798349363412
Format: Paperback
$52.77

Your indispensable friend in helping you to grasp the fundamental language of contemporary web development is The...  Read More >>

Automated Analysis of ARM Binaries Using the Low-Level Virtual Machine Compiler Framework

Automated Analysis of ARM Binaries Using the Low-Level...

Author: Jeffrey B Scott
ISBN: 9781025112268
Format: Hardback
$81.71

Binary program analysis is a critical capability for offensive and defensive operations in Cyberspace. However,...  Read More >>

The Automatic Identification of Text During the Disassembly of Binary Machine Language

The Automatic Identification of Text During the Disassembly...

Author: Michael F Jarrells
ISBN: 9781025114873
Format: Hardback
$79.07

The goal of the research presented was to find a way to effectively identify text data and instructions in a machine...  Read More >>

Software Domain Model Integration Methodology for Formal Specifications

Software Domain Model Integration Methodology for Formal...

Author: Joel C Nonnweiler
ISBN: 9781025102993
Format: Hardback
$84.35

Using formal methods to create automatic code generation systems is one of the goals of Knowledge Based Software...  Read More >>

Generating Executable Persistent Data Storage/Retrieval Code From Object-Oriented Specifications

Generating Executable Persistent Data Storage/Retrieval...

Author: Steven R Buckwalter
ISBN: 9781025130125
Format: Hardback
$79.07

This research creates a methodology and corresponding prototype for the transformation of object-oriented (00) specifications...  Read More >>

Evaluation of Personnel Parameters in Software Cost Estimating Models

Evaluation of Personnel Parameters in Software Cost...

Author: Steven L Quick
ISBN: 9781025133867
Format: Hardback
$84.35

Software capabilities have steadily increased over the last half century. The Department of Defense has seized this...  Read More >>

Shopping Cart
Your cart is empty
Shopping cart
Mailing List