Maribel Fernández – författare
Visar alla böcker från författaren Maribel Fernández. Handla med fri frakt och snabb leverans.
11 produkter
Programming Languages and Operational Semantics
A Concise Overview
Häftad, 2014
455 kr
Lägg i varukorg
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 and Operational Semantics
A Concise Overview
E-bok, 2014
453 kr
Lägg i varukorg
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 …
Models of Computation
An Introduction to Computability Theory
Häftad, 2009
455 kr
Lägg i varukorg
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 …
Models of Computation
An Introduction to Computability Theory
E-bok, 2009
453 kr
Lägg i varukorg
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 …
Proceedings of URC* 2010. Undergraduate Research in Computer Science - Theory and Applications. Student Conference
Av Maribel Fernandez, Kathleen Steinhoefel
Häftad, 2010
195 kr
Lägg i varukorg
Logic-Based Program Synthesis and Transformation
30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
Häftad, 2021
848 kr
Lägg i varukorg
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 …
Logic-Based Program Synthesis and Transformation
30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings
E-bok, 2021
1091 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 30 th 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 …
Graph Transformation
16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings
Av Maribel Fernández, Christopher M. Poskitt
Häftad, 2023
714 kr
Lägg i varukorg
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. …
Graph Transformation
16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings
Av Christopher M. Poskitt, Maribel Fernandez
E-bok, 2023
897 kr
Lägg i varukorg
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. …
