Rakuten Kobo

Carrito de compra

Artículos no disponibles para compra.

Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.

artículosartículo

- Incluye libros electrónicos
  
  Incluye audiolibros
  
  Incluye 30 horas de tiempo de escucha
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Incluye libros electrónicos
  
  Incluye audiolibros
  
  Incluye 30 horas de tiempo de escucha
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Incluye libros electrónicos

Incluye audiolibros

Incluye 30 horas de tiempo de escucha

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Incluye libros electrónicos

Incluye audiolibros

Incluye 30 horas de tiempo de escucha

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

Technology and Disability

50 Years of Trace R&D Center Contributions and Lessons Learned

de Gregg Vanderheiden, Jonathan Lazar, Amanda Lazar, Hernisa Kacorri, J. Bern Jordan ...

Series series eBColl Synthesis Collection 12
This book outlines the development of the Trace R&D Center as an institution for furthering accessible and assistive technologies. The book walks readers through the Center’s nascent attempts to solve individual challenges with augmentative communication devices through contemporary efforts to establish global frameworks and infrastructures for accessibility. This book is premised on the Center’s ... Leer más

$906 MXN

This book outlines the development of the Trace R&D Center as an institution for furthering accessible and assistive technologies. The book walks readers through the Center’s nascent attempts to solve individual challenges with augmentative communication devices through contemporary efforts to establish global frameworks and infrastructures for accessibility. This book is premised on the Center’s
... Leer más
Kibana 8.x – A Quick Start Guide to Data Analysis

Learn about data exploration, visualization, and dashboard building with Kibana

de Krishna Shah ...

Uncover valuable business insights by leveraging the power of Kibana to navigate and interpret datasets for improved decision makingKey FeaturesGain profound understanding of the end-to-end workings of KibanaExplore the powerful administration features in Kibana 8.x for managing and supporting data ingestion pipelinesBuild your own analytics and visualization solution from scratchPurchase of the ... Leer más

$547 MXN o gratis con Kobo Plus

Uncover valuable business insights by leveraging the power of Kibana to navigate and interpret datasets for improved decision makingKey FeaturesGain profound understanding of the end-to-end workings of KibanaExplore the powerful administration features in Kibana 8.x for managing and supporting data ingestion pipelinesBuild your own analytics and visualization solution from scratchPurchase of the
... Leer más
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management

15th International Conference, DHM 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29–July 4, 2024, Proceedings, Part III

Edición de Vincent G. Duffy ...

Series Libro 3 - Springer Nature Proceedings Computer Science
This three-volume set LNCS 14709-14711 constitutes the refereed proceedings of the 15th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2024, held as part of the 26th International Conference, HCI International 2024, in Washington, DC, USA, during June 29 – July 4, 2024.The total of 1271 papers and 309 posters included in ... Leer más

$1,994 MXN

This three-volume set LNCS 14709-14711 constitutes the refereed proceedings of the 15th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2024, held as part of the 26th International Conference, HCI International 2024, in Washington, DC, USA, during June 29 – July 4, 2024.The total of 1271 papers and 309 posters included in
... Leer más
A Human-Centered Perspective of Intelligent Personalized Environments and Systems

Edición de Bruce Ferwerda, Mark Graus, Panagiotis Germanakos, Marko Tkalčič ...

Series series Computer Science (R0)
This book investigates the potential of combining the more quantitative - data-driven techniques with the more qualitative - theory-driven approaches towards the design of user-centred intelligent systems. It seeks to explore the potential of incorporating factors grounded in psychological theory into adaptive/intelligent routines, mechanisms, technologies and innovations. It highlights models, ... Leer más

$3,264 MXN

This book investigates the potential of combining the more quantitative - data-driven techniques with the more qualitative - theory-driven approaches towards the design of user-centred intelligent systems. It seeks to explore the potential of incorporating factors grounded in psychological theory into adaptive/intelligent routines, mechanisms, technologies and innovations. It highlights models,
... Leer más
Database Design and Modeling with PostgreSQL and MySQL

Build efficient and scalable databases for modern applications using open source databases

de Alkin Tezuysal, Ibrar Ahmed ...

Become well-versed with database modeling and SQL optimization, and gain a deep understanding of transactional systems through practical examples and exercisesKey FeaturesGet to grips with fundamental-to-advanced database design and modeling concepts with PostgreSQL and MySQLExplore database integration with web apps, emerging trends, and real-world case studiesLeverage practical examples and ... Leer más

$547 MXN o gratis con Kobo Plus

Become well-versed with database modeling and SQL optimization, and gain a deep understanding of transactional systems through practical examples and exercisesKey FeaturesGet to grips with fundamental-to-advanced database design and modeling concepts with PostgreSQL and MySQLExplore database integration with web apps, emerging trends, and real-world case studiesLeverage practical examples and
... Leer más
Intelligent Multidimensional Data Clustering and Analysis

Edición de Siddhartha Bhattacharyya, Sourav De, Indrajit Pan, Paramartha Dutta ...

Data mining analysis techniques have undergone significant developments in recent years. This has led to improved uses throughout numerous functions and applications. Intelligent Multidimensional Data Clustering and Analysis is an authoritative reference source for the latest scholarly research on the advantages and challenges presented by the use of cluster analysis techniques. Highlighting ... Leer más

$3,113 MXN

Data mining analysis techniques have undergone significant developments in recent years. This has led to improved uses throughout numerous functions and applications. Intelligent Multidimensional Data Clustering and Analysis is an authoritative reference source for the latest scholarly research on the advantages and challenges presented by the use of cluster analysis techniques. Highlighting
... Leer más
Handbook of Research on Data-Driven Mathematical Modeling in Smart Cities

Edición de Sabyasachi Pramanik, K. Martin Sagayam ...

A smart city utilizes ICT technologies to improve the working effectiveness, share various data with the citizens, and enhance political assistance and societal wellbeing. The fundamental needs of a smart and sustainable city are utilizing smart technology for enhancing municipal activities, expanding monetary development, and improving citizens’ standards of living. The Handbook of Research on ... Leer más

$5,370 MXN

A smart city utilizes ICT technologies to improve the working effectiveness, share various data with the citizens, and enhance political assistance and societal wellbeing. The fundamental needs of a smart and sustainable city are utilizing smart technology for enhancing municipal activities, expanding monetary development, and improving citizens’ standards of living. The Handbook of Research on
... Leer más
Haptic and Audio Interaction Design

11th International Workshop, HAID 2022, London, UK, August 25–26, 2022, Proceedings

Edición de Charalampos Saitis, Ildar Farkhatdinov, Stefano Papetti ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Haptic and Audio Interaction Design, HAID 2022, held in London, UK, in August 2022.The 13 full papers presented were carefully reviewed and selected from 19 submissions that were sent for peer review. The papers are organized in topical sections on accessibility, perception, design and applications, and musical ... Leer más

$1,088 MXN

This book constitutes the refereed proceedings of the 11th International Conference on Haptic and Audio Interaction Design, HAID 2022, held in London, UK, in August 2022.The 13 full papers presented were carefully reviewed and selected from 19 submissions that were sent for peer review. The papers are organized in topical sections on accessibility, perception, design and applications, and musical
... Leer más
Haptics: Science, Technology, Applications

12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings

Edición de Ilana Nisky, Jess Hartcher-O’Brien, Michaël Wiertlewski, Jeroen Smeets ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020.The 60 papers presented in this volume were carefully reviewed and selected from 111 submissions. The were organized in topical sections on haptic science, haptic technology, and ... Leer más

Gratis

This open access book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020.The 60 papers presented in this volume were carefully reviewed and selected from 111 submissions. The were organized in topical sections on haptic science, haptic technology, and
... Leer más
Building on Smart Cities Skills and Competences

Human factors affecting smart cities development

Edición de Panos Fitsilis ...

Series series Computer Science (R0)
This book provides insights on skills required to achieve success in smart cities from a variety of industry and human factors perspectives. It emphasizes the balance between learning skills, technical skills, and domain-specific skills in these industries, with special emphasis given to innovative software development models. The authors note that digital transformation requires complementary ... Leer más

$2,357 MXN

This book provides insights on skills required to achieve success in smart cities from a variety of industry and human factors perspectives. It emphasizes the balance between learning skills, technical skills, and domain-specific skills in these industries, with special emphasis given to innovative software development models. The authors note that digital transformation requires complementary
... Leer más
Computer Vision – ECCV 2026

19th European Conference, Malmö, Sweden, September 8–12, 2026, Proceedings, Part XIX

Edición de Paolo Favaro, Zuzana Kukelova, Atsuto Maki, Anna Rohrbach, Konrad Schindler, Federico Tombari ...

Series Libro 19 - Springer Nature Proceedings Computer Science
The multi-volume set of LNCS books with volume numbers 17001 up to 17078 constitutes the refereed proceedings of the 19th European Conference on Computer Vision, ECCV 2026, held in Malmö, Sweden, during September 8–12, 2026.The 2834 papers presented in these proceedings were carefully reviewed and selected from a total of 10,473 submissions. They deal with topics such as computer vision; machine ... Leer más

$1,632 MXN

The multi-volume set of LNCS books with volume numbers 17001 up to 17078 constitutes the refereed proceedings of the 19th European Conference on Computer Vision, ECCV 2026, held in Malmö, Sweden, during September 8–12, 2026.The 2834 papers presented in these proceedings were carefully reviewed and selected from a total of 10,473 submissions. They deal with topics such as computer vision; machine
... Leer más
Artificial Intelligence and Life

A Complete Guide to the Basic Concepts in AI, Neural Networks, Machine Learning and Data Science

de Hans Weber ...

Have you always wondered how it is that a machine understands what you are saying? Did you wonder how Siri or Alexa always knows exactly what to show you when you ask them something? If you did, you have come to the right place.Machines are able to interpret and understand human beings and also interpret the data that is fed to them because of artificial intelligence. So, what is artificial ... Leer más

$68 MXN o gratis con Kobo Plus

Have you always wondered how it is that a machine understands what you are saying? Did you wonder how Siri or Alexa always knows exactly what to show you when you ask them something? If you did, you have come to the right place.Machines are able to interpret and understand human beings and also interpret the data that is fed to them because of artificial intelligence. So, what is artificial
... Leer más
Advanced Information Systems Engineering

30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

Edición de John Krogstie, Hajo A. Reijers ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 30th International Conference on Advanced Information Systems Engineering, CAiSE 2018, held in Talinn, Estonia, in June 2018.The 37 papers presented in this volume were carefully reviewed and selected from 175 submissions. The papers are organized in topical sections on Process Execution, User-Oriented IS Development, Social Computing and ... Leer más

$906 MXN

This book constitutes the refereed proceedings of the 30th International Conference on Advanced Information Systems Engineering, CAiSE 2018, held in Talinn, Estonia, in June 2018.The 37 papers presented in this volume were carefully reviewed and selected from 175 submissions. The papers are organized in topical sections on Process Execution, User-Oriented IS Development, Social Computing and
... Leer más
Why Engagement Matters

Cross-Disciplinary Perspectives of User Engagement in Digital Media

Edición de Heather O'Brien, Paul Cairns ...

Series series Computer Science (R0)
User Engagement (UE) is a complex concept to investigate. The purpose of this book is not to constrain UE to one perspective, but to offer a well-rounded appreciation for UE across various domains and disciplines. The text begins with two foundational chapters that describe theoretical and methodological approaches to user engagement; the remaining contributions examine UE from different ... Leer más

$1,632 MXN

User Engagement (UE) is a complex concept to investigate. The purpose of this book is not to constrain UE to one perspective, but to offer a well-rounded appreciation for UE across various domains and disciplines. The text begins with two foundational chapters that describe theoretical and methodological approaches to user engagement; the remaining contributions examine UE from different
... Leer más
Augmented Reality, Virtual Reality, and Computer Graphics

Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part II

Edición de Lucio Tommaso De Paolis, Antonio Mongelli ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The 2-volume set LNCS 9768 and 9769 constitutes the refereed proceedings of the Third International Conference on Augmented Reality, Virtual Reality and Computer Graphics, AVR 2016, held in Lecce, Italy, in June 2016.The 40 full papers and 29 short papers presented werde carefully reviewed and selected from 131 submissions. The SALENTO AVR 2016 conference intended to bring together researchers, ... Leer más

$906 MXN

The 2-volume set LNCS 9768 and 9769 constitutes the refereed proceedings of the Third International Conference on Augmented Reality, Virtual Reality and Computer Graphics, AVR 2016, held in Lecce, Italy, in June 2016.The 40 full papers and 29 short papers presented werde carefully reviewed and selected from 131 submissions. The SALENTO AVR 2016 conference intended to bring together researchers,
... Leer más
Computers Helping People with Special Needs

16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II

Edición de Klaus Miesenberger, Georgios Kouroupetroglou ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10896 and 10897 constitutes the refereed proceedings of the 16th International Conference on Computers Helping People with Special Needs, ICCHP 2018, held in Linz, Austria, in JulyThe 101 revised full papers and 78 short papers presented were carefully reviewed and selected from 356 submissions. The papers are organized in the following topical sections: Web accessibility ... Leer más

$1,178 MXN

The two-volume set LNCS 10896 and 10897 constitutes the refereed proceedings of the 16th International Conference on Computers Helping People with Special Needs, ICCHP 2018, held in Linz, Austria, in JulyThe 101 revised full papers and 78 short papers presented were carefully reviewed and selected from 356 submissions. The papers are organized in the following topical sections: Web accessibility
... Leer más
Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018)

Volume VIII: Ergonomics and Human Factors in Manufacturing, Agriculture, Building and Construction, Sustainable Development and Mining

Edición de Sebastiano Bagnara, Riccardo Tartaglia, Sara Albolino, Thomas Alexander, Yushi Fujita ...

Series series Springer Nature Proceedings excluding Computer Science
This book presents the proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018), held on August 26-30, 2018, in Florence, Italy. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including engineering, design, robotics, healthcare, management, computer science, ... Leer más

$3,626 MXN

This book presents the proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018), held on August 26-30, 2018, in Florence, Italy. By highlighting the latest theories and models, as well as cutting-edge technologies and applications, and by combining findings from a range of disciplines including engineering, design, robotics, healthcare, management, computer science,
... Leer más
Visual Computing for Cultural Heritage

Edición de Fotis Liarokapis, Athanasios Voulodimos, Nikolaos Doulamis, Anastasios Doulamis ...

Series series Computer Science (R0)
This book provides insights into the state of the art of digital cultural heritage using computer graphics, image processing, computer vision, visualization and reconstruction, virtual and augmented reality and serious games. It aims at covering the emergent approaches for digitization and preservation of Cultural Heritage, both in its tangible and intangible facets.Advancements in Digital ... Leer más

$3,082 MXN

This book provides insights into the state of the art of digital cultural heritage using computer graphics, image processing, computer vision, visualization and reconstruction, virtual and augmented reality and serious games. It aims at covering the emergent approaches for digitization and preservation of Cultural Heritage, both in its tangible and intangible facets.Advancements in Digital
... Leer más
Computer Vision – ECCV 2026

19th European Conference, Malmö, Sweden, September 8–12, 2026, Proceedings, Part IX

Edición de Paolo Favaro, Zuzana Kukelova, Atsuto Maki, Anna Rohrbach, Konrad Schindler, Federico Tombari ...

Series Libro 9 - Springer Nature Proceedings Computer Science
The multi-volume set of LNCS books with volume numbers 17001 up to 17078 constitutes the refereed proceedings of the 19th European Conference on Computer Vision, ECCV 2026, held in Malmö, Sweden, during September 8–12, 2026.The 2834 papers presented in these proceedings were carefully reviewed and selected from a total of 10,473 submissions. They deal with topics such as computer vision; machine ... Leer más

$1,632 MXN

The multi-volume set of LNCS books with volume numbers 17001 up to 17078 constitutes the refereed proceedings of the 19th European Conference on Computer Vision, ECCV 2026, held in Malmö, Sweden, during September 8–12, 2026.The 2834 papers presented in these proceedings were carefully reviewed and selected from a total of 10,473 submissions. They deal with topics such as computer vision; machine
... Leer más
Natural Language Processing and Large Language Models

Theory, Hand-on Codes, and Case Studies

de Chengqing Zong, Yang Zhao, Yanjun Ma ...

Series series Artificial Intelligence (R0)
This open access book unlocks the full potential of Natural Language Processing (NLP) through a comprehensive and hands-on guide that bridges foundational theory and cutting-edge practice. Whether you're a student, researcher, or industry practitioner, it enables you to build and deploy state-of-the-art NLP models—from classical statistical approaches to modern neural architectures and large ... Leer más

Gratis

This open access book unlocks the full potential of Natural Language Processing (NLP) through a comprehensive and hands-on guide that bridges foundational theory and cutting-edge practice. Whether you're a student, researcher, or industry practitioner, it enables you to build and deploy state-of-the-art NLP models—from classical statistical approaches to modern neural architectures and large
... Leer más
Ultimate BigQuery for Data Engineering

de Dinak Lal ...

Every Great AI System Begins with a Great Data PlatformBigQuery is the backbone of modern cloud data engineering. Ultimate BigQuery for Data Engineering takes you from SQL fundamentals to building a complete production analytics platform on Google Cloud - with hands-on labs and real engineering patterns at every stage.You begin with BigQuery internals - columnar storage, Dremel execution, and slot ... Leer más

$410 MXN

Every Great AI System Begins with a Great Data PlatformBigQuery is the backbone of modern cloud data engineering. Ultimate BigQuery for Data Engineering takes you from SQL fundamentals to building a complete production analytics platform on Google Cloud - with hands-on labs and real engineering patterns at every stage.You begin with BigQuery internals - columnar storage, Dremel execution, and slot
... Leer más
AI for Time Series

Volume 2: Building Robust and Generalizable Models

Edición de Min Wu, Emadeldeen Eldele, Zhenghua Chen, Shirui Pan, Qingsong Wen, Xiaoli Li ...

This book provides a thorough exploration of the latest innovations in AI for general time series analysis, distribution shift and foundation models. It offers an in-depth look at cutting-edge techniques and methodologies, using advance algorithms that are transforming time series analysis across industries. The authors highlight the use AI models, particularly those based on deep learning, to ... Leer más

$1,210 MXN

This book provides a thorough exploration of the latest innovations in AI for general time series analysis, distribution shift and foundation models. It offers an in-depth look at cutting-edge techniques and methodologies, using advance algorithms that are transforming time series analysis across industries. The authors highlight the use AI models, particularly those based on deep learning, to
... Leer más
Learn Zig over Rust and C++

de Annie Cal ...

There's a question that's always been asked by systems programmers working in C++ and those working in Rust. Is there a way to control systems that doesn't mean choosing between power and predictability? Zig represents that path.The idea is pretty clear as really there's no such thing as hidden behaviour. Everything's totally clear about each allocation. Every error is given a name and can be ... Leer más

$519 MXN o gratis con Kobo Plus

There's a question that's always been asked by systems programmers working in C++ and those working in Rust. Is there a way to control systems that doesn't mean choosing between power and predictability? Zig represents that path.The idea is pretty clear as really there's no such thing as hidden behaviour. Everything's totally clear about each allocation. Every error is given a name and can be
... Leer más
Rewriting Logic and Its Applications

12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Edición de Vlad Rusu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, ... Leer más

$906 MXN

This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency,
... Leer más

Kobo Rakuten

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Programación

Technology and Disability

Kibana 8.x – A Quick Start Guide to Data Analysis

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management

A Human-Centered Perspective of Intelligent Personalized Environments and Systems

Database Design and Modeling with PostgreSQL and MySQL

Intelligent Multidimensional Data Clustering and Analysis

Handbook of Research on Data-Driven Mathematical Modeling in Smart Cities

Haptic and Audio Interaction Design

Haptics: Science, Technology, Applications

Building on Smart Cities Skills and Competences

Computer Vision – ECCV 2026

Artificial Intelligence and Life

Advanced Information Systems Engineering

Why Engagement Matters

Augmented Reality, Virtual Reality, and Computer Graphics

Computers Helping People with Special Needs

Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018)

Visual Computing for Cultural Heritage

Computer Vision – ECCV 2026

Natural Language Processing and Large Language Models

Ultimate BigQuery for Data Engineering

AI for Time Series

Learn Zig over Rust and C++

Rewriting Logic and Its Applications