|
Kalimages: | |
| Produkte | English Français Português Italiano Español German Affiliation Program BI books | |
|
| ||
|
| ||
Macintosh |
||
Kompression FTP |
||
![]() |
Image meta-informatie |
|
Präsentationssoftware |
||
| Präsentationssoftware |
File properties Metadata Digitaal catalogiseren |
|
Datei ändert | ||
Dateieigenschaften |
kommentiert und Windows 2000 Informationen auf eine Textdatei. TrialWare | |
Löschen |
Wenn bei der Arbeit mit dem Computer jede Menge temporäre Dateien anfallen, wie z.B. bei der Erstellung von Zeitungen, Werbegrafiken etc. kann die Festplatte schnell überlaufen. Mit Delenda können Sie Ihren temporären Verzeichnissen und Unterverzeichnissen eine Art Restlaufzeit verpassen, nach der sie automatisch gelöscht werden. So können Sie beispielsweise die Tagesnachrichten täglich löschen lassen, während die Bilder eine ganze Woche auf der Festplatte bleiben. Sie können einstellen, ob die zu löschenden Daten direkt gelöscht, in den Papierkorb oder ein beliebiges anderes Verzeichnis verschoben werden. Alle Aktionen des Programms werden mitprotokolliert. TrialWare Faq Delenda | |
Uhr |
||
Desktop | ||
| Other in english : | ||
Dos commands |
||
Printer settings |
(Set Default Printer - version 2.0) : a command line utility for setting properties of a printer/output-device to be used under Windows 95, 98. Freeware | |
Macintosh file signatures |
Displays the Type and Creator codes of Macintosh files using Windows NT Explorer. Freeware | |
Reader |
Fom-digest lookup "grep" the fom-digests mailing list on the F oundations O f M athematics. Free | |
| Awards | Kunden |
More on our philosophical backgrounds on computation and mathematics (in French)
Two quotes about mathematical and computer experience which inspired our name 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.
Partner Sites :
Tuning-Website
für Microsoft® Windows® 95 l 98 l Me l 2000
und XP l .NETXP Library
Boutique PIM : Livres Philosophie
et sites
WallpapersSof
Experience site in English