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

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

 
 Marktplatz für elektronische Bauelemente
 Mehr erfahren ...

 
 Reengineering e-procurement System
 Mehr erfahren ...

 
 Systemadministration für Internetagentur
 Mehr erfahren ...

 
 Foreign Service National Training Database
 Mehr erfahren ...