Sökt på: Böcker av Maribel Fernández
totalt 16 träffar
La Nina Mala
Imaginacion y sentido
Este es un libro colectivo. En mas de un sentido. En primer lugar, recoge dinamicas y estrategias enfocadas a la creacion literaria entre bachilleres, disenadas e implementadas por …
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 …
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 …
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 …
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 …
Semantic Web: ESWC 2020 Satellite Events
Chapter "e;ABECTO: An ABox Evaluation and Comparison Tool for Ontologies"e; is available open access under a Creative Commons Attribution 4.0 International License …
Proceedings of URC* 2010. Undergraduate Research in Computer Science - Theory and Applications. Student Conference
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 …