Books / Computer science

Structure and Interpretation of Computer Programs
ABELSON Harold, SUSSMAN Gerald J.
MIT Press
1985
PostScript Language, Tutorial and Cookbook
ADOBE SYSTEMS INC.
Addison Wesley
1985
Concepts fondamentaux de l'informatique
AHO A., ULLMAN J.
Dunod
1998
Compilers: Principles, Techniques, and Tools
AHO Al V., SETHI Ravi, ULLMAN Jeff D.
Addison Wesley
1986
Structural Complexity I.
BALCAZAR J.L., DIAZ J., and GABARRO J.
The Lambda Calculus, Its Syntax and Semantics
BARENDREGT Henk
North Holland
1981
Eléments d'algorithmique
BEAUQUIER Danièle, BERSTEL Jean, CHRETIENNE Philippe
Masson
1992
Programming Pearls
BENTLEY Jon
Addison Wesley
1986
La théorie des graphes et ses applications
BERGE Claude
Dunod
1966
Mathématiques et Informatique
BERSTEL Jean, PIN Jean-Eric, POCCHIOLA Michel
McGraw-Hill
1991
Algorithmic Geometry
BOISSONNAT & YOINEC
Graph Theory with Applications
BONDY & MURTY
Méthodologie de la programmation en langage C
BRAQUELAIRE J.P.
Masson
1994
Introductory Combinations
BRUALDI A.
Graphs and Digraphs.
CHARTRAND & LESNIAK
The algebraic theory of context free languages dans Computer Programming and Formal Languages
CHOMSKY Noam, SCHÜTZENBERGER Marcel Paul
P. Braffort, D. Hirschberg ed. North Holland
1963
Linear Programming
CHVATAL V.
Freeman
1983
Elementary Numberical Analysis
CONTE & DE BOUR
Introduction to algorithms
CORMEN T.H., LEISERSON C.E. and RIVEST R.L.
1990
Introduction to Algorithms
CORMEN, LEISERSON, & RIVEST
Algorithms
CORMEN Thomas H., LEISERSON Charles E., RIVEST Ronald L.
MIT Press
1990
Introduction à l'algorithmique et à la programmation
COUSOT Patrick
Ecole Polytechnique, Cours d'Informatique
1986
Atmospheric Data Analysis
DALEY
Computational Geometry: Algorithms and Applications
DE BERG & VANKREVELD & SCHWARGLEOFF & OVERNESS
Graph Algorithms
EVEN Shimon
Computer Science Press, Potomac, Md
1979
Nonlinear & Mixed integer Optimization
FLOUDAS C.A.
Computers and Intractability: A guide to the theory of NP-Completeness
GAREY M.R. and JOHNSON D.S.
Smalltalk-80: the language and its implementation
GOLDBERG Adele
Addison-Wesley
1983
What Every Computer Scientist Should Know About Floating-Point Arithmeticc, 23(1)
GOLDBERG David
Computing Surveys
1991
Matrix Computations
GOLUB G. & VAN LOAN C.
Handbook of Algorithms and Data Structures, In Pascal and C
GONNET Gaston H., BAEZA-YATES Riccardo
Addison Wesley
1991
Discrete Mathematics with Graph Theory
GOODAIRE Edgar G. and PARMENTER Michael M.
Prentice Hall, Upper Saddle River
1998
LaTeX graphics companion
GOOSSENS M., RAHTZ S., MITTELBACH F.
LateX Web Companion
GOOSENS M., RAHTZ S.
Concrete Mathematics
GORDON Mike J.C., MILNER Robin, MORRIS Lockwood, NEWEY Malcolm C., GRAHAM R., KNUTH D., and PATASHNIK O.
Concrete mathematics: a foundation for computer science
GRAHAM Ron L., KNUTH Donald E., PATASHNIK Oren
Addison Wesley
1989
Numerical Prediction and Dynamic Meteorology.
HALTINER & WILLIAMS
Modula-3
HARBISON Samuel P.
Prentice Hall
1992
Computer Graphics
HEARN D. & BAKER M.P.
Computer Architecture, A Quantitative Approach
HENNESSY John H., PATTERSON David A.
Morgan Kaufmann Publishers, Inc.
1990
UNBOUND TeX, LaTeX and TeX strategies for fonts
HOENIG A.
graphics and more
PASCAL user manual and report : ISO PASCAL standard
JENSEN Kathleen, WIRTH Niklaus
Springer
1991
Handbook of Computer Science, vol A.
JOHNSON David
Ocean-Atmosphere Interaction
KAGAN
Programming: the derivation of algorithms
KALDEWAIJ Anne
Prentice-Hall International
1990
Mips, RISC Architecture, MIPS Computer Systems, Inc.
KANE Gerry
Prentice Hall
1987
The Unix Programming environment
KERNIGHAN and PIKE
The Practice of programming
KERNIGHAN and PIKE
The C programming language
KERNIGHAN Brian W., RITCHIE Dennis M.
Prentice Hall
1978
PIC--a language for typesetting graphics. 1-20.
KERNIGHAN Brian W.
Software Practice & Experience 12
1982
Structured Programming And Problem Solving With Algol W
KIEBURTZ Dick B.
Prentice Hall
1975
C Programming.
KING K.N.
Introduction to Metamathematics, 6ème édition
KLEENE Stephen C.
North Holland
1971
The TeXbook
KNUTH Donald E.
Addison Wesley
1984
The Metafont book
KNUTH Donald E.
Addison Wesley
1986
Fundamental Algorithms. The Art of Computer Programming, vol 1
KNUTH Donald E.
Addison Wesley
1968
Seminumerical algorithms, The Art of Computer Programming, vol 2
KNUTH Donald E.
Addison Wesley
1969
Sorting and Searching. The Art of Computer Programming, vol 3
KNUTH Donald E.
Addison Wesley
1973
A guide to LaTeX.
KOPRA H. and DALY P.W.
The Design and Analysis of Algorithms.
KOZEN D.C.
L'essentiel du C++
LIPPMAN S.B.
Addison-Wesley
1992
LATEX, User's guide & Reference Manual
LAMPORT Leslie
Addison-Wesley
1986
Handbook of theoretical computer science, volumes A et B
LEEUWEN Jan van
MIT press
1990
Combinatorics on Words
LOTHAIRE M.
Encyclopedia of Mathematics, Cambridge University Press
1983
Linear and Nonlinear Programming
LUENBERGER D. G.
Addison-Wesley
1984
Introduction to Algorithms, A creative approach
MANBER Udi
Addison-Wesley
1989
A proposal for Standard ML, In ACM Symposium on LISP and Functional Programming, pp 184-197, New York
MILNER Robin
ACM Press
1984
The definiton of Standard ML
MILNER Robin, TOFTE Mads, HARPER Robert
MIT Press
1990
Programming from specifications, Prentice-Hall International. (Out of print, but available on web).
MORGAN C.C.
Systems Programming with Modula-3
NELSON Greg
Prentice Hall
1991
Computational Complexity.
PAPADIMITRIOU C.H.
Computational Geometry: An Introduction.
PREPARATA & SHAMOS
Numerical Recipes : The Art of Scientific Computing.
PRESS W., FLANNERY, TEUKOLSKY & VETTERLING
Algol 60 Implementation, New York
RANDELL Brian, RUSSEL L. J.
Academic Press
1964
The New Hacker's Dictionary, dessins de Guy L. Steele Jr.
RAYMOND Eric
MIT Press
1991
The portability of the BCPL compiler, Software Practice and Experience 1:2, pp. 135-146
RICHARDS Martin
1971
BCPL : The Language and its Compiler
RICHARDS Martin, WHITBY-STREVENS Colin
Cambride University Press
1979
The UNIX Time-Sharing System, Communications of the ACM, 17, 7, Juillet 1974, pp 365--375 (aussi dans The Bell System Technical Journal, 57,6, Juillet-Aout)
RITCHIE Denis M. et THOMPSON Ken
1978
Theory of recursive functions and effective computability (édition originale).
ROGERS Hartley
McGraw-Hill
1967
Theory of recursive functions and effective computability
ROGERS Hartley
MIT press
1987
Linear Programming for Paper A1 (revised 1992).
ROLLETT J.S.
Computing Laboratory Notes
1990
Discrete Mathematics and its Applications, New York
ROSEN Kenneth H.
Fourth Edition, McGraw-Hill, Inc.
1999
Models of Computation.
SAVAGE John E.
An Introduction to the Analysis of Algorithms.
SEDGEWICK R. and FLAJOLET P.
Introduction to the Theory of Computation, Boston, 396 pp.
SIPSER Michael
PWS Publishing Co.
1997
Les réseaux (ou graphes) (18)
SAINTE-LAGUË A.
Mémoire des Sciences Mathématiques
1926
Algorithms, 2nd edition
SEDGEWICK Bob
Addison-Wesley
1988
Programming Languages, Concepts and Constructs
SETHI Ravi
Addison Wesley
1989
Le langage C++
STROUSTRUP B.
Addison-Wesley
1992
Depth First Search and linear graph algorithms, Siam Journal of Computing, 1, pages 146-160
TARJAN Robert E.
1972
Linear Programming, (out of print).
TRUSTRUM K.
RKP
1971
Introduction to Scientific Computing.
VAN LOAN
How To Prove It: A Structured Approach,Cambridge, England
VELLEMAN Daniel J.
Cambridge University Press
1994
A metalanguage for interactive proof in LCF, In 5th ACM Symposium on Principles of Programming Languages, New York
WADSWORTH Chris P.
ACM Press
1978
Introduction to Graph Theory.
WEST D.