Handbook of theoretical computer science

作者: J. Van Leeuwen

DOI:

关键词:

摘要: "Of all the books I have covered in Forum to date, this set is most unique and possibly useful SIGACT community, support both of teaching research.... The can be used by anyone wanting simply gain an understanding one these areas, or someone desiring research a topic, instructors wishing find timely information on subject they are outside their major areas expertise." -- Rocky Ross, "SIGACT News" "This reference which has place every computer science library." Raymond Lauzzana, "Languages Design" Handbook Theoretical Computer Science provides professionals students with comprehensive overview main results developments rapidly evolving field. Volume A covers models computation, complexity theory, data structures, efficient computation many recognized subdisciplines theoretical science. B takes up theory automata rewriting systems, foundations modern programming languages, logics for program specification verification, presents several studies theoretic modeling advanced processing. two volumes contain thirty-seven chapters, extensive chapter references individual tables contents each chapter. There 5,387 entry indexes that include notational symbols, list contributors affiliations volume.

参考文章(0)