It is clear that computation is playing an increasingly prominent role in the development of math...

This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 Internat...

This book is based on the outcome of the '2012 Interdisciplinary Symposium on Complex Systems' he...

It is clear that computation is playing an increasingly prominent role in the development of math...

This volume, with a foreword by Sir Roger Penrose, discusses the foundations of computation in re...

This book is based on the outcome of the '2012 Interdisciplinary Symposium on Complex Systems' he...

This review volume consists of an indispensable set of chapters written by leading scholars, scie...

This book explores a different pragmatic approach to algorithmic complexity rooted or motivated b...

Aimed at graduate students and researchers, this book offers a model-driven approach to the study...