Gama de productos software que permiten la automatización de trabajos técnicos y la integración Windows, Macintosh, Linux. Nuestros programas están disponibles para el uso personal y profesional en especial para la industria prepress y los administradores de servidores Windows. Puede comprar online. |
|
|
Nueva version ! 05/2001 |
Documentaçion |
|
|
|
||
|
Ficheros |
Seleciona en la log de NT4/NT2000 las modificaciones de arquivos y las escribe com en nombre de utilizador en la zona commentário de los ficheiros Windows e/o Macintosh. Shareware |
|
|
|
||
|
Informaciones sobre los documentos e ficheros |
|
|
| Nueva version
! 09/2001 |
|
|
|
|
||
|
Dos |
|
|
|
|
||
|
Interfaz |
|
|
|
|
||
|
Inpresora |
(Set Default Printer - version 2.0) : utilitario en modo commando para configurar una impresora (para Windows 95, 98). Freeware | |
|
|
||
|
Macintosh Type/Creator |
Visualización de los Type y Creator de los ficheros Macintosh con el explorador de Windows NT. Freeware | |
|
|
||
|
Formatar mailing list |
Fom-digest lookup : búsqueda de palabras claves en la fom-digests mailing list de Foundations Of Mathematics. Freeware | |
| Awards |
Entrevista con el autor en Super Shareware
Dos citas sobre la experiencia de las matemáticas e computacion; eso nos inspiró el nombre Soft Experience
Our experience working within a mathematical theory and in applying it can support our belief that it is consistent. Empirical evidence may also be used to establish the reliability of our computers - something we presuppose when we appeal to their computations.
Michael D. Resnik, Mathematics as a Science of Patterns, Clarendon - Oxford, 1997, p. 173
The matter of syntax and semantics of computer programs shows much of the old spirit of the Greek geometry. It describes constructions (computer programs) and proves that they actually achieve what is promised in the program specifications.
N. G. De Bruijn, On the roles of types in mathematics, in The Curry-Howard isomorphism, Cahiers du Centre de Logique 8, Ed. by Ph. de Groote, Academia, Louvain-La-Neuve, 1995, p. 48.
Más información sobre nuestro background en
computation e matemática (en francés)
www.softexperience.com