Progetto:Matematica/Testi sulla matematica per l'informatica
Vai alla navigazione
Vai alla ricerca
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
[modifica wikitesto]- 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