This book constitutes the strictly refereed proceedings of the 15th Annual Symposium on Theoretic...

Elements of Interaction.- Enterprise Architecture as Language.- Real-Time Animation for Formal Sp...

This book contains all refereed papers that were accepted to the second edition of the ' Complex ...

This book contains all refereed papers that were accepted to the first edition of the ' Digital E...

This book contains all refereed papers that were accepted to the third edition of the ' Complex S...

This book contains all refereed papers that were accepted to the fourth edition of the ' Complex ...

This book contains all refereed papers that were accepted to the first edition of the Asia-Pacifi...

This book contains all refereed papers that were accepted to the second edition of the ' Digital ...

Exact Asymptotics of Meander Numbers.- Algorithms of Integral Representation of Combinatorial Sum...

This book contains all refereed papers thatwere accepted to the second edition of the Asia-Pacifi...

Section A: Regular Papers.- Section B: Posters.

This book gathers all papers presented at the third edition of the international conference 'Comp...