Categories
New Listing
  1. Convert Word to HTML 1.5
  2. Sentry-go Plus Windows Server Monitor
  3. ProStockMaster for Linux
  4. LiveProject Team Viewer
  5. AutoDWG DWGLock
  6. LiveProject Project Collaboration
  7. Advance Keyboard Monitoring Software
  8. Recover Data for Microsoft Outlook
  9. XP System Optimizer
  10. WinUtilities EXE Protector
  11. Advanced PC Tweaker
  12. ProStockMaster for Mac Os X
  13. SEO in Practice
  14. Zune Movie Download
  15. PDFOne Java Pro
  16. Medical PowerPoint Templates
  17. Aoao Photo Editor
  18. DEKSI E-mail Security
  19. Automatic Password
  20. Internet Access Controller
Related
  1. Mean Value Theorem
  2. Free Automated
  3. Automated Web Testing
  4. Automated Web Scraper
  5. Automated Ad Management
  6. Automated Macro
  7. Automated Help Desk
  8. Automated Ftp Client
  9. Automated Image Analysis
  10. Automated Code Reviews
Latest News
  1. Software Developer - Seattle Post Intelligencer

    Seattle Post Intelligencer - 11 hours ago
    Overview: The Software Developer is responsible for designing, developing, and maintaining custom software applications. *Software Development on the ...
  2. UPDATE 4-SAP saw sudden drop-off in software sales - Reuters

    Reuters - 9 hours ago
    SAP, the world's biggest maker of software that large and mid-sized companies use to manage their businesses, blamed the financial industry crisis and ...
    MarketWatch
    guardian.co.uk
    Bloomberg
     -
  3. GM Using Technology Enterprise-Wide to Visualize Software ... - MarketWatch

    MarketWatch - 4 hours ago
    Deploying visualization software from iRise and using a rapid prototyping process developed by Capgemini, GM has already implemented a number of business ...
  4. IBM Bluehouse brings buzzwords; boggles brains - Computerworld

    Computerworld, MA - 37 minutes ago
    IBM has now bundled this software along with applications for Web conferencing, instant messaging, document sharing and team management into a single ...
    New York Times
    Register
    InformationWeek
     -
  5. Facebook Co-Founder To Leave For Own Software Startup - InformationWeek

    InformationWeek, NY - 17 hours ago
    Now, he plans to launch a software startup, according to reports on the Valleywag.com Web site. The Silicon Valley publication said that CEO Mark Zuckerberg ...
    Computerworld Australia
    NewsFactor Network
    Siliconrepublic.com
     -
Software DownloadsAutomated Theorem Prover Software
Freeware Downloads:

Automated Theorem Prover

Show:

All

Free

Gudds Desktop 1.0

It features automated changing of Desktop Wallpaper on every startup as well as at regular intervals, which you can always change, random selection of wallpaper, easy customization of wallpapers' list. It supports JPEG/GIF/BMP format pictures. Wallpapers can be tiled, centered or stretched to fill the full screen.

02-Mar-2002
766.0 KB
Freeware
Screenshot
Download
More Info

eNom Domain Grabber 1.13

eNom Domain Grabber does automated registration submissions to the registrar eNom. The user simply has to put what domain names they want to try and "grab" and the software will do the rest! Users can input a start and end time, or select for automated registration submissions to start immediately. All domains are registered in the eNom account specified within the software. Now anyone can get high-class domain names when they expire!...

13-Apr-2003
1.8 MB
Freeware
Download
More Info

Kiwi CatTools 2.2

Free network management and device configuration tools. CatTools is a utility for managing network devices (routers, switches and firewalls). Automated configuration backups, password changes and scripted configuration commands. Supports Cisco, 3Com, Foundry, Extreme, Netscreen and PIX etc. Runs on Windows 98 or later. Can be run as a Windows service or interactive application.

28-Sep-2005
4.0 MB
Freeware
Screenshot
Download
More Info

BugFix 1.11

BigFix is a utility that fixes bugs and cleans viruses before they create problems. Designed to spot configuration conflicts, bugs, or viruses in your computer early, BugFix will provide quick automated solutions for dealing with these problems before they bother you. This version optimizes the information gathering mechanism, and makes it more transparent. It also fixes some minor bugs.

01-Dec-1999
2.0 KB
Freeware
Download
More Info

Wallpaper Changer 1.88

It features JPEG/GIF support, random wallpaper selection,automated changing of wallpaper on every startup, once a day or at regular intervals and icon transparency for your desktop icons. Wallpapers can be tiled, centered or resized to full screen. The program can analyze your picture and determinate the best matching background and the most readable icon caption color for you transparent icons. WPC supports the Windows multiuser environment.

19-Sep-2000
439.0 KB
Freeware
Download
More Info

VNCRobot 1.2.4

VNCRobot is a free tool for automated software testing based on VNC technology which enables to program, verify and reproduce behavior of a remote computer via RFB protocol and generate a comprehensive report.

04-Jul-2006
1.0 MB
Freeware
Screenshot
Download
More Info

Auto Shutdown 2.1

Auto Shutdown is a free utility for automatically shutting down or logging off a computer. Automated shutdown/logoff is achieved in two ways: set the exact time of shutdown or wait for a specific number of days, hours, or minutes before shutting down. The program can be configured for forced shutdown/restart/logoff and also has a poweroff option. A scheduled task can be cancelled at anytime by a simple right-click on the timer. Auto Shutdown...

19-Dec-2001
288.0 KB
Freeware
Screenshot
Download
More Info

Ziata 5.1

The first 'OOD' (object oriented data) database, with core workflow modules. Now with drag & drop, full online help, installation wizard, import wizard, copy to clipboard and more! Complete information management using 'OOD' data objects with data inheritance (we invented OOD); Take integrated telephone messages using the E-MSG! electronic telephone pad with e-mail messages; The E-MSG! electronic telephone pad is the 'front-end' for your core...

20-May-2000
16.0 KB
Freeware
Download
More Info

Rozmic Firewall 1.1

Rozmic Firewall is an automated security service that protects your Internet communications from spam and viruses. It operates at the gateway level, and scans all traffic entering your network. It's automated and supervised by security experts around the clock and around the world. It's like having an IT expert tweaking your network defenses every ten minutes. Rozmic Firewall's e-mail content filter identifies spam by analysing the headers,...

11-Nov-2006
6.7 MB
Freeware
Download
More Info

UWin Installer 3.0.0

Do You Want AUTOMATED Install Or Upgrade Microsoft WINDOWS Operating System On Your Computer With Setup Files. Then UWin Installer (UWI) is what you NEED! UWI Is A Tool For Quick & Easy AUTOMATED Install Or Upgrade Of Microsoft WINDOWS O.S. From Setup Files. UWI works for WINDOWS 98/ME/2000/XP/2003 Operating System Installation/Upgradation. What Can UWI do: - Makes WINDOWS Operating System Installation Quicker By 30% ...

01-Oct-2006
650.8 KB
Freeware
Screenshot
Download
More Info

Kiwi CatTools Service Edition 2

FREE Network Management & Device Configuration Tools. Runs as a Service. CatTools is a utility for managing routers switches & other network devices. Provides automated configuration backups, password changes & scripted configuration commands. Multiple device types supported (Cisco/Foundry/Extreme/HP/3Com). Runs on Windows 2000, 2003, NT4 and XP. Interactive or Service Editions available. Service Edition requires 32-bit Windows (NT/XP/2K/2K3).

06-May-2004
4.1 MB
Freeware
Screenshot
Download
More Info

E-Time 1.0

E-Time by Media Programming Group company is a program for automated system clock correction by means of the Internet. Your system time will be regularly collated with an atomic clock, and your computer clock will always be precise.

16-Dec-2002
209.0 KB
Freeware
Screenshot
Download
More Info

CRChecker 1.03

Automates the process of CRC testing multiple archives. Some of its features include: Automated testing of an unlimited number of archives. Support for .zip, .arj, and .rars. Ability to CRC check entire directories or individual files. Recursively search drives and directories for archives. Error Log reports all files with errors.

03-Apr-1998
2.0 KB
Freeware
Download
More Info

SwizzTool 4.0

SwizzTool allows you to create personal reminders and automated tasks that can play a sound, display a message or launch a program at a specified date/time, weekday or after a countdown has elapsed. From the built in hotkey-editor you can create global hotkeys that can execute programs and alarms, hotkeys can also be set to control the volume among other things. SwizzTool also contains a memo to save notes. From this Memo you can also create...

27-Jun-2005
725.0 KB
Freeware
Screenshot
Download
More Info

LinkXL 1.0

If you ever did linkexchanges with other sites you already know that it is pretty hard to find good sites to exchange links with and keep control under reciprocal links. You have many requests for link exchange that should be processed every day and visit each site to check popularity, you should keep marketing your links directory and visit each site to check popularity and efficiency of incoming and outgoing link. Our system is designed to...

29-Aug-2006
1.6 KB
Freeware
Screenshot
Download
More Info

SecureCentral PatchQuest 4.0

PatchQuest is an automated, patch management software for distributing and managing patches, security hotfixes and updates across heterogeneous networks comprising Windows, Red Hat Linux and Debian Linux systems, in just a few simple clicks. It efficiently scans your enterprise network, identifies missing patches and software updates, distributes patches to vulnerable systems and keeps your systems up-to-date and free from vulnerabilities,...

12-Apr-2005
32.8 MB
Freeware
Screenshot
Download
More Info

UnPacker 1.3.2

UnPacker. A Fully automated extracting tool. This is not a WinRAR or WinZIP replacement but quite a useful util when you want to extract large quantum of archives.The program makes a queue of every rar added to the list and extract them one by one. This way you can peacefully play your games (or sleep) while extracting. It also have optional functions to cleanup (removing archives after extract). New features with eg. zip support.

23-Jul-2005
768.0 KB
Freeware
Screenshot
Download
More Info

ThunderSite Free Web Editor 2.1

ThunderSite« is a software program that allows you to create Internet/Intranet websites quickly and easily. It is suitable for both beginners and advanced users. Since all the complex steps of website creation have been automated, ThunderSite is very easy to use. Create and publish websites in record time. No prior programming knowledge is needed. Several thousands of high-quality Website Templates are available in the ThunderSite Shop.

24-Apr-2005
11.9 MB
Freeware
Screenshot
Download
More Info

Batch Images Now 1.2

Batch Images Now can is an automated batch-imaging editor that allows you to resize, rename and compressing images with a few clicks.áIt can wrap the converted images into a standalone .Exe file, hence you may send to people with convenient.áIt can work with the major image formats, including JPEG, BMP, GIF, TIF, TIFF, PCD, PNG, PSD, JPEG2000, MAC.

28-Feb-2005
5.1 MB
Freeware
Screenshot
Download
More Info

thinBasic 1.0.6.4

thinBasic is a Basic like language interpreter. Its target is to have a scripts text file to be interpreted and executed immediately by a simple double click or by an automated scheduled tasks.More than 500 predefined keywords. All main program flow: If/Then/Else/ElseIf/End If, For/Next, Do [While/Until]/Loop [While/Until], While/Wend, Select/End Select, user defined functions, arrays, modules, much more...

30-Sep-2005
1.9 MB
Freeware
Screenshot
Download
More Info

NomadNews Usenet Newsgroup Newsreader 2.10

Usenet news application that combines the features of a sophisticated news browser with those of a powerful automated news retriever - seamlessly into one intuitive application. A true multi-threaded 32-bit application that spawns up to 8 simultaneous Internet connections (streams) to each news server or newsgroup to download multiple files simultaneously. Now with yEnc support

22-Feb-2006
6.1 MB
Freeware
Download
More Info

RankingCheck 1.1

With RankingCheck it concerns around a helpful Tool to check several search machines automated. At this Time (V 1.0) 8 search engines can be queried and per search machine - 5 SERPs (search engine result pages) can be scanned/examined for the occurance of a domain for a special keyphrase.

06-Oct-2005
2.8 MB
Freeware
Screenshot
Download
More Info

Blog Blaster 1.0

Blog Blaster is an automated tool to submit your blogs to over 12 blog search engines with just one click. Pinging your blogs to the search engines is the fastest way to get the search engine robots to visit your blog and gain increased traffic in a short amount of time. Blog Blaster uses the XML-RPC interface to ping your blogs to the blog search engines. This is the preferred method to submit blogs to the directories. "Ping" is the term...

18-May-2005
550.0 KB
Freeware
Screenshot
Download
More Info

eXactMapper Lite 1.1

Create a professional site map for your Web pages without writing a single line of code. The process is fully automated and is based on the Navigational or directory structure of your website. eXactMapper Lite offers three different and totally customizable HTML/DHTML site map styles, including a UL list, static tree and an index page. You can easily embed a site map into your existing Web page and build a site map.Code generated with DHTML...

27-Jun-2002
1.5 MB
Freeware
Screenshot
Download
More Info

AVirCAP 2.0

Automated CODERED & NIMDA wormtype detection / track and Trace utility. Its a utility that passibly monitors for CODERED and NIMDA typ of attacks. The system feature reports as On-Screen, File, Email, SQL or FTP uploaded CSV''s. Offending hosts can be further investigated by additional reporting tools. The features makes it suitable to cluster the system together with ofther AVIRCAP machines on the network in order to cover multi subnets.

30-Aug-2003
7.0 MB
Freeware
Screenshot
Download
More Info

TERAVoice Server 2004

TERAVoice is a high-performance telephony platform for Windows that can implement any type of telephony application like voicemail, automated attendants, voice menus, waiting queues for call centers and custom IVR applications. TERAVoice can also act as a VoIP (Voice over IP) gateway for bridging calls from PSTN to H.323 terminals and computers for inbound and outbound calls.

15-Jan-2004
82.5 MB
Freeware
Screenshot
Download
More Info

Marker 1.01

Marker just makes it easy to highlight the web, and provides personal notes manager as well. Simple integrates web-life with daily needs. It allows fix personal comments and markup URL by color flag - like a city on the Earth-map. Free, browsers independent, highly automated web surfing tool and personal daily assistant. Allows users to attach and edit comments for web-pages (URLs). Marker will then automatically inform when you visit a...

29-Jan-2000
1.3 MB
Freeware
Download
More Info

SecureCentral PatchQuest Free Edition 4.1

SecureCentral PatchQuest is an automated patch management software for distributing and managing security patches, hotfixes and updates across heterogeneous networks comprising Windows, Red Hat and Debian Linux systems, in just a few simple clicks. It efficiently scans your enterprise network, identifies missing patches and software updates, distributes patches to vulnerable systems and keeps your systems up-to-date.

11-Apr-2005
24.6 MB
Freeware
Screenshot
Download
More Info

AV Defs Updater for F-PROT for DOS 2.1

This product automatically provides updates to the classic F-PROT for DOS antivirus program and notifies you about it. It allows you to perform an automated: * Update of the antivirus definitions of F-PROT for DOS. The update frequency is user-customizable according to preference; * Check for new releases of the antivirus engine and facilitate its installation/update; * Creation of a configurable set of emergency disks (compressed,...

21-Aug-2004
1.1 MB
Freeware
Screenshot
Download
More Info

AdventNet SwisSQL - SQL Server to Oracle Migration Tool 2.0

SwisSQL - SQL Server to Oracle Edition is an Automated Migration tool to convert stored procedures implemented in Microsoft SQL Server Transact SQL into equivalent Oracle PL/SQL code. It automates more than 90% of the Transact SQL code conversion into PL/SQL with very minimal manual intervention. SwisSQL migration tool removes the time consuming, tedious and error prone manual effort involved in typical migration projects and provides great...

23-Dec-2004
10.0 MB
Freeware
Screenshot
Download
More Info

 

© 2001-2008, SoftLandMark
Submit Software Link to us Contact Bookmark RSS Feeds