Free Downloads: Missing Formal Parameter
Coq is a formal proof management system.
Coq is a Formal proof management system. It provides a Formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Typical applications include the formalization of programming languages semantics, the formalization of mathematics and teaching.
Category: Business & Finance / Business Finance
Publisher: Coq Development Team, License: Freeware, Price: USD $0.00, File Size: 53.8 MB
Platform: Windows
XCSB is an optimising Structured PIC BASIC compiler capable of stand alone use or in conjunction with the ZMech CASE tool and XCSIM multiprocessor simulator (which provides source level debug facilities)
Optimised generation of actual parameters used in function invokation based on user defined Formal Parameter list (known as function prototype in C language). Some...
Category: Software Development / Compilers & Interpreters
Publisher: Sergio Masci, License: Freeware, Price: USD $0.00, File Size: 94.4 KB
Platform: Windows
Murata Chip S-Parameter & Impedance Library enables you to calculate, view and print graphs of the impedance and S Parameter data for chip capacitors or chip inductors. S Parameter data in Touchstone format can also be copied.
Main features:
- Easy operation due to using Windows interface.
- Fast calculation of data and graphs for the S...
Category: Business & Finance / Applications
Publisher: Murata Manufacturing. Co., Ltd., License: Freeware, Price: USD $0.00, File Size: 3.3 MB
Platform: Windows
DrivePM (Drive Parameter Manager) is a PC tool that helps you create, open, view, edit and copy Parameter sets of the AC drives. The supported drives are ACS150, ACS310, ACS320, ACS350, ACS355, ACS550 and ACH550. DrivePM transfers the Parameter sets to be modified from the FlashDrop device to the PC. These Parameter sets are modified on the PC and transferred to the...
Category: Multimedia & Design / Multimedia App's
Publisher: ABB Group, License: Freeware, Price: USD $0.00, File Size: 4.6 MB
Platform: Windows
The ease of use is such that even for the professionals and not particularly technical experts will be able to offer its customers a complete and accurate calculation report also from the Formal point of view. Very detailed and technical analysis of financial position that provides an economic understandable to the customer less prepared on the financial front.
Category: Business & Finance / Business Finance
Publisher: Evolvente s.r.l., License: Demo, Price: USD $0.00, File Size: 25.4 MB
Platform: Windows
A hydrogeology-based parameter estimation program for groundwater flow model.
A hydrogeology-based Parameter estimation program for groundwater flow model.
MODAC is a Parameter estimation package for groundwater flow model calibration. It couples the widely used three-dimensional groundwater flow model MODFLOW (1996 version) and the inverse hydraulic Parameter estimation procedures developed by Guo and Zhang (1994, 2000).
Category: Home & Education / Science
Publisher: Guo and Zhang, License: Freeware, Price: USD $0.00, File Size: 3.0 MB
Platform: Windows
Qunetix SD is a software deployment platform for heterogeneous networks, allowing you to install or update software on your network systems without Formal training. Using an automated and managed process, Qunetix SD manages the packaging, testing and depl
Category: Utilities / Network
Publisher: emperex.com, License: Freeware, Price: USD $0.00, File Size: 210.0 MB
Platform: Windows, Linux, Unix
Showcasing a variety of work attire specifically for a wide range of industries, this screensaver features the Formal and stylish designs of S and H Work Uniforms. Believing in presenting a look of professionalism, S and H Work Uniforms are not only attractive and contemporary, but they are also are comfortable and durable.
Category: Desktop Enhancements / Screensavers
Publisher: S and H Work Uniforms, License: Freeware, Price: USD $0.00, File Size: 1.0 MB
Platform: Windows
This program can be used for revoicing, changing parameter values, transposing etc.
This program can be used for revoicing, changing Parameter values, transposing etc. style files.
This will adjust the style to match the keyboard capabilities, e.g. using only valid voices.
Many style files available at web sites have internal errors. This is especially true for converted style files.
Some versions of EMC Style Works even produce style files with wrong...
Category: Audio / Music Creation
Publisher: Sun Microsystems, Inc., License: Freeware, Price: USD $0.00, File Size: 525.1 KB
Platform: Windows
Designed with a straightforward timeline organization, the J&L Retirement Planner and the Professional version are both well-suited to accountants serving clients who are not yet engaged in Formal financial planning for wealth accumulation and distribution. Their low cost - and the free updates and upgrades included in the price - make either one an excellent choice for accountants...
Category: Business & Finance / Business Finance
Publisher: J&L Software, License: Shareware, Price: USD $49.95, File Size: 1.6 MB
Platform: Windows
CADS Analyse3D is inexpensive, entry level structural analysis package that can do 2D and 3D analysis, can be learned in hours without Formal training and isn't cluttered with functionality you'll never use! Developed for engineers by engineers CADS Analyse3D makes full use of the windows functionality with tool tips, attractive rendered colour graphics, cut and paste members...
Category: Multimedia & Design / Image Editing
Publisher: Computer and Design Services Ltd, License: Shareware, Price: USD $0.00, File Size: 0
Platform: Windows
The ACARS Dispatch Client is the Dispatch end of a complete system that can be used for both Formal and free-format message and file exchange between simulated airplanes and ground stations. It is easy to install and easy to manipulate. It is really a very helpful tool.
Category: Utilities / Misc. Utilities
Publisher: Jeroen Hoppenbrouwers, License: Freeware, Price: USD $0.00, File Size: 1.6 MB
Platform: Windows
The “1” button erects a logical one at pin 2 of an LPT-port,
the “2” button sets high level at pin 3 and so on.
The program can be launched with several command line parameters.
The /LPTn Parameter defines used LPT-port (/LPT1 , /LPT2 or /LPT3). LPT1 is used by default.
The /LPTxNNNN Parameter defines LPT-port...
Category: Internet / Tools & Utilities
Publisher: DXsoft group, License: Freeware, Price: USD $0.00, File Size: 462.7 KB
Platform: Windows
DescriptionA suite of project management applications designed to support Formal project management on small or large projects. This suite is compatible with PRINCE II and therefore can be used to support project management of IT, construction and other types of projects. Application ContentsThe applications that are included in this package are listed below: Project Issue Management...
Category: Business & Finance / Project Management
Publisher: CM Services Limited, License: Shareware, Price: USD $50.00, File Size: 4.2 MB
Platform: Windows
ToneTester is a Macintosh application that tests hearing. Specifically, it looks for offsets in how each of a person's ears hears pitch (the Formal term for this is "binaural diplacusis" or "interaural pitch difference"). To use it, you adjust a slider until your ears hear the same pitch, and then ToneTester tells you the actual pitch difference.
Category: Audio
Publisher: Suitable Systems, License: Freeware, Price: USD $0.00, File Size: 188.7 KB
Platform: Mac
This program can be used for revoicing, changing parameter values, transposing etc.
This program can be used for revoicing, changing Parameter values, transposing etc. MIDI files.
This program will read settings (voices, volume, pan, reverb, chorus) from the first initial measure of the MIDI file only. Any revoicing or other Parameter changing here after will be ignored.
This program is based on the code to the "Revoice Style"...
Category: Audio / Utilities & Plug-Ins
Publisher: Sun Microsystems, Inc., License: Freeware, Price: USD $0.00, File Size: 524.2 KB
Platform: Windows
Locate Missing People Using Your PC - Missing Person Resources & Search Tool.
Locate Missing People Using Your PC - Missing Person Resources & Search Tool. Whether it's a friend, family member or someone else you need to find, this detective software makes it possible. Access millions of public records, government databases, birth records, marriage records, divorce records, court records, property records, phone records, email records, SSN records and...
Category: Internet / Tools & Utilities
Publisher: YourSpyingEyes.com, License: Shareware, Price: USD $29.99, File Size: 484.0 KB
Platform: Windows,
AssayZap is a universal assay calculator for RIA, ELISA, IRMA, colorimetric or any other type of assay. Counts of up to 2^31 can be handled. Standard curves can be fitted by 2-Parameter, 4-Parameter or 4-Parameter weighted fit, or by the unique interactive manual fit which permits all standard curves to be fitted, whatever their shape.
Category: Business & Finance / Calculators
Publisher: Biosoft, License: Shareware, Price: USD $300.00, File Size: 1.1 MB
Platform: Windows
Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step. It is geared for those involved in engineering fields, more precisely digital and Formal logic scholars and academics, digital devices constructors or anybody involved with logical expressions. With its powerful minimization capabilities and full-fledged features,...
Category: Business & Finance / Applications
Publisher: Vikhetan Appa, License: Shareware, Price: USD $22.95, File Size: 6.9 MB
Platform: Windows
CheckAsm is an assembly dependency viewer.
CheckAsm is an assembly dependency viewer. It shows all .NET assembly references of any .NET assembly. This means you can always find what references are incorrect, which assemblies are Missing, and why your application can not start. Start the application and select menu File-Open or use assembly name as a command line Parameter. Dragging an assembly into the application's...
Category: Software Development / Visual Basic Runtime Files
Publisher: bATDUCK, License: Freeware, Price: USD $0.00, File Size: 841.6 KB
Platform: Windows
Precise software sine signal generator/source.
Precise software sine signal generator/source. Exhaustive Parameter control: unlimited editing, accurate sliders, frequency and phase tweaking, double/half frequency. Real-time. Musical notes. Parameter presets. Timer. Well-done UI. Open source code.
Category: Audio / Utilities & Plug-Ins
Publisher: eCat, License: Freeware, Price: USD $0.00, File Size: 273.0 KB
Platform: Windows
BehaviorSearch is a software tool to help with automating the exploration of agent-based models (ABMs), by using genetic algorithms and other heuristic techniques to search the Parameter-space.
BehaviorSearch interfaces with the popular NetLogo ABM development platform, to provide a low-threshold way to search for combinations of model Parameter settings that will...
Category: Multimedia & Design / Multimedia App's
Publisher: Forrest Stonedahl, License: Freeware, Price: USD $0.00, File Size: 2.9 MB
Platform: Windows
This tool will help you to insert some URL into another as Parameter. Inserted URL must be Encoded! It`s very useful for web designers. For example: You should to insert: www.hard-soft.co.yu/action.php?affiliate=kostunica&country=dembelija&future=dark as URL Parameter into following link: www.download4you.com/do.php?print=y&confirm=y&anything=n&url=... Result is:...
Category: Software Development
Publisher: Hard - Soft, License: Shareware, Price: USD $2.95, File Size: 313.0 KB
Platform: Windows
CloseApp is a small command-line tool that allows you to close all the processes whose executable filename matches the one passed as a Parameter. Alternatively, you can pass a DLL filename as a Parameter to close all processes using that library. Run closeapp.exe from a Command Prompt to learn more about its syntax.
Category: Utilities
Publisher: Noel DANJOU, License: Freeware, Price: USD $0.00, File Size: 62.8 KB
Platform: Windows
A world-renowned scientist has gone missing under hazy circumstances!
A world-renowned scientist has gone Missing under hazy circumstances! Help his daughter to find him, and keep his powerful formula out of the hands of evil!
Players have to find the Missing scientist and save the world in this fabulous yuletide adventure,Take on new Christmas quests and locate special gifts,Solve bewildering puzzles and uncover clues to get on the trail and...
Category: Games / Adventure & RPG
Publisher: iWin Inc., License: Shareware, Price: USD $6.99, File Size: 3.6 MB
Platform: Windows