Références

[1]

Thérèse Accart-Hardin Véronique Donzeau-Gouge Viguié. Concepts et outils de programmation. Interéditions, Paris, 1992.
Manuel et méthode d'un enseignement du CNAM, cet ouvrage introduit les concepts fondamentaux de la programmation avec un souci pédagogique qui ne nuit pas à la rigueur.

[2]

Mike Acetta, Robert Baron, William Bolosky, David Golub, Richard Rashid, Avadis Tevanian, Michael Young. << Mach: A New Kernel Foundation for UNIX Development >>. Proceedings of the Summer 1986 USENIX Conference, 1986.

[3]

Alfred V. Aho, Ravi Sethi, J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, Massachusetts, 1986. Traduction française : Interéditions, Paris, 1989.
Une référence classique ; les techniques de compilation ont évolué depuis son écriture ; cet ouvrage reste néanmoins une introduction presque obligée.

[4]

François Anceau. << La saga des PC Wintel >>. Technique et science informatiques, 19-6, 2000.

[5]

François Armand, Michel Gien, Frédéric Herrmann, Marc Rozier. << Unix et la répartition : retour à la simplicité originelle ? >>. Actes de la Convention UNIX'90, 1990.

[6]

C. Gordon Bell Allen Newell. Computer Structures: Reading and Examples. McGraw-Hill, New York, 1971.

[7]

Laurent Bloch. Initiation à la programmation avec Scheme. Technip, Paris, 2001.
Un livre de programmation consacré à Scheme, un dialecte moderne et élégant de LISP.

[8]

Samia Bouzefrane. Les systèmes d'exploitation: cours et exercices corrigés Unix, Linux et Windows XP avec C et JAVA. Dunod, Paris, 2003.
Les systèmes d'exploitation constituent un domaine si complexe que de multiples approches ne l'épuisent pas. Il faut donc lire plusieurs livres, et notamment celui-ci. L'ouvrage de Samia Bouzefrane conjugue une approche conceptuelle rigoureuse et systématique, indispensable pour qui veut y voir clair, à des exemples et des exercices corrigés très concrets que le lecteur pourra tester sur son ordinateur.

[9]

Daniel P. Bovet Marco Cesati. Le noyau Linux. O'Reilly, Paris, 2001 (pour la traduction française).
Pour qui veut savoir vraiment comment fonctionne notre système d'exploitation préféré, et en outre beaucoup de détails intimes sur la vie des ordinateurs (notamment les processeurs Intel).

[10]

Frederick P. Brooks, Jr. The Mythical Man-Month. Addison-Wesley, Reading, Massachusetts, 1975.
S'il faut neuf mois à une femme pour faire un enfant, deux femmes ne peuvent pas y arriver en quatre mois et demie. Au-delà du rappel au bon sens dont bien des managers ont vraiment besoin, Brooks, qui fut le concepteur principal de l'OS/360, jette un regard (auto-)critique sur la plus ambitieuse entreprise d'ingénierie des cinquante dernières années : l'écriture des systèmes d'exploitation.

[11]

Corrado Böhm Giuseppe Jacopini. << Flow Diagrams, Turing Machines And Languages With Only Two Formation Rules >>. Communications of the ACM (CACM), vol. 9 n° 5, May 1966.

[12]

Franck Cappello. << P2P : Développements récents et perspectives >>. 6èmes journées réseau JRES, 2005. En ligne ici : http://2005.jres.org/slides/152.pdf.

[13]

Rémy Card, Éric Dumas, Franck Mével. Programmation Linux 2.0. Eyrolles, Paris, 1998.
Une description détaillée de l'incarnation d'un système d'exploitation pour qui veut participer à son développement ou simplement le comprendre.

[14]

Patrick Cegielski. Conception de systèmes d'exploitation -- La cas Linux. Eyrolles, Paris, 2003.
Une analyse détaillée de Linux, avec un commentaire juxtalinéaire du code source du noyau. Dans la grande tradition de John Lions et Andrew Tanenbaum, un livre bien sûr indispensable.

[15]

CROCUS (collectif). Systèmes d'exploitation des ordinateurs. Dunod, Paris, 1975.
Ce manuel, quoique assez ancien, conserve un intérêt certain par sa rigueur dans l'introduction des concepts et du vocabulaire, et en a acquis un nouveau, de caractère historique, par la description de systèmes aujourd'hui disparus.

[16]

Marie Coris. << Impact des logiciels libres sur l'industrie du logiciel : vers un nouveau modèle productif ? >>. Roland Dirlewanger, , Actes du congrès JRES, 2001.

[17]

Thomas Cormen, Charles Leiserson, Ronald Rivest, Clifford Stein. Introduction à l'algorithmique. Dunod (pour la traduction française), Paris, 2002.
Une somme d'une complétude impressionnante ; si les exposés mathématiques des algorithmes sont d'une grande clarté, le passage à la programmation (en pseudo-code) est souvent difficile.

[18]

Alan Dearle David Hulse. << Operating system support for persistent systems: past, present and future >>. Software Practice and Experience, 30:295--324, 2000.

[19]

Harvey M. Deitel. An Introduction to Operating Systems. Addison-Wesley, Reading, Massachusetts, 1984.
Ce livre est surtout précieux pour ses études de cas et ses analyses comparatives des systèmes qui précèdent l'avènement des processeurs RISC.

[20]

Edsger Wybe Dijkstra. << The structure of the THE multiprogramming system >>. Communications of the ACM (CACM), vol. 11 n° 5, May 1968. http://www.acm.org/classics/mar96/.

[21]

Gilles Dubertret. Initiation à la cryptographie. Vuibert, Paris, 2002.

[22]

Albert Ducrocq André Warusfel. Les mathématiques -- Plaisir et nécessité. Vuibert, Paris, 2000.
Plaidoyer pour une discipline malmenée, au moyen de nombreux exemples historiques et modernes auxquels l'érudition et le talent de vulgarisateurs des auteurs confèrent un rythme trépidant et passionnant.

[23]

Kjeld Borch Egevang Paul Francis. << RFC 1631 -- The IP Network Address Translator (NAT) >>, Mai 1994. http://www.ietf.org/rfc/rfc1631.txt.

[24]

D.A. Fairclough. << A unique microprocessor instruction set >>. IEEE Micro, May 1982.

[25]

Gustave Flaubert. Bouvard et Pécuchet. Le Seuil, Paris, [1857].

[26]

Herman H. Goldstine. The Computer -- from Pascal to von Neumann. Princeton University Press, Princeton, NJ, 1972.

[27]

Kurt Gödel Jean-Yves Girard. Le théorème de Gödel. Éditions Le Seuil, Paris, 1989.

[28]

John L. Hennessy David A. Patterson. Computer architecture: a quantitative approach. Morgan Kaufman Publishers, San Mateo, Calif., USA, 1996.
Ce livre donne à la description de l'architecture des ordinateurs une ampleur intellectuelle que peu soupçonnaient. En annexe, une bonne introduction à la représentation des nombres (norme IEEE 754 notamment).

[29]

C. Antony R. Hoare. << Monitors: An Operating System Structuring Concept >>. Communications of the ACM (CACM), vol. 17 n° 10, octobre 1974. http://www.acm.org/classics/feb96/.

[30]

Andrew Hodges. Alan Turing: the enigma (Alan Turing : l'énigme de l'intelligence). Simon and Schuster (Payot, Paris pour la traduction), New-York, USA, 1983.

[31]

Antony Hosking Quintin Cutts. << Special issue: persistent object systems >>. Software Practice and Experience, 30-4, 2000.

[32]

Christian Huitema. Routing in the Internet. Prentice Hall, Upper Saddle River, NJ, USA, 2000.

[33]

Intel Corp.. Intel IA-64 Architecture Software Developer's Manual. Intel Corp., Santa Clara, Calif., USA, 2001.
Quatre épais volumes, plus de 2000 pages, téléchargeables en PDF sur le site d'Intel.

[34]

Donald E. Knuth. The Art of Computer Programming. Addison-Wesley, Reading, Massachusetts, 1997 [1968]. 3 vol.
Encyclopédie inachevée des sciences formelles de l'informatique, une mine encore à exploiter.

[35]

Sacha Krakowiak. Principes des systèmes d'exploitation des ordinateurs. Dunod, Paris, 1987.
Par un des auteurs du CROCUS, ce livre en est une suite ou une mise à jour, avec les mêmes qualités appliquées à d'autres objets.

[36]

Julia Kristeva. Le Langage, cet inconnu - Une initiation à la linguistique. Le Seuil, Paris, 1981 [1969].
Un tour d'horizon complet et accessible de la linguistique et de son histoire. Des proximités surprenantes avec l'informatique.

[37]

Josh Lerner Jean Tirole. << The Simple Economics of Open Source >>. National Bureau of Economic Research, 2000. http://www.people.hbs.edu/jlerner/simple.pdf.

[38]

Jochen Liedtke. << On µ-Kernel Construction >>. Proceedings of the 15th ACM Symposium on Operating System Principles, 1995.

[39]

Henri Lilen. La saga du micro-ordinateur. Vuibert, Paris, 2003.
Le titre de ce livre est vraiment mérité : passionnant et passionné, illustré de documents parfois inédits, il rend notamment justice aux précurseurs français de cette industrie et éclaire le processus de décision au sein de grandes entreprises industrielles.

[40]

John Lions. Lion's Commentary on Unix' 6th Edition. Peer-to-Peer Communications, Menlo Park, Calif., 1996.
Ce livre légendaire et longtemps clandestin parce qu'il comportait le code source du noyau Unix, propriété d'AT&T, mérite toujours d'être lu, même si Unix a évolué.

[41]

Keith Loepere. Mach 3 Kernel Principles. Open Software Foundation, Boston, 1991.

[42]

Marhall Kirk McKusick, Keith Bostic, Michael J. Karels, John S. Quarterman. The Design and Implementation of the 4.4 BSD Operating System. Addison-Wesley (Vuibert pour la traduction française), Reading, Massachusetts, 1996.
Le célèbre Daemon Book que tout utilisateur de Unix devrait lire.

[43]

Alfred J. Menezes, Paul C. van Oorschot, Scott A. Vanstone. Handbook of Applied Cryptography. CRC Press, Boca Raton, Floride, États-Unis, 1997.
Une introduction complète au sujet, disponible en consultation sur le WWW: http://www.cacr.math.uwaterloo.ca/hac/.

[44]

Bertrand Meyer. << The Ethics of Free Software >>. Software Development Magazine, mars 2000. http://www.sdmagazine.com/.

[45]

Bertrand Meyer Claude Baudoin. Méthodes de programmation. Eyrolles, Paris, 1984.
Une approche certes datée par le style, mais on y trouvera un exposé incisif des problèmes toujours au coeur de l'informatique.

[46]

MicroDesign Resources, . Microprocessor Report. Cahners Electronics Group, Sunnyvale, Calif., 1987-.
La revue mensuelle avec édition hebdomadaire sur le WWW : http://www.mpronline.com/mpr/index.html du micro-processeur et de ses évolutions techniques et industrielles. Informée, compétente, beaucoup de détail technique exposé avec clarté.

[47]

Patrick de Miribel. Principes des ordinateurs. Dunod, Paris, 1975.
Ce livre d'initiation comporte quelques-unes de ces intuitions pédagogiques qui font comprendre une fois pour toutes une question difficile, comme le fonctionnement des circuits électroniques et des ordinateurs.

[48]

René Moreau. Ainsi naquit l'informatique. Dunod, Paris, 1987.

[49]

Jean-Louis Nebut. UNIX pour l'utilisateur. Éditions Technip, Paris, 1990.
Face à l'océan des livres-mode d'emploi inodores et sans saveur, celui-ci introduit des concepts (ceux de la programmation) dans un univers d'où ils sont souvent bannis. Unix y apparaît sous un jour nouveau, doté d'une cohérence non limitée à sa structure interne, et du coup compréhensible même à qui n'en a pas lu le noyau. L'exercice (organiser cet apparent fouillis) était difficile.

[50]

John von Neumann. << First Draft of a Report on the EDVAC >>, 30 juin 1945. Ce texte fondamental, longtemps d'un accès difficile, est maintenant en ligne ici : http://www.virtualtravelog.net/entries/2003-08-TheFirstDraft.pdf.

[51]

John von Neumann. The Computer and the Brain. Yale University Press, New Haven, Connecnicut, 1957. Traduction française : La Découverte, Paris 1992.
Ce texte d'une conférence que la mort de l'auteur a empêché d'être prononcée réfute le réductionnisme qui fleurit souvent sous de tels titres, énumère les différences fondamentales entre l'activité du cerveau et le fonctionnement des machines numériques, ouvre de nouvelles problématiques sur des questions rebattues telle que l'existence des objets de la mathématique et de la logique.

[52]

Michèle Pichat Jean Vignes. Ingénierie du contrôle de la précision des calculs sur ordinateur. Éditions Technip, Paris, 1993.
Certains résultats scientifiques publiés à l'issue de traitements informatiques sont simplement des erreurs de calcul. Cet ouvrage donne une vision approfondie des causes possibles de telles erreurs et propose des méthodes pour les éviter, notamment la méthode originale CESTAC de contrôle et estimation stochastique des arrondis de calcul.

[53]

W. Curtis Preston. SANs and NAS. O'Reilly, Sebastopol, California, 2002.

[54]

Christian Queinnec. ABC d'Unix. Eyrolles, Paris, 1985.
Ce livre épuisé mais disponible sur le réseau sous licence FDL (Free Documentation License) à l'URL http://www-spi.lip6.fr/~queinnec/Books/ABCdUNIX/uunix-toc.html accomplit un exercice délicat : dégager les concepts de la philosophie d'Unix, sans se noyer dans les détails ni omettre rien d'important.

[55]

Yakov Rekhter, Robert G. Moskowitz, Daniel Karrenberg, Geert Jan de Groot, Eliot Lear. << RFC 1918 -- Address Allocation for Private Internets) >>, Février 1996. Ce RFC remplace les 1597 et 1627 de 1994 ; http://www.ietf.org/rfc/rfc1918.txt.

[56]

Dennis M. Ritchie. << The Evolution of the Unix Time-sharing System >>. Lecture Notes in Computer Science, 79, 1980. Language Design and Programming Methodology.

[57]

Alfred Rényi. Calcul des probabilités. Jacques Gabay [pour la traduction], Budapest [Paris], 1966.
Ce livre qui a fait date dans son domaine contient un exposé particulièrement incisif et élégant de l'algèbre de Boole.

[58]

Peter H. Salus. Casting the Net. Addison-Wesley, Reading, Massachusetts, 1995.
Une source de première main sur les hommes qui ont fait l'Internet.

[59]

Peter H. Salus. A Quarter Century of UNIX. Addison-Wesley, Reading, Massachusetts, 1994.
Un récit très empathique de l'aventure Unix.

[60]

Manuel Serrano. << Vers une programmation fonctionnelle praticable >>. Habilitation à diriger des recherches, Université de Nice, 2000.
Une réflexion pratique non dépourvue d'aperçus théoriques sur la construction de logiciels. Disponible ici : http://www-sop.inria.fr/mimosa/personnel/Manuel.Serrano/index-3.html#Programming-Environment.

[61]

Claude E. Shannon. << A mathematical theory of communication >>. Bell System Technical Journal, 27, p. 379-423 et 623-656, juillet et octobre 1948. Disponible en ligne ici : http://cm.bell-labs.com/cm/ms/what/shannonday/shannon1948.pdf.

[62]

Avi Silberschatz, Peter Galvin, Greg Gagne. Principes appliqués des systèmes d'exploitation. Vuibert (pour la traduction française), Paris, 2001.

[63]

Simon Singh. The Code Book (Histoire des codes secrets). JC Lattès (pour la traduction française), Paris, 1999.
Un bon ouvrage de vulgarisation.

[64]

D.A. Solomon M.E. Russinovich. Inside Windows 2000. Microsoft Press, Redmond, État de Washington, 2000.

[65]

Pyda Srisuresh Kjeld Borch Egevang. << RFC 3022 -- Traditional IP Network Address Translator (Traditional NAT) >>, Janvier 2001. http://www.ietf.org/rfc/rfc3022.txt.

[66]

W. Richard Stevens. TCP/IP illustré. Addison-Wesley (Vuibert pour la traduction française), Reading, Massachusetts, 1994.
Une référence théorique et pratique. La mort prématurée de l'auteur nous prive de mises à jour sûrement passionantes.

[67]

Andrew S. Tanenbaum. Computer Networks. Prentice-Hall, Upper Saddle River, New Jersey, 1996.
Encore plus que sur les systèmes, Andrew Tanenbaum est l'auteur de base pour qui veut pénétrer les arcanes des réseaux informatiques. Tout devient clair.

[68]

Andrew S. Tanenbaum. Modern Operating Systems. Prentice-Hall, Upper Saddle River, New Jersey, 2001.
Andrew Tanenbaum est l'auteur à conseiller en tout premier lieu à qui veut approfondir le sujet des systèmes d'exploitation. Non seulement la teneur est de toute première qualité, mais la clarté de l'exposé est proprement éblouissante.

[69]

Robert Bruce Thompson Barbara Fritchman Thompson. PC Hardware in a Nutshell. O'Reilly, Sebastopol, Calif., USA, 2003.
Un ouvrage pratique indispensable. Vous comprendrez rétrospectivement la cause de tous vos ennuis avec la gravure de CD-ROMs ou avec la géométrie des disques durs.

[70]

Alan Turing Jean-Yves Girard. La machine de Turing. Éditions Le Seuil, Paris, 1995.
Une introduction abordable mais sans concessions, puis le texte historique.

[71]

Michel Volle. Le métier de statisticien. Economica, Paris, 1984.
Ce livre disponible sur le réseau à l'URL http://www.volle.com/ouvrages/metier/tabmetier.htm, outre une introduction de première main aux questions et aux enjeux suscités par l'exercice de la statistique publique, introduit une réflexion originale sur la déontologie du spécialiste confronté à la mission d'informer le public non spécialisé.

[72]

Michel Volle. e-conomie. Economica, Paris, 2000.
Une analyse économique informée et pénétrante des nouvelles technologies par un des maîtres de l'économétrie et de la statistique.

[73]

John Wharton. << Gary Kildall, Industry Pioneer, Dead at 52 >>. Microprocessor Report, 8-10, 1994.

[74]

Wikipedia. << Poste à poste >>. Wikipedia, 15 novembre 2005. http://fr.wikipedia.org/wiki/Poste-à-poste.

[75]

Wikipedia. << Network address translation >>. Wikipedia, 19 décembre 2005. http://fr.wikipedia.org/wiki/NAT.

[76]

Ludwig Wittgenstein. Tractatus logico-philosophicus. Gallimard (pour la traduction française), Paris, [1918].