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

Programming and Performance Visualization Tools

International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Edición de Abhinav Bhatele, David Boehme, Joshua A. Levine, Allen D. Malony, Martin Schulz ...

Series series Springer Nature Proceedings Computer Science
This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC) in November 2017 in Denver, CO, USA, and in November 2018 in Dallas, TX, USA: the 6th and 7th International Workshop on Extreme-Scale Programming Tools, ESPT 2017 and ESPT 2018, and the 4th and 5th International ... Leer más

$1,033 MXN

This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC) in November 2017 in Denver, CO, USA, and in November 2018 in Dallas, TX, USA: the 6th and 7th International Workshop on Extreme-Scale Programming Tools, ESPT 2017 and ESPT 2018, and the 4th and 5th International
... Leer más
Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

de Chris McCord ...

Write code that writes code with Elixir macros. Macros make metaprogramming possible and define the language itself. In this book, you'll learn how to use macros to extend the language with fast, maintainable code and share functionality in ways you never thought possible. You'll discover how to extend Elixir with your own first-class features, optimize performance, and create domain-specific ... Leer más

$200 MXN

Write code that writes code with Elixir macros. Macros make metaprogramming possible and define the language itself. In this book, you'll learn how to use macros to extend the language with fast, maintainable code and share functionality in ways you never thought possible. You'll discover how to extend Elixir with your own first-class features, optimize performance, and create domain-specific
... Leer más
Computer Safety, Reliability, and Security

35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Edición de Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, ... Leer más

$906 MXN

This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification,
... Leer más
Geographical Information Systems Theory, Applications and Management

4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers

Edición de Lemonia Ragia, Cédric Grueau, Robert Laurini ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2018, held in Funchal, Madeira, Portugal, in March 2018.The 7 revised full papers presented were carefully reviewed and selected from 58 submissions. The papers are centered on urban and regional planning; water information ... Leer más

$906 MXN

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Geographical Information Systems Theory, Applications and Management, GISTAM 2018, held in Funchal, Madeira, Portugal, in March 2018.The 7 revised full papers presented were carefully reviewed and selected from 58 submissions. The papers are centered on urban and regional planning; water information
... Leer más
Perspectives on Software Requirements

Edición de Jorge Horacio Doorn, Julio Cesar Sampaio do Prado Leite ...

Series Libro 753 - The Springer International Series in Engineering and Computer Science
Perspectives On Software Requirements presents perspectives on several current approaches to software requirements. Each chapter addresses a specific problem where the authors summarize their experiences and results to produce well-fit and traceable requirements. Chapters highlight familiar issues with recent results and experiences, which are accompanied by chapters describing well-tuned new ... Leer más

$1,632 MXN

Perspectives On Software Requirements presents perspectives on several current approaches to software requirements. Each chapter addresses a specific problem where the authors summarize their experiences and results to produce well-fit and traceable requirements. Chapters highlight familiar issues with recent results and experiences, which are accompanied by chapters describing well-tuned new
... Leer más
Game Development with Construct 2

From Design to Realization

de LEE STEMKOSKI, Evan Leider ...

Series series Professional and Applied Computing (R0)
Design and create video games using Construct 2. No prior experience is required.Game Development with Construct 2 teaches you to create 12 different game projects from a variety of genres, including car racing and tower defense to platformer and action-adventure. The software is user friendly and powerful, and the games you create can be exported to run on the web, desktop computers, and ... Leer más

$1,067 MXN

Design and create video games using Construct 2. No prior experience is required.Game Development with Construct 2 teaches you to create 12 different game projects from a variety of genres, including car racing and tower defense to platformer and action-adventure. The software is user friendly and powerful, and the games you create can be exported to run on the web, desktop computers, and
... Leer más
Trends in Functional Programming

16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

Edición de Manuel Serrano, Jurriaan Hage ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional ... Leer más

$725 MXN

This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional
... Leer más
Formal Methods and Software Engineering

23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Edición de Adrian Riesco, Min Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such ... Leer más

$906 MXN

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such
... Leer más
Software Architecture

11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

Edición de Rogério de Lemos, Antónia Lopes ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th European Conference on Software Architecture, ECSA 2017, held in Canterbury, UK, in September 2017.The 9 full papers presented together with 12 short papers and one keynote talk were carefully reviewed and selected from 54 submissions. They are organized in topical sections on Software Architecture Analysis and Verification; Software Architecture ... Leer más

$906 MXN

This book constitutes the proceedings of the 11th European Conference on Software Architecture, ECSA 2017, held in Canterbury, UK, in September 2017.The 9 full papers presented together with 12 short papers and one keynote talk were carefully reviewed and selected from 54 submissions. They are organized in topical sections on Software Architecture Analysis and Verification; Software Architecture
... Leer más
C++ Standard Library Quick Reference

de Marc Gregoire, Peter Van Weert ...

Series series Professional and Applied Computing (R0)
This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++ Standard Library. Used by millions of C++ programmers on a daily basis, the C++ Standard Library features core classes for strings, I/O streams, and various generic containers, as well as a comprehensive set of algorithms to manipulate them. In recent years, the C++11 and C++14 ... Leer más

$483 MXN

This quick reference is a condensed guide to the essential data structures, algorithms, and functions provided by the C++ Standard Library. Used by millions of C++ programmers on a daily basis, the C++ Standard Library features core classes for strings, I/O streams, and various generic containers, as well as a comprehensive set of algorithms to manipulate them. In recent years, the C++11 and C++14
... Leer más
Foundations of Software Science and Computation Structures

19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Edición de Bart Jacobs, Christof Löding ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 31 full papers presented in this volume were carefully reviewed and selected from 85 ... Leer más

$906 MXN

This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 31 full papers presented in this volume were carefully reviewed and selected from 85
... Leer más
Software Engineering

International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

Edición de Bertrand Meyer, Martin Nordio ...

Series series Computer Science (R0)
The LASER Summer School is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from pioneers in the field.Since its inception in 2004, the LASER Summer School has focused on an important software engineering topic each year. This volume contains selected ... Leer más

$725 MXN

The LASER Summer School is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from pioneers in the field.Since its inception in 2004, the LASER Summer School has focused on an important software engineering topic each year. This volume contains selected
... Leer más
Symposium on Real-Time and Hybrid Systems

Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Edición de Cliff Jones, Ji Wang, Naijun Zhan ...

Series series Computer Science (R0)
This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic ... Leer más

$906 MXN

This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference in Changsha, China that took place in October 2017.The papers cover a broad spectrum of subjects related to Formal Methods for the development of computer systems. Topics include Probabilistic
... Leer más
Software Technologies: Applications and Foundations

STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

Edición de Martina Seidl, Steffen Zschaler ...

Series series Springer Nature Proceedings Computer Science
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017.The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions.The events whose papers are included in this volume are:BigMDE ... Leer más

$906 MXN

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017.The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions.The events whose papers are included in this volume are:BigMDE
... Leer más
Language Server Protocol and Implementation

Supporting Language-Smart Editing and Programming Tools

de Nadeeshaan Gunasinghe, Nipuna Marcus ...

Series series Professional and Applied Computing (R0)
Understand the important aspects of implementing a production-grade language server in support of language-smart tools such as code editors and other programming utilities. This book shows you how to create a single implementation of a language server that can be used by multiple tools, enabling you to do the job once in a way that can be shared and reused.This book covers the language server ... Leer más

$966 MXN

Understand the important aspects of implementing a production-grade language server in support of language-smart tools such as code editors and other programming utilities. This book shows you how to create a single implementation of a language server that can be used by multiple tools, enabling you to do the job once in a way that can be shared and reused.This book covers the language server
... Leer más
Logic and Argumentation

5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

Edición de Andreas Herzig, Jieting Luo, Pere Pardo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.The papers focus on topics such as:logic and automated deduction; abstract and ... Leer más

$1,178 MXN

This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023.The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions.The papers focus on topics such as:logic and automated deduction; abstract and
... Leer más
Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education

16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23–25, 2023, Proceedings

Edición de Jean-Philippe Pellet, Gabriel Parriaux ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October 23–25, 2023.The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They are organized in four topical sections named: artificial intelligence and its ... Leer más

Gratis

This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October 23–25, 2023.The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They are organized in four topical sections named: artificial intelligence and its
... Leer más
Informatics in Schools. A Step Beyond Digital Education

15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Vienna, Austria, September 26–28, 2022, Proceedings

Edición de Andreas Bollin, Gerald Futschek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online format. The 12 full papers presented together with 4 short papers were carefully reviewed and selected ... Leer más

$997 MXN

This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online format. The 12 full papers presented together with 4 short papers were carefully reviewed and selected
... Leer más
Euro-Par 2021: Parallel Processing

27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings

Edición de Leonel Sousa, Nuno Roma, Pedro Tomás ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic.The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general, ... Leer más

$1,994 MXN

This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic.The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general,
... Leer más
Database Systems for Advanced Applications. DASFAA 2022 International Workshops

BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11–14, 2022, Proceedings

Edición de Uday Kiran Rage, Vikram Goyal, P. Krishna Reddy ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions.DASFAA 2022 presents the following five workshops:· First workshop on ... Leer más

$1,541 MXN

This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions.DASFAA 2022 presents the following five workshops:· First workshop on
... Leer más
Composability, Comprehensibility and Correctness of Working Software

8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers

Edición de Zoltán Porkoláb, Viktória Zsók ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software. ... Leer más

$1,360 MXN

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.
... Leer más
AIxIA 2023 – Advances in Artificial Intelligence

XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings

Edición de Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6–10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural ... Leer más

$1,269 MXN

This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6–10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural
... Leer más
AIxIA 2022 – Advances in Artificial Intelligence

XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings

Edición de Agostino Dovier, Angelo Montanari, Andrea Orlandini ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XXIst International Conference of the Italian Association for Artificial Intelligence on AIxIA 2022 – Advances in Artificial Intelligence, which was held in Udine, Italy, during November 28–December 2, 2022.The 33 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 54 submissions. They were ... Leer más

$1,178 MXN

This book constitutes the refereed proceedings of the XXIst International Conference of the Italian Association for Artificial Intelligence on AIxIA 2022 – Advances in Artificial Intelligence, which was held in Udine, Italy, during November 28–December 2, 2022.The 33 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 54 submissions. They were
... Leer más
Getting Structured Data from the Internet

Running Web Crawlers/Scrapers on a Big Data Production Scale

de Jay M. Patel ...

Series series Business and Management (R0)
Utilize web scraping at scale to quickly get unlimited amounts of free data available on the web into a structured format. This book teaches you to use Python scripts to crawl through websites at scale and scrape data from HTML and JavaScript-enabled pages and convert it into structured data formats such as CSV, Excel, JSON, or load it into a SQL database of your choice.This book goes beyond the ... Leer más

$1,067 MXN

Utilize web scraping at scale to quickly get unlimited amounts of free data available on the web into a structured format. This book teaches you to use Python scripts to crawl through websites at scale and scrape data from HTML and JavaScript-enabled pages and convert it into structured data formats such as CSV, Excel, JSON, or load it into a SQL database of your choice.This book goes beyond the
... 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 Compiladores

Programming and Performance Visualization Tools

Metaprogramming Elixir

Computer Safety, Reliability, and Security

Geographical Information Systems Theory, Applications and Management

Perspectives on Software Requirements

Game Development with Construct 2

Trends in Functional Programming

Formal Methods and Software Engineering

Software Architecture

C++ Standard Library Quick Reference

Foundations of Software Science and Computation Structures

Software Engineering

Symposium on Real-Time and Hybrid Systems

Software Technologies: Applications and Foundations

Language Server Protocol and Implementation

Logic and Argumentation

Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education

Informatics in Schools. A Step Beyond Digital Education

Euro-Par 2021: Parallel Processing

Database Systems for Advanced Applications. DASFAA 2022 International Workshops

Composability, Comprehensibility and Correctness of Working Software

AIxIA 2023 – Advances in Artificial Intelligence

AIxIA 2022 – Advances in Artificial Intelligence

Getting Structured Data from the Internet