Computation should be a good blend of theory and practice, and researchers in the field should...
This book comprises the refereed proceedings of the Workshop on Computation: Theory and Practice ...
This book constitutes the refereed proceedings of the 14th Pacific Rim Collocated PRICAI 2016 Wor...
This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Ac...
InhaltsangabeOn Generating Soft Real-Time Programs for Non-Real-Time Environments.- A Formal Onto...
Computation should be a good blend of theory and practice, and researchers in the field should cr...