Interchange Perl DBI MySQL
Home Projekte Login Interchange Debian Links AGB Kontakt Wiki  

Stichwortsuche
Paketsuche

Debianpakete
  appconfig
  cgi-extratags-perl
  ciphersaber
  courier
  courier
  courier-authlib
  dbix-easy-perl
  debaux
  interchange
  interchange-doc
  jfsutils
  libmime-lite-html-perl
  libtext-mediawikiformat-perl
  libtie-shadowhash-perl
  pure-ftpd
  pure-ftpd
  safe-hole-perl
  set-crontab-perl

Kunden/Partner
  B&N
  Box of Rain
  COBOLT NetServices
  ecoservice
  Gish Network
  IIP/IR Vienna
  Informa
  L & D Computer
  LinSoft IT
  M & D
  materialboerse.de
  Media Business Software
  Medical Business Solutions
  Net Stores
  NextCall
  RUEB
  Tenalt
  Transfair-Net GmbH
  Ulisses
  WebHostNY.com
  Wegacell
  West Branch Angler
  Wintime IT Solutions

Debianpakete von

Paket Beschreibung Version Maintainer
acl2 A Computational Logic for Applicative Common Lisp: main binary 3.6-4 Camm Maguire
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries 3.6-4 Camm Maguire
acl2-books-certs A Computational Logic for Applicative Common Lisp: library certificates 3.6-4 Camm Maguire
acl2-books-source A Computational Logic for Applicative Common Lisp: library sources 3.6-4 Camm Maguire
acl2-emacs A Computational Logic for Applicative Common Lisp: emacs interface 3.6-4 Camm Maguire
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface 3.6-4 Camm Maguire
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source 3.6-4 Camm Maguire
acl2-source A Computational Logic for Applicative Common Lisp: source files 3.6-4 Camm Maguire
admesh a tool for processing triangulated solid meshes 0.95-7 Víctor Pérez Pereira
alt-ergo Automatic theorem prover dedicated to program verification 0.9-1+b2 Debian OCaml Maintainers
ann-tools Approximate Nearest Neighbor Searching library (tools) 1.1.1+doc-2.2 Debian Scientific Computing Team
apcalc Arbitrary precision calculator (original name: calc) 2.12.3.3-1 Martin Buck
apcalc-common Arbitrary precision calculator (common files) 2.12.3.3-1 Martin Buck
aribas interpreter for arithmetic 1.64-3 Ralf Treinen
autoclass automatic classification or clustering 3.3.6-1 James R. Van Zandt
axiom A general purpose computer algebra system: main binary and modules 20091101-7 Camm Maguire
axiom-databases A general purpose computer algebra system: generated text databases 20091101-7 Camm Maguire
axiom-graphics A general purpose computer algebra system: graphics subsystem 20091101-7 Camm Maguire
axiom-graphics-data A general purpose computer algebra system: graphics subsystem 20091101-7 Camm Maguire
axiom-hypertex A general purpose computer algebra system: hypertex subsystem 20091101-7 Camm Maguire
axiom-hypertex-data A general purpose computer algebra system: hypertex subsystem 20091101-7 Camm Maguire
axiom-source A general purpose computer algebra system: source files 20091101-7 Camm Maguire
axiom-test A general purpose computer algebra system: regression test inputs 20091101-7 Camm Maguire
axiom-tex A general purpose computer algebra system: style file for TeX 20091101-7 Camm Maguire
bc The GNU bc arbitrary precision calculator language 1.06.95-2 John G. Hasler
cadabra field-theory motivated computer algebra system 1.25-1 Kasper Peeters
calc An advanced calculator and mathematical tool for Emacs. 2.02f-28 Manoj Srivastava
carmetal dynamic geometry software with highly ergonomic UI 2.9.8.2-1 Yves Combe
cimg-dev powerful image processing library 1.3.3-1 Debian Science Team
concalc console calculator 0.9.2-1 Varun Hiremath
coq proof assistant for higher-order logic (toplevel and compiler) 8.2.pl1+dfsg-6+b2 Debian OCaml Maintainers
coq-libs proof assistant for higher-order logic (theories) 8.1.pl3+dfsg-1 Debian OCaml Maintainers
coq-theories proof assistant for higher-order logic (theories) 8.2.pl1+dfsg-6 Debian OCaml Maintainers
coq7-libs proof assistant for higher-order logic (Coq 7 theories) 8.0pl3-2 Debian OCaml Maintainers
coqide proof assistant for higher-order logic (gtk interface) 8.2.pl1+dfsg-6+b2 Debian OCaml Maintainers
cpushare client and server for the CPUShare distributed computing platform 0.48-4 Debian Scientific Computing Team
cvc3 An automatic theorem prover for SMT problems 2.2-13 Christopher L. Conway
cvc3-el Emacs mode for CVC3 2.2-13 Christopher L. Conway
dc The GNU dc arbitrary precision reverse-polish calculator 1.06.95-2 John G. Hasler
dicelab evaluate the statistical distribution of dice rolls 0.7-1 Robert Lemmen
dolfin-bin Executable scripts for DOLFIN 0.9.7-2 Debian Science Team
dome calculates and draws geodesic domes 4.80-5 Debian QA Group
drgeo An interactive geometry software 1.1.0-6 Francisco Manuel Garcia Claramonte
dynare suite for non-linear models with forward looking variables 4.1.1-1 Debian Octave Group
dynare-common platform independent files for Dynare 4.1.1-1 Debian Octave Group
eukleides Euclidean geometry drawing language 1.5.3-1 Robert Lemmen
euler interactive mathematical programming environment 1.61.0-8 Frank S. Thomas
evolver Surface Evolver 2.30c-1 Adam C. Powell, IV
extcalc multifunctional scientific graphic calculator 0.9.2-1 Varun Hiremath
formed formula editor for first-order logic formulae 3.3f-1 Peter Collingbourne
a b c d e f g h j k l m n o octavi p q r s t u w x y Next Last




 Projekte

 Foreign Service National Training Database
 Mehr erfahren ...

 
 Systemadministration für Internetagentur
 Mehr erfahren ...

 
 Marktplatz für elektronische Bauelemente
 Mehr erfahren ...

 
 Marktplatz für Musikinstrumente und Zubehör
 Mehr erfahren ...

 
 Reengineering e-procurement System
 Mehr erfahren ...