| INKA_Inductive_Theorem_Prover First-order theorem prover with induction based on the explicit induction paradigm. It is based on a full first-order calculus, a special variant of the resolution calculus with paramodulation. |
| Which_Directories Explains the role directories can play in website promotion, how to choose and submit your website. Includes lists of general and niche directories with their PageRank and other details as appropriate |
| Agile_Software_Development Growing article, with links to many related topics. [Wikipedia] |
| RFC_0322 Well Known Socket Numbers. V. Cerf, J. Postel. March 1972. |
| RFC_2337 Intra-LIS IP Multicast among Routers over ATM Using Sparse Mode PIM. D. Farinacci, D. Meyer, Y. Rekhter. April 1998. |
| 1776,_Inc_ Provides and supports server redundancy solutions for high availability, fault tolerance and disaster recovery with on-line system backup and on-line maintenance for major Unix platforms. |
| Am_11_Media Online product and training presentations for the health care industry. |
| GlassHouse_Technologies,_Inc_ Provides services that help organizations solve the business problems of enterprise storage. From strategy through deployment and support, GlassHouse partners with clients to transform storage into a |
| HVAC-Talk Software bulletin board for HVAC contractors, home-owners, do-it-yourself enthusiasts to use for heating and air conditioning concerns. |
| Ceol_Mor_Software_Ltd_ [Win] Drag and drop bagpipe and drum score writing software. Suitable for beginners and advanced users. |
| Digirez_Room_Booking_and_Reservation DIGIREZ is an ASP application that allows managing facility reservations through the web site. Designed for clubs, universities or libraries where facilities need to be reserved in advance. |
| RFC_2638 A Two-Bit Differentiated Services Architecture for the Internet. K. Nichols, V. Jacobson, L. Zhang. July 1999. |
| Iris_-_CineGraphics A quick easy free utility for creating a variety of seamless textures maps. Create thousands of textures by combining fractal noise, waves, horizontal and radial offsets and color gradients. Creates p |
| Fortran_77_Diagram_Graphical_GOTO_Plotter Flowcharting utility. |
| Nash,_Eric_--West_Coast_Digital Web design firm creating and maintaining visually innovative sites for individuals, organizations and companies. |
| etLux\'s_Free_JavaScript_Archive A well-organized collection of free JavaScript scripts, tips, mini-tutorials. |
| OTeX Plain TeX macros for automatic referencing, equation and theorem numbering, figures, and indexing, and other typesetting tasks. Flexible enough to handle cross referencing for books. By Peter Olver. |
| Star_Web_Services Offers web design, maintenance, and consulting. Located in Livingston, Montana. |
| Visual_Web_Task Web crawler that parses HTML tags and extracts data and files. It creates spiders for any download and extraction need. |
| Mountain_Microsystems Provides Auto Appraiser 2000 for independent claims adjusters and appraisers who specialize in automobile claims. |
Push-Button Publishing