Bookmarks of Anton Setzer (Hardware and Software)

Table of Contents

  • Theoremprovers and Rewrite Systems

    Links

  • Operating Systems from Microsoft (esp. Windows).
  • Platforms
  • Databases
  • Interchange of Software
  • Wordprocessing
  • Imperative Programming
  • Languages (General)
  • Functional Programming
  • Cayenne
  • Object Oriented Programming
  • Specification Languages
  • Modelling Languages
  • Scripting Languages