Précédent Remonter

Références

[1]
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.

[2]
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.

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

[4]
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.

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

[6]
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.

[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]
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).

[9]
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.

[10]
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.

[11]
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.

[12]
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.

[13]
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.

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

[15]
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.

[16]
Edsger Wybe Dijkstra. << The structure of the THE multiprogramming system >>. Communications of the ACM (CACM), vol. 11 n° 5, May 1968.

[17]
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.

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

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

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

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

[22]
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).

[23]
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.

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

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

[26]
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.

[27]
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.

[28]
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.

[29]
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.

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

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

[32]
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é.

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

[34]
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.

[35]
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/.

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

[37]
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.

[38]
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é.

[39]
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.

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

[41]
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.

[42]
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.

[43]
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.

[44]
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/ 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.

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

[46]
Alfred Rényi. Calcul des probabilités. Jacques Gabay [pour la traduction], Budapest [Paris], 1966.

[47]
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.

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

[49]
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/diffusion/publi% .html.

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

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

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

[53]
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.

[54]
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.

[55]
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.

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

[57]
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é.

[58]
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.

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

[60]
Ludwig Wittgenstein. Tractatus logico-philosophicus. Gallimard (pour la traduction française), Paris, [1918].
© copyright Laurent Bloch 2002
Précédent Remonter