ceiling lights & chandeliers
fundamentals of computation theory 17th international symposium fct 2009 wroclaw poland september 2 4 2009 proceedings
p this book constitutes the refereed proceedings of the 17th international symposium fundamentals of computation theory fct 2009 held in wroclaw poland in august 2009 . p the 29 revised full papers were carefully reviewed and selected from 67 submissions . the papers address all current topics in computation theory such as automata and formal languages design and analysis of algorithms computational and structural complexity semantics logic algebra and categories in computer science circuits and networks learning theory specification and verification parallel and distributed systems concurrency theory cryptography and cryptograhic protocols approximation and randomized algorithms computational geometry quantum computation and information bio inspired computation .