Maribel Fernández - Böcker
Visar alla böcker från författaren Maribel Fernández. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
443 kr
Skickas inom 10-15 vardagar
This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages.
442 kr
Skickas inom 10-15 vardagar
A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from the standard Turing Machines and Recursive Functions, to the modern computation models inspired by quantum physics. An in-depth analysis of the basic concepts underlying each model of computation is provided.Divided into two parts, the first highlights the traditional computation models used in the first studies on computability: - Automata and Turing Machines; - Recursive functions and the Lambda-Calculus; - Logic-based computation models.and the second part covers object-oriented and interaction-based models. There is also a chapter on concurrency, and a final chapter on emergent computation models inspired by quantum mechanics.At the end of each chapter there is a discussion on the use of computation models in the design of programming languages.
Proceedings of URC* 2010. Undergraduate Research in Computer Science - Theory and Applications. Student Conference
Häftad, Engelska, 2010
190 kr
Skickas inom 5-8 vardagar
Del 12561 - Lecture Notes in Computer Science
Logic-Based Program Synthesis and Transformation
30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
Häftad, Engelska, 2021
824 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions.
Del 13961 - Lecture Notes in Computer Science
Graph Transformation
16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings
Häftad, Engelska, 2023
694 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023. The 14 full papers and 2 short papers presented in this book were carefully reviewed and selected from 29 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph transformation as well as tool presentation papers that demonstrate main new features and functionalities of graph-based tools.
634 kr
Skickas inom 5-8 vardagar