Technology for analysis and synthesis of high-assurance software applications Kestrel Institute is a non-profit computer science research institute. Our mission is to make formal methods work in practice. We develop and apply technology for synthesis and automated analysis of mission-critical systems. Based on methods from logic, algebra and category theory, our advanced automated generators ...

We provide Linux training for busy IT professionals. We provide Linux certification bootcamp, Linux for beginners, and onsite linux classes. All attendees get a free linux laptop.

Mentorware provides application infrastructure services that enable eLearning and knowledge management for our customers and partners.

HTML, XHTML, XML, FrontPage, Perl, CGI, ASP, JavaScript, Java, Web graphics, database connectivity and e-commerce seminars are the specialties of Computer College Silicon Valley, the first school to specialize in hands-on Internet training. All seminars are hands-on and include up-to-date workbooks and a seminar disk.

Find the best savings on software training at computeredoptions.com. Find free information on software training.