Computer science / Books - CIRS

International Center for Scientific Research

Books / Computer science





Farid GABTENI
2016
  • 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.

Legal notice - Contact

Copyright © 2013 - www.cirs.info - All rights reserved