Nom Version Introduction OS Type de licence Dans quelles salles ? Mot clés Utilisateur(s)
Absorbix 3.02

Donner la formule chi mique et la stoechiométrie de l'échantillon, calcule le spectre d'absorption des rayons X et d'optimiser la quantité de matière (épaisseur, la masse spécifique

Windows Libre Toutes les salles chimie, Spectre, absorbance Bantignie Jean-Louis
ADE4 2001

ade4 est un logiciel développé au laboratoire de Biométrie et Biologie Évolutive (UMR 5558) de l'Université Lyon 1.

Windows Libre Toutes les salles Biologie evolutive, Statistiques Olivieri
Adobe Reader 10

Tout pour visualiser les fichiers de type PDF

Linux, Windows Libre Toutes les salles PDF, Adobe Reader Adobe
Air SDK 3.3

he Adobe® AIR® SDK provides the tools necessary to build and deploy Adobe AIR applications, including:

Linux, Windows Libre Toutes les salles Informatique departement informatique
Android studio 6.0

Environnement de développement Android

Linux Libre Toutes les salles Android, Langage de programmation, developpement ABDELHAK SERIAI
ANSYS 11

    ANSYS Structural : Ce produit permet d'effectuer des simulations mécaniques en calcul de structures. Ses principales capacités sont :
        l'analyse statique
        l'analyse modale

Windows Propriétaire Toutes les salles ANSYS, Simulation, Mécanique, Structure Franck Jourdan
ANTHROPAC 3.2

ANTHROPAC is a menu-driven DOS program for collecting and analyzing data on cultural domains.

Windows Libre Toutes les salles Analyse de données FDS
antiword 0.37-8

Antiword is a free software reader for proprietary

Linux Libre Toutes les salles convertion, lecteur, Microsoft WORD Tous les étudiants
Arcgis 9.2

ArcGIS est un Système d'Information Géographique complet qui vous permet de créer en toute simplicité, à partir d'un ordinateur bureautique, des données, des cartes, des globes, des modèles, et des outils de traitement, puis de les transférer vers

Windows Propriétaire Toutes les salles GIS, cartographie, Géographie Thérése LIBOUREL
Archi Simu 2.2.2

        ==============================
        |||README for Archi_la_Simu|||
        ==============================

Windows Libre Toutes les salles Séquenceur, Mémoire programmable, Unité de traitement, Pile Arnaud VIRAZEL
Argouml 0.34

ArgoUML's user interface is divided into 4 panels:

Linux, Windows Libre Toutes les salles Tous
Artemis 16.0

Artemis is a free genome browser and annotation tool that allows visualisation of sequence features, next generation data and the results of analyses within the context of the sequence, and also its six-frame translation.

Linux, Windows Libre Toutes les salles Genome browser and annotation tool Carver T, Harris SR, Berriman M, Parkhill J and McQuillan JA
Audacity 2.1.2

Le logiciel de montage audio libre et multi-plateformes

Linux, Windows Libre Toutes les salles Traitement, Audio, Concersion Jonathan Ryshpan, Patrick Shirkey, David R. Sky, Tuomas Suutari, Mark Tomlinson, David Topper, Rudy Trubitt
autodock 4.2.6

AutoDock est un logiciel de simulation de modélisation moléculaire. Il est particulièrement efficace pour la protéine-ligand accueil. AutoDock 4 est disponible sous la General Public License GNU.

Linux Libre Toutes les salles modélisation moléculaire, Simulation Tous les étudiants
Bayestraits 2.0

BayesTraits is a computer package for performing analyses of trait evolution among groups of species for which a phylogeny or sample of phylogenies is available.

Linux, Windows Libre Toutes les salles Sofware performing analyses Daniel Barker
Bio Python 1.65

BioPython est un ensemble d'outils libre pour le traitement de données biologiques écrit en Python par des développeur internationnaux

Linux Libre Toutes les salles Python, biologie **
BioEdit V7.1.3

BioEdit is a mouse-driven, easy-to-use sequence alignment editor and sequence analysis program designed and written by a graduate student who knows how frustrating and time consuming it can be to rely upon word-processors

Windows Libre Toutes les salles biologie, Manipulation, Séquence Tom Hall
blast2 2.2.25

blast2 compare une séquence contre soit une base de données locale ou de l'explosion d'une seconde séquence.

Linux Libre Toutes les salles séquences similaires; immunoglobulines; séquences de récepteurs de cellules; contamination de vecteur Tous les étudiants
Blender 2.6.8

Suite d'outil de création d'images en 3D. Modelisation, animation, simulation rendu, edition video

Windows Libre Toutes les salles Image, Video, 3d, Simulation Département Informatique
bppsuite 0.7.0-1

BppSuite est une suite de prêt-à-utiliser des programmes pour phylogénétique et l'analyse de la séquence.

Linux Libre Toutes les salles Analyses de séquences Tous les étudiants
CAESAR 2.0

CAESAR 2.0 is the bug-free version of CAESAR 1.0. In addition, the 3D graphics rendering module MASC provides more realistic 3-dimentional images of molecular structures, molecular orbitals and electron densities.

Windows Libre Toutes les salles Physique, Structures Moléculaires J.Ren, W.Liang, M.-H Whangbo
Canopy Express Edition 1.0 Express

Canopy Enthought est un environnement complet d'analyse Py

Linux Libre Toutes les salles Python, Developement; Environnement David Cassagne
Capture ver <090210.1141>

Computes estimates of capture probability and population size for "closed" population capture-recapture data.

Windows Libre Toutes les salles sciences, Programmes, Matrices, Probabilités Jim HINES
Cast3M 2012

Cast3M (Castem) est un logiciel de simulation numérique util

Linux Propriétaire Toutes les salles calcul analyse modélisation mécanique cea
Ces Selector 2017

CES Selector est une application PC qui permet aux experts matériaux et aux équipes de développement

Windows Propriétaire Toutes les salles matériaux Loic daridon
Chrome 14.0.785.0 (Build de développement 87778 Linux) Linux Libre Toutes les salles Scharffe
chromium-browser 23.0.1271.97

Chromium is an open-source browser project that aims to build a safer, faster, and more stable way for all Internet users to experience the web.

Linux Libre Toutes les salles Navigateur, code source Tous les étudiants
Client subversion 1.6.17

Linux Libre Toutes les salles Version Control, Versionning, Source Tous les étudiants
clisp 2.49-8.1

En informatique, CLISP est une implémentation du langage de programmation Lisp commun développé à l'origine par Bruno Haible et Michael Stoll pour l'Atari ST.

Linux Libre Toutes les salles Langage de programmation, interpréteur, compilateur, débogueur Tous les étudiants
Clustal2X 1.83 ; 2.0

Clustal X is a windows interface for the ClustalW multiple sequence alignment program. It provides an integrated environment for performing multiple sequence and profile alignments and analysing the results.

Windows Libre Toutes les salles Bioinformatique Higgins, D. G., Thompson, J. D. and Gibson
Cluster 1998

The input for the clustering program is a tab-delimited text file.
An example is shown below.

Windows Libre Toutes les salles génome Michael Eisen
cmake 2.8.7

CMake est un « moteur de production » multiplate-forme.

Linux Libre Toutes les salles Développement des applications Tous les étudiants
codeblock 10.05-2

Code::Blocks est un environnement de développement intégré

Linux Libre Toutes les salles Developement; Environnement Tous les étudiants
Codeblocks 8.02

Code::Blocks is a free C++ IDE built to meet the most demanding needs of its users. It is designed to be very extensible and fully configurable.

Linux Libre Toutes les salles departement informatique
Cogitant 5.2.91

The Cogitant library is a set of C++ classes enabling to easily build applications based on the Conceptual Graph model.

Linux Libre Toutes les salles LIRMM Montpellier
CoGui 1.0

CoGui is a free graph-based visual tool, developed in Java, for building Conceptual Graph knowledge bases represented in COGXML format, compatible with Cogitant.
Features:

Linux, Windows Libre Toutes les salles Graphe, Hierarchie, Base de connaissance lirmm
comsol 3.2b , 3.5 a, 4.1

The COMSOL Multiphysics engineering simulation software environment facilitates all steps in the modeling process − defining your geometry, meshing, specifying your physics, solving, and then visualizing your results.

Linux Propriétaire Toutes les salles Simulation Département de Mathématique, Pascal Azerad
Coq 8.4

Coq est un système de gestion de la preuve formelle .

Windows Libre Toutes les salles Preuve formel Michel Leclerc
CPN Tool 1.4.0

CPN Tools is a tool for editing, simulating, and analyzing Colored Petri nets.

Windows Libre Toutes les salles algorithme Kurt Jensen, Søren Christensen, Lars M. Kristensen, and Michael Westergaard
cpntools 2.3.5

The tool features incremental syntax checking and code generation, which take place while a net is being constructed. A fast simulator efficiently handles untimed and timed nets.

Linux Libre Toutes les salles simutalion; analyse Kurt Jensen, Søren Christensen, Lars M. Kristensen, and Michael Westergaard

Pages