| Michael Sipser - 1997 - 424 pagina’s
Designed for researchers in advanced numerical methods or parallel computing, this definitive reference focuses on solving large and sparse linear systems of equations using ... | |
| Michael Sipser - 1996 - 264 pagina’s
Discusses such topics as: regular languages; context-free languages; Church-Turing thesis; decidability; reducibility; the recursion theorem; time complexity; space complexity ... | |
| |