Accueil
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home

UniversitySurf.net
Votre portail e-Learning

CultureMATH
ENSup. et Minist. EN

On-Line Encyclopedia
of Integer Sequences

Séminaire MaMuX
Mathématiques, musique et relations avec d'autres disciplines

L'INVERSEUR
de Plouffe

Inscrire les services publics dans la constitution
Plus de 210000 signatures (27 mai)

Informatique - Computing

GROUPES - GROUPS

Systematic Program Development Group

The Systematic Program Development Group (SPD) was a research group in the MIT Laboratory for Computer Science. It was combined with the Telemedia Networks and Systems group to from the Software Devices and Systems group. Much of out work centers around the Larch project, which aims to facilitate the timely development of high-quality software and hardware through the practical application of formal methods.

<http://www.sds.lcs.mit.edu/spd/>

cui Theoretical Computer Science Group

<http://cuiwww.unige.ch/tcs/>

PAGES WEB

Catalog of Free Compilers and Interpreters.

<http://www.idiom.com/free-compilers/>

Serveurs WWW gérés ou hébergés par le CICT

<http://www-sv.cict.fr/>

PrologIA

Les activités de PrologIA sont réparties entre la recherche, la commercialisation d'outils et de langages d'informatique avancée, la personnalisation de progiciels et la réalisation d'applications clés en mains dans les domaines de la programmation logique, de la programmation par contraintes et des systèmes experts.

<http://prologianet.univ-mrs.fr/>

Logic Programming

<http://www.comlab.ox.ac.uk/archive/logic-prog.html>

The Babbage Pages

<http://www.ex.ac.uk/~rburnley/babbage/>

ASSOCIATIONS

The World's Computer Society

<http://www.computer.org/>

PAGES PERSONNELLES - HOME PAGES

Suresh Venkatasubramanian

<http://palestrina.stanford.edu:8000/~suresh/>

EXERCICES - EXERCISES

Outils Formels pour l'Informatique Feuilles de Travaux Dirigés

<http://deptinfo.unice.fr/~julia/OFI/>

Mathématiques pour l'informatique

TD Logique, grammaires ... (UBS Vannes - Lorient)

<http://www.univ-ubs.fr/valoria/antoine/Enseignement/Logique/TD_LOG.pdf>

DICTIONNAIRES GLOSSAIRES - DICTIONARIES

The DICT Development Group

Online Dictionary Database Query

<http://www.dict.org/>

PROTOCOLES

A Dictionary Server Protocol

<ftp://ftp.isi.edu/in-notes/rfc2229.txt>

THÉORIE - THEORY

An Introduction to the Theory of Computation

Eitan Gurari, Ohio State University

Computer Science Press, 1989, ISBN 0-7167-8182-4

<http://www.cis.ohio-state.edu/~gurari/theory-bk/theory-bk.html>

Mathews-1997

Mathematica 3.0 notebooks for "Numerical Methods for Mathematics, Science and Engineering"

<http://www.mathsource.com/Content/Publications/BookSupplements/Mathews-1997/>

DOCUMENTS - PAPERS

MEMOIRES DE MAITRISE

<http://www.mime.univ-paris8.fr/memoires/index.shtml>

Jean-Eric Pin Publications

Laboratoire d'Informatique Algorithmique : Fondements et Applications (LIAFA), CNRS et Université Paris 7

<http://www.liafa.jussieu.fr/~jep/publications.html>

COURS - COURSES

SES - Département Systèmes d'Information

Outils Internet progsys: Le cours de deuxième année de programmation de systèmes. syscomm: Le cours de troisième année de systèmes de communication. comMM: Le cours de troisième année de communications multimedia. Des descriptifs de projets de mémoire de licence sont disponibles ici.

<http://cuiwww.unige.ch/OSG/courses/index.html>

TUTORIELS - TUTORIALS

Operating System User's Guide

<http://www.bluesky.com.au:457/OSUserG/CONTENTS.html>

BIOGRAPHIES

Charles Babbage (1791-1871)

<http://www.ex.ac.uk/~rburnley/babbage/biograph.html>

LIENS - LINKS

Random topics found on the net...

Shingo

Ichii private collection. Science Computing Networking Internet Books Magazines WWW Information Sources Other

<http://green.ms.u-tokyo.ac.jp/htdocs/random.html>

ANBAR Theory of Computation

<http://www.anbar.co.uk/coolsite/computing/areas/theory-of-computation.htm>

Michael Nielsen

<http://www.theory.caltech.edu/~mnielsen/index.html>

Computational Geometry Web Directories

<http://compgeom.cs.uiuc.edu/~jeffe/compgeom/direct.html>

Algorithm Implementations in C++

<http://www.cs.sunysb.edu/~algorith/implement/c++.shtml>

Algorithm Implementations in C

<http://www.cs.sunysb.edu/~algorith/implement/c.shtml>

Computer Science

<http://jd2x.free.fr/bk1.html>

Actualités

Advertising : If you see a reference in one of the files that is not linked, and you know of a link address to the appropriate document, please send me mail, and I will include the link in the document. Thanks very much in advance.
Avertissement : Le classement par catégories est approximatif. Certains liens se retrouvent dans des rubriques différentes et sur plusieurs pages. Les commentaires sont généralement des courts extraits des pages référencées. Il est possible que certains liens nécessitent une mise à jour.
Tous commentaires ou remarques sont les bienvenus, vous pouvez les adresser à :
écrire

Les mises à jour demandées sont réalisées dès que possible et, sauf si c'est nécessaire, aucun message de réponse n'est expédié. Merci de m'écrire.

Copyright © 1999-2009 Jean-Paul Davalan - Reproduction interdite.