Sökt på: Sökresultat
totalt 7 träffar
Graph Transformation
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 …
Models of Computation
A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from …
Programming Languages and Operational Semantics
This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language …
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during …
Los Marqueses de El Pielago: El secreto
En los a os cincuenta, Isabel, una chica humilde del barrio de Las Cuevas, entrar a trabajar como personal de servicio en la finca de Los Marqueses de El Pi lago. Apenas …
Relatos Costumbristas
Como me gusta escribir peque os relatos con personajes a los que le ocurren historias dentro de lo cotidiano. Historias mezcla de realidad fantas a
The Semantic Web: ESWC 2020 Satellite Events
Chapter “ABECTO: An ABox Evaluation and Comparison Tool for Ontologies” is available open access under a Creative Commons Attribution 4.0 International License …