Testi sulla matematica per l'informatica

Da Wikipedia, l'enciclopedia libera.

In questa pagina vengono elencati testi (prevalentemente libri) riguardanti argomenti matematici per l'informatica. Essa presenta testi che tendenzialmente afferiscono alla sezione 68-XX dello schema di classificazione Mathematics Subject Classification (MSC). L'elenco viene compilato pensando che esso possa servire, in particolare, per segnalare le opere che sarebbe bene fossero presenti in una biblioteca pubblica di buon livello.

Arto Salomaa (1985): Computation and Automata, Cambridge University Press, ISBN 0-521-30245-5
Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman (1986): Compilers: Principles, Techniques, and Tools, 2nd ed., Addison-Wesley
Jeffrey D. Ullman (1988): Principles of Database and Knowledge-base Sysytems Vol. I, Computer Science Press, ISBN 0-7167-8158-1
Jeffrey D. Ullman (1989): Principles of Database and Knowledge-base Sysytems Vol. II, Computer Science Press 0-7167-8162-X
Ronald Graham, Donald Knuth, Oren Patashnik (1989): Concrete Mathematics, Addison-Wesley, ISBN 0-201-14236-8
Jan Van Leeuwen ed. (1990): Handbook of Theoretical Computer Science volume A, Elsevier, ISBN 0-444-22038-5
Jan Van Leeuwen ed. (1990): Handbook of Theoretical Computer Science volume B, Elsevier, ISBN 0-444-22039-3
Jan Van Leeuwen ed. (1995): Computer Science Today. Recent Trends and Developments, Springer, ISBN 3-540-60105-8
Robert Sedgewick, Philippe Flajolet (1996): An Introduction to the Analysis of Algorithms, Addison-Wesley, ISBN 0-201-40009-X
Allen B. Tucker Jr ed.in chief (1996): The Computer Science and Engineering Handbook, CRC Press, ISBN 0-8493-2909-4
Mikhail J. Atallah ed. (1999): Algorithms and Theory of Computation Handbook, CRC Press, ISBN 0-8493-2649-4
John E. Hopcroft, R. Motwani, Jeffrey D. Ullman (2000): Introduction to Automata Theory, Languages, and Computation, Addison-Wesley