logo pages de liens

UniversitySurf.net
Votre portail e-Learning
CultureMATH
ENSup. et Minist. EN
Séminaire MaMuX
Mathématiques, musique et relations avec d'autres disciplines

  

Informatique - Computing



Bas de page

GROUPES - GROUPS

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/> <http://cuiwww.unige.ch/tcs/>

precsuivant

PAGES WEB

<http://www.idiom.com/free-compilers/> <http://www-sv.cict.fr/>
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/> <http://www.comlab.ox.ac.uk/archive/logic-prog.html> <http://www.ex.ac.uk/~rburnley/babbage/>

precsuivant

ASSOCIATIONS

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

precsuivant

PAGES PERSONNELLES - HOME PAGES

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

precsuivant

EXERCICES - EXERCISES

Outils Formels pour l'Informatique  Feuilles de Travaux Dirigés
<http://deptinfo.unice.fr/~julia/OFI/>
TD Logique, grammaires ... (UBS Vannes - Lorient)
<http://www.univ-ubs.fr/valoria/antoine/Enseignement/Logique/TD_LOG.pdf>

precsuivant

DICTIONNAIRES GLOSSAIRES - DICTIONARIES

Online Dictionary Database Query
<http://www.dict.org/>

precsuivant

PROTOCOLES

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

precsuivant

THÉORIE - THEORY

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>
Mathematica 3.0 notebooks for "Numerical Methods for Mathematics, Science and Engineering"
<http://www.mathsource.com/Content/Publications/BookSupplements/Mathews-1997/>

precsuivant

DOCUMENTS - PAPERS

<http://www.mime.univ-paris8.fr/memoires/index.shtml>
Laboratoire d'Informatique Algorithmique : Fondements et Applications (LIAFA), CNRS et Université Paris 7
<http://www.liafa.jussieu.fr/~jep/publications.html>

precsuivant

COURS - COURSES

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>

precsuivant

TUTORIELS - TUTORIALS - TUTORS

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

precsuivant

BIOGRAPHIES

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

precsuivant

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> <http://www.anbar.co.uk/coolsite/computing/areas/theory-of-computation.htm> <http://www.theory.caltech.edu/~mnielsen/index.html> <http://compgeom.cs.uiuc.edu/~jeffe/compgeom/direct.html> <http://www.cs.sunysb.edu/~algorith/implement/c++.shtml> <http://www.cs.sunysb.edu/~algorith/implement/c.shtml> <http://jd2x.free.fr/bk1.html>

 haut de page











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-2012 Jean-Paul Davalan - Reproduction interdite.