…luding discrete and hybrid models, applications of temporal logic, symbolic model checking, automata-based decompositional proof techniques.…

Customs brokers specializing in the film industry. Describes services.

Provides yacht and power boat designs and engineering services.

Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.

Philosopher of language, logic, meatphysics and mind, and director of the Rutgers Center for Cognitive Science.

Contains reviews, plot summary, trailers and image gallery.

A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.

Scheduled cruises and private charters on Lee Counties barrier islands.

… and network analyzers, signal generators, multimeters, and logic analyzers.…

History of Rock from Fleet boat thru Radar Picket conversion to Auxiliary Submarine.

Blue water sport fishing adventures off of the Guanacaste coast. Area info, photos of the boat, and rates.

Includes information about the team, schedules, member profiles, pictures, FAQs and links.

Retailer for both boating and boat supplies, as well as auto supplies.

Plans of designer Santiago Perez' boat and other designs for sail and power vessels.

Charter fishing for salmon and other fish, boat rentals, launching and moorage. Motel, cabins, RV park.

Authorized Rinker and MerCruiser dealer. Offers new and used MerCruiser parts. Locations in Oakley and Rancho Cordova.

Serving Cape Coral, Fort Myers, Sanibel, Captiva and Pine Island and providing delivery to vacation home docks. Includes details of boats, rates and a quote request form.

Designs, makes Z80 series microprocessors, DSPs; and other embedded logic: microcontrollers, microprocessors, infrared, IrDA, communications, TV subsystems. California, USA.

Provides ferry service from Charlevoix to Beaver Island.

Offers homeowners, auto, boat, health, and life insurance.