for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 21st International Conference on Developments in Language Theory, DLT 2017, held in Liège, Belgium, in August 2017.The 24 full papers and 6 (abstract of) invited papers were carefully reviewed and selected from 47 submissions.
This book helps readers to implement their designs on Xilinx® FPGAs. Throughout the presentation, the authors focus on key concepts, major mechanisms for design... Læs mere
This book constitutes the refereed proceedings of the 15th International... Læs mere
This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015.
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The papers show the trend set of current research in automated reasoning in geometry.
This book constitutes the proceedings of the 14th International Symposium... Læs mere
This book constitutes the proceedings of the 31st International Conference on Architecture of Computing Systems, ARCS 2018, held in Braunschweig, Germany, in April 2018.The 23 full papers presented in this volume were carefully reviewed and selected from 53 submissions.
It can be argued that architecture principles form the cornerstone of any architecture. The focus of this book is on the role of architecture principles. It provides both a balanced perspective on architecture principles, and is the first book on the topic.