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