Tags

Social Bookmarks zu Software

10. May 07

Einmal gespeichert
von Ganjabi

Sequent Calculus Prover (seqprover)

http://bach.istc.kobe-u.ac.jp/seqprover/

Einmal gespeichert
von Ganjabi

A Linear Logic Prover (llprover)

http://bach.istc.kobe-u.ac.jp/llprover/

Einmal gespeichert
von Ganjabi

Bedwyr

http://slimmer.gforge.inria.fr/bedwyr/

Einmal gespeichert
von Ganjabi

TPTP: Thousands of Problems for Theorem Provers

http://www.cs.miami.edu/~tptp/

Einmal gespeichert
von Ganjabi

The Rho-Calculus Home Page

http://rho.loria.fr/

Einmal gespeichert
von Ganjabi

TurboCASH

http://www.turbocashuk.com/

13. May 07

Einmal gespeichert
von anonymus

Misco.de - Homepage - aktuelle Notebooks, PCs, Ser...

http://www.misco.de/

MISCO Germany Ihr Lieferant für aktuelle Notebooks, PCs, Server, Hardware, Software, Speicher, Prozessoren, Motherboards und PC-Komponenten seit 1985.

14. May 07

Einmal gespeichert
von mwedvwl

Warenwirtschaftssystem

http://www.flagranto.de

Warenwirtschaftslösung mit System

17. May 07

Einmal gespeichert
von wurstbrotX

Web 2.0–Social Software der neuen Generation

www.sciencegarden.de/berichte/200702/web20/web20.p...

Viele halten das Web 2.0 für eine fixe Idee der Medien und Marketingabteilungen. Dahinter stecken aber konkrete Neuerungen, die das Internet revolutionieren. Und die Social Software spielt dabei eine...

19. May 07

Einmal gespeichert
von wille63

PC Forum

http://www.pcwelt.de/forum/

Top-Bookmarker für Software

Linkblog-Verzeichnis

  • Zeige die Mitglieder, die den Tag software nutzen

Suchmaschine

Anzeigen