Has many how-to articles, and much other TRS-80 related information.

Continued Support for Tandy/Radio Shack Model 100, 102, 200, WP2 -&- NEC PC8201A Computer Owners Since 1983

Product Information - Specification, price, and release date information for the Model A, Model B, and Model B+.

A student's 1/48 scale model of an IBM System/370 Model 138 computer system, complete with 3800-1 laser printer. Pictures and the story behind it.

Includes an overview, technical specification, and a photograph.

Overview, technical details, and photograph.

The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.

HTML version of the original BBC Microcomputer user guide.

Provides guidelines and metrics for localization quality. The documentation and templates help clients and their service providers implement a synchronized QA system at multiple production sites. All registered users are published by LISA to familiarize more localizers with the model and to increase networking. The result of localization professionals working together to influence the industry with standards, tools and quality procedures. The original guidelines are updated to include the Japanese, Korean, and Chinese markets, along with revised templates.

Advanced stock market software with charting, market timing, swing trading support, portfolio picking, on NYSE, NASDAQ and major world markets for Windows.