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

High Performance Computing for Computational Science – VECPAR 2018

13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

Edición de Hermes Senger, Osni Marques, Rogerio Garcia, Tatiana Pinheiro de Brito, Rogério Iope, Silvio Stanzani, Veronica Gil-Costa ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018, held in São Pedro, Brazil, in September 2018.The 17 full papers and one short paper included in this book were carefully reviewed and selected from 32 submissions presented at the conference. The papers cover the ... Leer más

$909 MXN

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on High Performance Computing in Computational Science, VECPAR 2018, held in São Pedro, Brazil, in September 2018.The 17 full papers and one short paper included in this book were carefully reviewed and selected from 32 submissions presented at the conference. The papers cover the
... Leer más
Central European Functional Programming School

6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

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

Series series Computer Science (R0)
This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary.The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects. ... Leer más

$1,182 MXN

This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary.The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects.
... Leer más
Coordination Models and Languages

19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Edición de Jean-Marie Jacquet, Mieke Massink ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers ... Leer más

$909 MXN

This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers
... Leer más
System Analysis and Modeling. Technology-Specific Aspects of Models

9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Edición de Steffen Herbold, Jens Grabowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of ... Leer más

$909 MXN

This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers presented were carefully reviewed and selected from 31 submissions. The contributions are organized in topical theme named: Technology-Specific Aspects of Models.The volume reflects the five sessions of
... Leer más
Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Edición de Bernd Fischer, Jaco Geldenhuys ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are
... Leer más
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

Edición de Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non ... Leer más

$909 MXN

This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non
... Leer más
Computer Safety, Reliability, and Security

36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Edición de Erwin Schoitsch, Stefano Tonetta, Friedemann Bitsch ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and
... Leer más
PRIMA 2017: Principles and Practice of Multi-Agent Systems

20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

Edición de Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase
... Leer más
Rules and Reasoning

Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Edición de Christoph Benzmüller, Francesco Ricca, Xavier Parent, 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 2018, held in Luxembourg during September 2018. This is the second 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 10 full research papers presented together ... Leer más

$909 MXN

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second 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 10 full research papers presented together
... Leer más
Static Analysis

25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Edición de Andreas Podelski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program
... Leer más
Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Edición de Falk Howar, Jiří Barnat ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in ... Leer más

$909 MXN

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in
... Leer más
Requirements Engineering: Foundation for Software Quality

25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Edición de Eric Knauss, Michael Goedicke ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of ... Leer más

$1,182 MXN

This book constitutes the proceedings of the 25th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2019, held in Essen, Germany, in March 2019.The 13 full papers and 9 short papers in this volume were carefully reviewed and selected from 66 submissions. The papers were organized in topical sections named: Automated Analysis; Making Sense of
... Leer más
Practical Aspects of Declarative Languages

22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

Edición de Ekaterina Komendantskaya, Yanhong Annie Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative
... Leer más
SQL and NoSQL Full Mastery: A Comprehensive Guide to Modern Data Management

de Kameron Hussain, Frahaan Hussain ...

In today's fast-paced digital world, understanding how to efficiently store, manage, and retrieve data is crucial for businesses and developers alike. SQL and NoSQL Full Mastery: A Comprehensive Guide to Modern Data Management offers a deep dive into the world of both relational and non-relational databases, providing readers with the tools they need to navigate the complexities of modern data ... Leer más

$171 MXN

In today's fast-paced digital world, understanding how to efficiently store, manage, and retrieve data is crucial for businesses and developers alike. SQL and NoSQL Full Mastery: A Comprehensive Guide to Modern Data Management offers a deep dive into the world of both relational and non-relational databases, providing readers with the tools they need to navigate the complexities of modern data
... Leer más
Mastering Python: A Comprehensive Crash Course for Beginners

de Kameron Hussain, Frahaan Hussain ...

Are you ready to embark on an exciting journey into the world of Python programming? Whether you're a complete beginner or someone with minimal experience, Mastering Python: A Comprehensive Crash Course for Beginners is designed to provide a clear, step-by-step introduction to one of the most popular programming languages today.This crash course is perfect for those eager to learn coding skills ... Leer más

$171 MXN

Are you ready to embark on an exciting journey into the world of Python programming? Whether you're a complete beginner or someone with minimal experience, Mastering Python: A Comprehensive Crash Course for Beginners is designed to provide a clear, step-by-step introduction to one of the most popular programming languages today.This crash course is perfect for those eager to learn coding skills
... Leer más
C# 8 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

de Mikael Olsson ...

Series Libro 8 - Professional and Applied Computing (R0)
This quick C# 8 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 8 for .NET and Windows 10. This book presents the essential C# 8 syntax in a well-organized format that can be used as a handy reference. Specifically, it covers nullable reference types, async streams, ranges and indices, default implementations of interface ... Leer más

$629 MXN

This quick C# 8 guide is a condensed code and syntax reference to the C# programming language, updated with the latest features of C# 8 for .NET and Windows 10. This book presents the essential C# 8 syntax in a well-organized format that can be used as a handy reference. Specifically, it covers nullable reference types, async streams, ranges and indices, default implementations of interface
... Leer más
Pass AZ-900 Fast: The Ultimate Study Guide

de Kameron Hussain, Frahaan Hussain ...

Pass AZ-900 Fast: The Ultimate Study Guide is your streamlined path to passing the Microsoft Azure Fundamentals certification exam (AZ-900) on your first try. Whether you're new to cloud computing or need a refresher, this guide cuts through the noise to deliver exactly what you need—fast.Crafted for busy professionals, students, and aspiring IT pros, this study guide covers all AZ-900 exam ... Leer más

$171 MXN o gratis con Kobo Plus

Pass AZ-900 Fast: The Ultimate Study Guide is your streamlined path to passing the Microsoft Azure Fundamentals certification exam (AZ-900) on your first try. Whether you're new to cloud computing or need a refresher, this guide cuts through the noise to deliver exactly what you need—fast.Crafted for busy professionals, students, and aspiring IT pros, this study guide covers all AZ-900 exam
... Leer más
Excel Macros - A Step-by-Step Illustrated Guide to Learn Excel Macros

de Talia Smith ...

You Are Just 1-Click Away From Learning How To Tap Into The Full Power Of One Feature That Most MS Excel Users Ignore – Macros – To Scale From Being A Beginner To An Advanced User By Automating Processes That You Never Thought Could Be Automated MS Excel is truly a revolutionary spreadsheet tool that does a lot. For many users however, they simply stop at using MS Excel to enter data, generate ... Leer más

$171 MXN

You Are Just 1-Click Away From Learning How To Tap Into The Full Power Of One Feature That Most MS Excel Users Ignore – Macros – To Scale From Being A Beginner To An Advanced User By Automating Processes That You Never Thought Could Be Automated MS Excel is truly a revolutionary spreadsheet tool that does a lot. For many users however, they simply stop at using MS Excel to enter data, generate
... Leer más
Runtime Verification

24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

Edición de Erika Ábrahám, Houssam Abbas ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; ... Leer más

$1,000 MXN

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems;
... Leer más
Bayesian Networks in R

with Applications in Systems Biology

de Radhakrishnan Nagarajan, Marco Scutari, Sophie Lèbre ...

Series series Mathematics and Statistics (R0)
Bayesian Networks in R with Applications in Systems Biology is unique as it introduces the reader to the essential concepts in Bayesian network modeling and inference in conjunction with examples in the open-source statistical environment R. The level of sophistication is also gradually increased across the chapters with exercises and solutions for enhanced understanding for hands-on ... Leer más

$1,545 MXN

Bayesian Networks in R with Applications in Systems Biology is unique as it introduces the reader to the essential concepts in Bayesian network modeling and inference in conjunction with examples in the open-source statistical environment R. The level of sophistication is also gradually increased across the chapters with exercises and solutions for enhanced understanding for hands-on
... Leer más
Tools and Methods of Program Analysis

4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Edición de Vladimir Itsykson, Andre Scedrov, Victor Zakharov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, ... Leer más

$909 MXN

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation,
... Leer más
Practical Microservices Architectural Patterns

Event-Based Java Microservices with Spring Boot and Spring Cloud

de Binildas Christudas ...

Series series Professional and Applied Computing (R0)
Take your distributed applications to the next level and see what the reference architectures associated with microservices can do for you. This book begins by showing you the distributed computing architecture landscape and provides an in-depth view of microservices architecture. Following this, you will work with CQRS, an essential pattern for microservices, and get a view of how distributed ... Leer más

$1,359 MXN

Take your distributed applications to the next level and see what the reference architectures associated with microservices can do for you. This book begins by showing you the distributed computing architecture landscape and provides an in-depth view of microservices architecture. Following this, you will work with CQRS, an essential pattern for microservices, and get a view of how distributed
... Leer más
Evaluation of Novel Approaches to Software Engineering

15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers

Edición de Raian Ali, Hermann Kaindl, Leszek A. Maciaszek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes selected, revised and extended papers of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, held in virtual format, in May 2020.The 19 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers included in this book contribute to the understanding of relevant trends of current ... Leer más

$909 MXN

This book constitutes selected, revised and extended papers of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, held in virtual format, in May 2020.The 19 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers included in this book contribute to the understanding of relevant trends of current
... Leer más
Model-Driven Engineering and Software Development

5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Edición de Luís Ferreira Pires, Slimane Hammoudi, Bran Selic ...

Series series Springer Nature Proceedings Computer Science
This book constitutes thoroughly revised and selected papers from the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, held in Porto, Portugal, in February 2017.The 20 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 91 submissions. They contribute to the development of highly relevant ... Leer más

$909 MXN

This book constitutes thoroughly revised and selected papers from the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, held in Porto, Portugal, in February 2017.The 20 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 91 submissions. They contribute to the development of highly relevant
... 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

High Performance Computing for Computational Science – VECPAR 2018

Central European Functional Programming School

Coordination Models and Languages

System Analysis and Modeling. Technology-Specific Aspects of Models

Model Checking Software

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Computer Safety, Reliability, and Security

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Rules and Reasoning

Static Analysis

Formal Methods for Industrial Critical Systems

Requirements Engineering: Foundation for Software Quality

Practical Aspects of Declarative Languages

SQL and NoSQL Full Mastery: A Comprehensive Guide to Modern Data Management

Mastering Python: A Comprehensive Crash Course for Beginners

C# 8 Quick Syntax Reference

Pass AZ-900 Fast: The Ultimate Study Guide

Excel Macros - A Step-by-Step Illustrated Guide to Learn Excel Macros

Runtime Verification

Bayesian Networks in R

Tools and Methods of Program Analysis

Practical Microservices Architectural Patterns

Evaluation of Novel Approaches to Software Engineering

Model-Driven Engineering and Software Development