Progetto:Matematica/Testi sulla matematica per l'informatica

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

• 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

Voci correlate

• Algoritmo
• 68-XX sigla della sezione della MSC dedicata alla matematica per la scienza del computer.
• Testi sugli algoritmi
• Testi sulla teoria della computazione
• Elenchi di testi matematici
• Testi sulla programmazione