Mechanical Estimating Books

VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct. If it succeeds, VCC promises that your program actually meets its specifications.... Platforms: Windows

With our huge database being constantly updated, you'll have no trouble searching for comic books by event, author, inker, and more to help you easily manage your collection. Comic Collector Live is designed with the collector in mind. It is the de-facto standard when it comes to pricing, buying,... Platforms: Windows

When you use our Flip programs, you are enabled to design your own style themes with creative ideas for your flip books, and now the Calendar Decoration Flip Theme Package provides you pre-designed themes to help you achieve a decor that will make your books amazing and stunning. The Calendar... Platforms: Windows

Distributed Proofreaders is a website written in PHP with some PERL and backed by a mySQL database and is intended to ease the process of converting Public Domain books and other printed materials into e-texts. Distributed Proofreaders provides a web-based method of easing the proofreading work... Platforms: Windows, Mac, *nix, PHP, BSD Solaris

Librarian DB is a simple Web based library management system that keeps track of the books in a library. It tracks book title, ISBN, categories, etc... It permits adding/deleting/updating/searching. It is extremely flexible and extendible. Platforms: *nix

NOTICE: This project is obsolete. Our successive project is https://sourceforge.net/projects/ideotype/ . Workbook helps you make quality books easy. With Workbook, you can convert your manuscript into a book on the fly. Early prototype and fast feedback lead to better quality. Platforms: Windows, Mac, Linux

Ever wondered how a clock works? Want to see all the "internals"? Get this magnificent, realistic animated wallpaper - Mechanical Clock 3D Lite. Features: - high-quality 3D graphics and effects - showing current time - screen saver mode - tick-tock sound - multi-monitor support with monitor... Platforms: Mac

Booklistex allows you create an organized list of your favourite books.It incorporates Amazon.com's book database and its simple interface allows you to add and delete books easily. To add a book, all you need to do is to find the book at amazon.com, copy the url and paste it in the script.... Platforms: Windows, Mac, *nix, PHP, BSD Solaris

The Virtual Library (VL) is a web application designed to facilitate peer-to-peer sharing of books (and other media, soon) among groups of people who are located in relatively close physical proximity (e.g. a group of co-workers who work in the same location or a group of students in the same... Platforms: Windows, Mac, *nix, Java, BSD Solaris

Amazon Box displays a random link of books to buy from Amazon.De. The program graphs by using the ASIN No. information about the book, provided by AMAZON.DE, displays the book image and creates a weblink. The script is very easy to install, use and customize to suit your needs.  Platforms: Windows, Mac, *nix, PHP, BSD Solaris

PBOS is a web-based book-annotation system that lets authors add books to read, and readers markup the books with notes, links, bookmarks, and other annotations. It lets readers share their annotations or keep them private. Written in php w/some perl. PBOS (Processed Book Operating System, or... Platforms: Windows, Mac, *nix, PHP, BSD Solaris

I publish my ebook visible 20 % at google books about modeling the cardiac excitation propagation of modele PDE VI1.In mounths coming i will publish the matlab computing with the method of linear ODe dynamic system of PDE equation. Platforms: Matlab

SimMechanicsd-OC?D? in conjunction with SimulinkdlT« and MATLABdlT« allows engineers to create complicated mechanical models, analyze the models, and develop controllers for the mechanical system. In this technical example, we examine how to use SimMechanics, MATLAB and Simulink to model... Platforms: Matlab

This zip archive contains materials for a joint Mechanical Simulation/ MathWorks webinar d-deDUModel-Based Design of an SUV Anti-Rollover Control Systemd-deDt that was held on April 8th, 2009.The recorded version of the webinar may be viewed here:... Platforms: Matlab

Expedite the computationally intensive part of the mechanical analysis stage of a coupled electro-mechanical FEA of an electrostatically actuated micro-electro-mechanical (MEMS) device by using d-deDUparford-deDt to:1. Compute Element Stiffness2. Assemble global stiffness matrix (K) from element... Platforms: Matlab

This script simulates the time evolution of a quantum mechanical wavepacket on the unit square with Dirichlet boundary conditions. Spatial discretization is with a Chebyshev-tau spectral method and time discretization is with a second order Crank-Nicholson method. Platforms: Matlab

This is a part of my books, a book to introduce the matlab use in finance, this is the first part of the series.We discuss the calculation rules and how to use the matlab functions to calculate the fixed income securities. Also we have analyze the detail algorithm. Platforms: Matlab

This zip file contains the demonstration model showing a 3-D mechanical model of an aileron actuated with a hydraulic actuator and with an electromechanical actuator. The parameters of the motor are tuned automatically to match measurement data, and the performance of the system is optimized in... Platforms: Matlab

LAS is a media cataloguing system coded in php, mysql and javascript for books, movies, journals & magazines (music planned). LAS is currently geared torward the individual user, but in the future may introduce features for institutions & groups. Platforms: PHP

Online Resource Management system is our year 2 project, aiming at helping my college's computing department on managing books, software and hardware.In addition, it also have a room booking system for lecturers to book classrooms for make-up classes. Platforms: PHP