Altima Technologies, Inc. - A network design tool that helps you create perfect network architecture in popular diagramming software applications.
http://www.altimatech.com/ more info...
Escher Technologies - Researches, develops and delivers tools for the efficient construction of provably correct software.
http://www.eschertech.com/ more info...
Learning to Program - Offers a range of computer programming tutorials and resources.
http://www.dbhome.dk/learningtoprogram/intro.html more info...
Prolog Development Center - A supplier of advanced planning, resource scheduling, decision support and speechbased solutions.
http://www.pdc.dk/ more info...
