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

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  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
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  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

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

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

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

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

Raku Recipes

A Problem-Solution Approach

de J.J. Merelo ...

Series series Professional and Applied Computing (R0)
Explore Raku problems and solutions using the latest version of the Raku programming language. In Raku Recipes, the emphasis is on applying Raku code to various important tasks and applications including data science, analytics, microservices, and desktop/console applications. There are also fun one-liner script recipes and instructions on how to create mini-languages of your very own.All in all, ... Leer más

$1,070 MXN

Explore Raku problems and solutions using the latest version of the Raku programming language. In Raku Recipes, the emphasis is on applying Raku code to various important tasks and applications including data science, analytics, microservices, and desktop/console applications. There are also fun one-liner script recipes and instructions on how to create mini-languages of your very own.All in all,
... Leer más
Options and Derivatives Programming in C++20

Algorithms and Programming Techniques for the Financial Industry

de Carlos Oliveira ...

Series series Professional and Applied Computing (R0)
Master the features of C++ that are frequently used to write financial software for options and derivatives, including the STL, templates, functional programming, and numerical libraries. This book also covers new features introduced in C++20 and other recent standard releases: modules, concepts, spaceship operators, and smart pointers.You will explore how-to examples covering all the major tools ... Leer más

$1,070 MXN

Master the features of C++ that are frequently used to write financial software for options and derivatives, including the STL, templates, functional programming, and numerical libraries. This book also covers new features introduced in C++20 and other recent standard releases: modules, concepts, spaceship operators, and smart pointers.You will explore how-to examples covering all the major tools
... Leer más
Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

7th International Workshop, EXTRAAMAS 2025, Detroit, MI, USA, May 19–20, 2025, Revised Selected Papers

Edición de Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Simona Tiribelli, Kary Främling ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: AI ... Leer más

$1,036 MXN

This book constitutes the refereed post-conference proceedings of the 7th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2025, held in Detroit, MI, USA, during May 19-20, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: AI
... Leer más
E-Learning, E-Education, and Online Training

Second International Conference, eLEOT 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers

Edición de Alberto Bucciero, Carlos Vaz de Carvalho, Giovanni Vincenti ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Second International Conference on E-Learning, E-Education, and Online Training, eLEOT 2015, held in Novedrate, Italy, in September 2015.The 26 revised full papers presented were carefully reviewed and selected from 52 submissions. They focus on e-learning and distance education in science, technology, engineering and math. ... Leer más

$854 MXN

This book constitutes the proceedings of the Second International Conference on E-Learning, E-Education, and Online Training, eLEOT 2015, held in Novedrate, Italy, in September 2015.The 26 revised full papers presented were carefully reviewed and selected from 52 submissions. They focus on e-learning and distance education in science, technology, engineering and math.
... Leer más
Quality of Synthetic Speech

Perceptual Dimensions, Influencing Factors, and Instrumental Assessment

de Florian Hinterleitner ...

Series series Engineering (R0)
This book reviews research towards perceptual quality dimensions of synthetic speech, compares these findings with the state of the art, and derives a set of five universal perceptual quality dimensions for TTS signals. They are: (i) naturalness of voice, (ii) prosodic quality, (iii) fluency and intelligibility, (iv) absence of disturbances, and (v) calmness. Moreover, a test protocol for the ... Leer más

$2,000 MXN

This book reviews research towards perceptual quality dimensions of synthetic speech, compares these findings with the state of the art, and derives a set of five universal perceptual quality dimensions for TTS signals. They are: (i) naturalness of voice, (ii) prosodic quality, (iii) fluency and intelligibility, (iv) absence of disturbances, and (v) calmness. Moreover, a test protocol for the
... Leer más
Design of Video Quality Metrics with Multi-Way Data Analysis

A data driven approach

de Christian Keimel ...

Series series Engineering (R0)
This book proposes a data-driven methodology using multi-way data analysis for the design of video-quality metrics. It also enables video- quality metrics to be created using arbitrary features. This data- driven design approach not only requires no detailed knowledge of the human visual system, but also allows a proper consideration of the temporal nature of video using a three-way prediction ... Leer más

$1,636 MXN

This book proposes a data-driven methodology using multi-way data analysis for the design of video-quality metrics. It also enables video- quality metrics to be created using arbitrary features. This data- driven design approach not only requires no detailed knowledge of the human visual system, but also allows a proper consideration of the temporal nature of video using a three-way prediction
... Leer más
Le Bon Sens de l'Interface

Manuel pratique d'utilisabilité

de Jean-Jacques Maine ...

Comment savoir si votre produit possède une interface véritablement intuitive et facile d'utilisation ?Ce livre propose une approche pragmatique et directe pour évaluer et améliorer l'ergonomie de vos conceptions. Qu'il s'agisse d'une application mobile, d'un logiciel de bureau complexe, d'une machine industrielle ou même d'un objet du quotidien, les principes d'interaction restent les mêmes.Loin ... Leer más

$163 MXN o gratis con Kobo Plus

Comment savoir si votre produit possède une interface véritablement intuitive et facile d'utilisation ?Ce livre propose une approche pragmatique et directe pour évaluer et améliorer l'ergonomie de vos conceptions. Qu'il s'agisse d'une application mobile, d'un logiciel de bureau complexe, d'une machine industrielle ou même d'un objet du quotidien, les principes d'interaction restent les mêmes.Loin
... Leer más
Haptics: Neuroscience, Devices, Modeling, and Applications

9th International Conference, EuroHaptics 2014, Versailles, France, June 24-26, 2014, Proceedings, Part II

Edición de Malika Auvray, Christian Duriez ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 8618 and 8619 constitutes the refereed proceedings of the 9th International Conference EuroHaptics 2014, held in Versailles, France, in June 2014.The 118 papers (36 oral presentations and 82 poster presentations) presented were carefully reviewed and selected from 183 submissions. Furthermore, 27 demos were exhibited, each of them resulting in a short paper included in the ... Leer más

$909 MXN

The two-volume set LNCS 8618 and 8619 constitutes the refereed proceedings of the 9th International Conference EuroHaptics 2014, held in Versailles, France, in June 2014.The 118 papers (36 oral presentations and 82 poster presentations) presented were carefully reviewed and selected from 183 submissions. Furthermore, 27 demos were exhibited, each of them resulting in a short paper included in the
... Leer más
Search Based Software Engineering

8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

Edición de Federica Sarro, Kalyanmoy Deb ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE) ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE)
... Leer más
Haptics: Perception, Devices, Control, and Applications

10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II

Edición de Fernando Bello, Hiroyuki Kajimoto, Yon Visell ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9774 and 9775 constitutes the refereed proceedings of the 10th International Conference EuroHaptics 2016, held in London, UK, in July 2016.The 100 papers (36 oral presentations and 64 poster presentations) presented were carefully reviewed and selected from 162 submissions. These proceedings reflect the multidisciplinary nature of EuroHaptics and cover topics such as ... Leer más

$909 MXN

The two-volume set LNCS 9774 and 9775 constitutes the refereed proceedings of the 10th International Conference EuroHaptics 2016, held in London, UK, in July 2016.The 100 papers (36 oral presentations and 64 poster presentations) presented were carefully reviewed and selected from 162 submissions. These proceedings reflect the multidisciplinary nature of EuroHaptics and cover topics such as
... Leer más
Image and Video Technology

8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers

Edición de Manoranjan Paul, Carlos Hitoshi, Qingming Huang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 8th Pacific Rim Symposium on Image and Video Technology, PSIVT 2017, held in Wuhan, China, in November 2017.The total of 39 revised papers was carefully reviewed and selected from 91 submissions.The Pacific-Rim Symposium on Image and Video Technology (PSIVT) is a high-quality series of symposia that aim at providing a ... Leer más

$909 MXN

This book constitutes the thoroughly refereed post-conference proceedings of the 8th Pacific Rim Symposium on Image and Video Technology, PSIVT 2017, held in Wuhan, China, in November 2017.The total of 39 revised papers was carefully reviewed and selected from 91 submissions.The Pacific-Rim Symposium on Image and Video Technology (PSIVT) is a high-quality series of symposia that aim at providing a
... Leer más
Model and Data Engineering

7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings

Edición de Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017.The 20 full papers and 7 short papers presented together with 2 invited talks were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on domain specific languages; systems and software ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017.The 20 full papers and 7 short papers presented together with 2 invited talks were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on domain specific languages; systems and software
... Leer más
Databases Theory and Applications

28th Australasian Database Conference, ADC 2017, Brisbane, QLD, Australia, September 25–28, 2017, Proceedings

Edición de Zi Huang, Xiaokui Xiao, Xin Cao ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 28th Australasian Database Conference, ADC 2017, held in Brisbane, QLD, Australia, in September 2017.The 20 full papers presented together with 2 demo papers were carefully reviewed and selected from 32 submissions. The mission of ADC is to share novel research solutions to problems of today’s information society that fulfill the needs of ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 28th Australasian Database Conference, ADC 2017, held in Brisbane, QLD, Australia, in September 2017.The 20 full papers presented together with 2 demo papers were carefully reviewed and selected from 32 submissions. The mission of ADC is to share novel research solutions to problems of today’s information society that fulfill the needs of
... Leer más
Pro TypeScript

Application-Scale JavaScript Development

de Steve Fenton ...

Series series Professional and Applied Computing (R0)
Explore the features of this innovative open source language in depth, from working with the type system through object-orientation to understanding the runtime and the TypeScript compiler. This fully revised and updated second edition of Steve Fenton’s popular book covers everything you need to discover this fascinating language and transform your experience of JavaScript development.What’s New ... Leer más

$1,359 MXN

Explore the features of this innovative open source language in depth, from working with the type system through object-orientation to understanding the runtime and the TypeScript compiler. This fully revised and updated second edition of Steve Fenton’s popular book covers everything you need to discover this fascinating language and transform your experience of JavaScript development.What’s New
... Leer más
AI-Driven Data Engineering

Unleashing the Power of Data for the Future

de Chuck Sherman ...

Series Libro 1 - AI-Driven Data Engineering
In this age of data, where information is being generated at an unprecedented rate, the role of data engineering has become more critical than ever. Data engineers are the unsung heroes who work behind the scenes to ensure that data is collected, stored, transformed, and made accessible for analysis. However, with the advent of artificial intelligence (AI), the landscape of data engineering is ... Leer más

$68 MXN o gratis con Kobo Plus

In this age of data, where information is being generated at an unprecedented rate, the role of data engineering has become more critical than ever. Data engineers are the unsung heroes who work behind the scenes to ensure that data is collected, stored, transformed, and made accessible for analysis. However, with the advent of artificial intelligence (AI), the landscape of data engineering is
... Leer más
Data Mesh

A Comprehensive Guide to Modern Data Architecture

de Brian Paul ...

In a world where data reigns supreme, organizations are grappling with the challenges posed by traditional data management approaches. "Unleashing the Power of Data Mesh" is your definitive guide to navigating this evolving landscape and harnessing the true potential of your data assets.This comprehensive book takes you on a transformative journey through the revolutionary paradigm of Data Mesh, a ... Leer más

$68 MXN o gratis con Kobo Plus

In a world where data reigns supreme, organizations are grappling with the challenges posed by traditional data management approaches. "Unleashing the Power of Data Mesh" is your definitive guide to navigating this evolving landscape and harnessing the true potential of your data assets.This comprehensive book takes you on a transformative journey through the revolutionary paradigm of Data Mesh, a
... Leer más
Python for Data Analysis

Unlocking the Potential of Data Through Python

de Brian Paul ...

In this book, we take you on a journey through the essential tools and techniques that Python offers for data analysis. Beginning with the fundamentals of Python programming, you'll swiftly progress to mastering the NumPy and Pandas libraries, building a solid foundation for manipulating and cleaning data. Dive into the world of Exploratory Data Analysis (EDA), learning how to visualize and ... Leer más

$68 MXN o gratis con Kobo Plus

In this book, we take you on a journey through the essential tools and techniques that Python offers for data analysis. Beginning with the fundamentals of Python programming, you'll swiftly progress to mastering the NumPy and Pandas libraries, building a solid foundation for manipulating and cleaning data. Dive into the world of Exploratory Data Analysis (EDA), learning how to visualize and
... Leer más
Artificial Intelligence Fundamentals

A Journey through the Heart of Machine Intelligence

de Brandon Scott ...

Embark on an enlightening journey into the realm of artificial intelligence with "Artificial Intelligence Fundamentals: A Journey through the Heart of Machine Intelligence" Whether you're a curious newcomer or an aspiring developer, this comprehensive book is designed to demystify the intricate world of AI and provide a hands-on introduction to the power of Python in crafting intelligent systems ... Leer más

$68 MXN o gratis con Kobo Plus

Embark on an enlightening journey into the realm of artificial intelligence with "Artificial Intelligence Fundamentals: A Journey through the Heart of Machine Intelligence" Whether you're a curious newcomer or an aspiring developer, this comprehensive book is designed to demystify the intricate world of AI and provide a hands-on introduction to the power of Python in crafting intelligent systems
... Leer más
Data Visualization Guide

Clear Introduction to Data Mining, Analysis, and Visualization

de Alex Campbell ...

Have you ever wondered how you can work with large volumes of data sets? Do you ever think about how you can use these data sets to identify hidden patterns and make an informed decision? Do you know where you can collect this information? Have you ever questioned what you can do with incomplete or incorrect data sets? If you said yes to any of these questions, then you have come to the right ... Leer más

$68 MXN o gratis con Kobo Plus

Have you ever wondered how you can work with large volumes of data sets? Do you ever think about how you can use these data sets to identify hidden patterns and make an informed decision? Do you know where you can collect this information? Have you ever questioned what you can do with incomplete or incorrect data sets? If you said yes to any of these questions, then you have come to the right
... Leer más
Provenance and Annotation of Data and Processes

7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings

Edición de Khalid Belhajjame, Ashish Gehani, Pinar Alper ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of
... Leer más
Stabilization, Safety, and Security of Distributed Systems

20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

Edición de Taisuke Izumi, Petr Kuznetsov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018.The 24 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized into three tracks reflecting major trends related to distributed systems: theoretical ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018.The 24 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized into three tracks reflecting major trends related to distributed systems: theoretical
... Leer más
Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Edición de Tomáš Vojnar, Lijun Zhang ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... Leer más

Gratis

This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of
... Leer más
Formal Methods for Industrial Critical Systems

26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

Edición de Alberto Lluch Lafuente, Anastasia Mavridou ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from ... Leer más

$909 MXN

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from
... Leer más
Rules and Reasoning

5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings

Edición de Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu, Dumitru Roman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2021, held in Leuven, Belgium, during September, 2021. This is the 5th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 17 full research papers presented ... Leer más

$1,182 MXN

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2021, held in Leuven, Belgium, during September, 2021. This is the 5th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 17 full research papers presented
... 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

Raku Recipes

Options and Derivatives Programming in C++20

Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

E-Learning, E-Education, and Online Training

Quality of Synthetic Speech

Design of Video Quality Metrics with Multi-Way Data Analysis

Le Bon Sens de l'Interface

Haptics: Neuroscience, Devices, Modeling, and Applications

Search Based Software Engineering

Haptics: Perception, Devices, Control, and Applications

Image and Video Technology

Model and Data Engineering

Databases Theory and Applications

Pro TypeScript

AI-Driven Data Engineering

Data Mesh

Python for Data Analysis

Artificial Intelligence Fundamentals

Data Visualization Guide

Provenance and Annotation of Data and Processes

Stabilization, Safety, and Security of Distributed Systems

Tools and Algorithms for the Construction and Analysis of Systems

Formal Methods for Industrial Critical Systems

Rules and Reasoning