基本信息出版社:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
页码:660 页
出版日期:2002年02月
ISBN:3540432833
条形码:9783540432838
版本:2002-02-27
装帧:平装
开本:20开 Pages Per Sheet
丛书名:Lecture Notes in Computer Science
外文书名:2002第十九届计算机科学理论问题年度会议
内容简介 Book Description
This book constitutes the refereed proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2002, held in Antibes - Juan les Pins, France, in March 2002.
The 50 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 209 submissions. The book offers topical sections on algorithms, current challenges, computational and structural complexity, automata and formal languages, and logic in computer science.
Book Dimension
length: (cm)22.9 width:(cm)15.2
目录
Hyper-Encryption and Everlasting Security by Y. Z. Ding and M. O. Rabin 1
Models and Techniques for Communication in Dynamic Networks by C. Scheideler 27
What Is a Theory? by G. Dowek 50
……