Accueil
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home
Informatique - Computing
| SOMMAIRE | Groupes | Pages Web | Associations | Pages Personnelles | Exercices | Dictionnaires |
| Protocoles | Théorie | Papiers | Cours | Tutoriels | Biographies | Liens |
| Protocoles | Théorie | Papiers | Cours | Tutoriels | Biographies | Liens |
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/>
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/>
ASSOCIATIONS
<http://www.computer.org/>
PAGES PERSONNELLES - HOME PAGES
<http://palestrina.stanford.edu:8000/~suresh/>
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>
DICTIONNAIRES GLOSSAIRES - DICTIONARIES
Online Dictionary Database Query
<http://www.dict.org/>
PROTOCOLES
<ftp://ftp.isi.edu/in-notes/rfc2229.txt>
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/>
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>
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>
TUTORIELS - TUTORIALS - TUTORS
<http://www.bluesky.com.au:457/OSUserG/CONTENTS.html>
BIOGRAPHIES
<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>
<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>
| SOMMAIRE | Groupes | Pages Web | Associations | Pages Personnelles | Exercices | Dictionnaires |
| Protocoles | Théorie | Papiers | Cours | Tutoriels | Biographies | Liens |
| Protocoles | Théorie | Papiers | Cours | Tutoriels | Biographies | Liens |
| Accueil | Plan du site | Bloc notes | Jeux | Graphes | Combinatoire | Arithmétique | Algèbre |
| Analyse | Probabilités | Automates | Informatique | Divers | Lycée |
| Analyse | Probabilités | Automates | Informatique | Divers | Lycée |
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 à :
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.
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 à :
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.