Automated Logic Training
Spassgui is a Perl/Tk based Gui for SPASS (An Automated Theorem Prover for First-Order Logic with Equality) by http://spass.mpi-sb.mpg.de .
|License: Freeware||Size: 20.48 KB||Download (18): spassgui Download|
Screen savers have been shown to be 4-5 times as effective at ensuring that people retain information than any other methods of learning. They repeatedly, passively, feed the user with information in a way that is pleasant and conducive to remembering.
Training takes place as each person goes...
|License: Freeware||Size: 1.28 MB||Download (97): Training Screensaver Download|
A logic game.
The game has got two modes: a single mode (a computer places and hides chesspieces for you) and a network mode. In last one you can play with somebody else through a net, by placing your chesspieces for your opponent and guessing his variants. The winner's who will guess...
|License: Freeware||Size: 243 KB||Download (89): Logic Download|
InstallShield Training Note discusses the differences between the InstallScript, Basic MSI, and InstallScript MSI project types in InstallShield.
InstallShield makes Windows installation development a lot easier. It's the best installation development platform out there. One of my...
|License: Freeware||Size: 759 KB||Download (667): InstallShield Training Download|
Automated support for compound RPC calls is a project which augments RPCGEN to support NFSv4-style compound procedures. NFSv4 specifies that the RPC calls be batched into a "compound" call. There is no support for this in RPCGEN. By rearranging the ONC IDL for NFSv4 into AutoGen definitions,...
|License: Freeware||Size: 22.53 KB||Download (86): Automated support for compound RPC calls Download|
Jameleon project is an automated testing framework that can be used by technical and non-technical users alike. One of the main concepts behind it is to create a group of keywords or tags that represent different screens of an application. All of the logic required to automate each particular...
|License: Freeware||Size: 3.8 MB||Download (82): Jameleon Download|
Automated Linux From Scratch (ALFS) is a project that creates the generic framework for an extendable system builder and package installer. Why would I want to use ALFS? After having gone through the LFS and BLFS books more than 2 or 3 times, you will quickly appreciate the ability to...
|License: Freeware||Size: 153.6 KB||Download (86): Automated Linux From Scratch Download|
Math::Logic::Predicate is a Perl module to manage and query a predicate assertion database. SYNOPSIS use Math::Logic::Predicate; $db = new Math::Logic::Predicate; # Enter some predicates into the database $db->add(<
|License: Freeware||Size: 17.41 KB||Download (76): Math::Logic::Predicate Download|
Math::Logic is a Perl module that provides pure 2, 3 or multi-value logic. SYNOPSIS use Math::Logic qw( $TRUE $FALSE $UNDEF $STR_TRUE $STR_FALSE $STR_UNDEF ) ; # 1 0 -1 TRUE FALSE UNDEF use Math::Logic :NUM ; # $TRUE $FALSE $UNDEF -- what you normally want use Math::Logic :ALL ; # All...
|License: Freeware||Size: 12.29 KB||Download (86): Math::Logic Download|
MANAGEMENT-WARE AUTOMATED TWEET
Is an easy to use auto tweet adder software. Like Facebook,and Linkedin.Twitter is a great way to contact new people and expand your network with individuals that you have never met in "real life" or on the Internet. With our automated tweet adder application...
|License: Freeware||Size: 2.84 MB||Download (96): Automated Tweet Free Edition Download|
Logic game, explosive mix of match-three and *tris-like games. Logic games do not let your brain waste away; they provide excellent training of your logical thinking. These games are addictive, fun, and not boring. Download free logic games and enjoy the game without restrictions! Download and...
Platforms: Windows, Windows 8, Windows 7, Windows Server
|License: Freeware||Size: 17.7 MB||Download (87): Color Bricks Download|
The most important features of this product is the Step-Sequencer Emulation in Logic using the Matrix Editor combined with new EXS24 Step-Sequenzer Sounds and Sliced Drum Kits. In a limited key range you will find muted notes for each 1/16-segment. You can de-mute the notes intuitive and quickly...
|License: Freeware||Size: 11 MB||Download (107): Apple Logic 'Hypnotic Stepz' for Mac OS Download|
Solve logic problems on your computer or print them out for solving in your easy chair. Use a fill in chart or traditional solving chart to enter your answers. You can also get hints, restart the puzzle, check you answers or see the entire solution. The shareware version comes with five puzzles,...
|License: Freeware||Size: 2.95 MB||Download (58): Logic Puzzles Download|
Triathlon Training Diary is a small, handy application specially designed to offer you a diary for triathlon and endurance sports for planing and tracking sport activities.
It includes calendar and exercise views, heartrate-graphs, filters, graphical analysis and easy handling
|License: Freeware||Download (55): Triathlon Training Diary Download|
A training tool for your computer that works with your compatible Garmin fitness device. With GTC, you can analyze and store workout data from your Garmin device on your computer, as well as plan and save future workouts. GTC is included when you purchase a compatible Garmin fitness device.
|License: Freeware||Size: 69.4 MB||Download (32): Garmin Training Center for Mac OS Download|
This small application plays the role of a virtual coach as it assists the user in high intensity interval training
- User maintained database of exercises
- Custom timed workouts
- Custom workout soundtracks via iTunes integration
- Spoken workout directions
|License: Freeware||Size: 501.76 KB||Download (59): High Intensity Interval Training Coach for Mac OS Download|
Public Speaking Training toolbar for Internet Explorer and Firefox, get instant updates on all the best public speaking training blog posts, plus weather, your favorite radio channel, and more!
|License: Freeware||Size: 1.25 MB||Download (28): Public Speaking Training Download|
The PHP on Windows Training Kit provides a comprehensive set of technical content including demos and hands-on labs to help you understand how to build PHP applications using Windows, IIS 7 and SQL Server 2008.
This release includes the following:
PHP & SQL Server Demos :
Platforms: Windows, 2008, 7
|License: Freeware||Download (32): PHP on Windows Training Kit Download|
This Windows Phone 7 Training Kit will give you a jumpstart into the new Windows Phone world by providing you with a step-by-step explanation of the tools to use and some key concepts for programming Windows Phones.
Windows Phone 7 Series promises to be an amazing mobile phone operating system...
Platforms: Windows, Windows Vista, 7, 7x64
|License: Freeware||Download (30): Windows Phone 7 Training Kit for Developers Download|
The Azure Services Training Kit provides a comprehensive set of technical content including hands-on labs, presentations, and demos that are designed to help you learn how to use the Windows Azure platform including: Windows Azure, SQL Azure and AppFabric. The December release includes new and...
Platforms: Windows, 7
|License: Freeware||Download (32): Windows Azure Platform Training Kit Download|