Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings
(PDF英文版)
by Edward Ochmanski, Jerzy Tyszkiewicz
Hardcover: 626 pages
Publisher: Springer (September 1, 2008)
ISBN-10: 3540852379
ISBN-13: 978-3540852377

All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification.

详细介绍在此：http://www.springer.com/book/978-3-540-85237-7