Rakuten Kobo

Indkøbskurv

Vare(r) ikke tilgængelig til køb

Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.

varervare

- Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Få 1 kredit hver måned til en lydbog efter eget valg
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  lydbog
  af ,
  
  Ledig:
  
  . Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.
  
  Forudbestilling
  1 lydbog om måneden
  
  + GRATIS 30-dages prøve
  
  Særtilbud
  
  Få 1 kredit hver måned til at bytte til en lydbog efter eget valg
  
  *Ingen forpligtelse, annuller når som helst
  
  GRATIS

varervare

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Få 1 kredit hver måned til en lydbog efter eget valg

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
lydbog
af ,

Ledig:
. Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.

Forudbestilling
1 lydbog om måneden

+ GRATIS 30-dages prøve

Særtilbud

Få 1 kredit hver måned til at bytte til en lydbog efter eget valg

*Ingen forpligtelse, annuller når som helst

GRATIS

Anbefalet til dig

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Redigeret af Catherine Dubois, Burkhart Wolff ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal
... Læs mere
Logic-Based Program Synthesis and Transformation

26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Redigeret af Manuel V Hermenegildo, Pedro Lopez-Garcia ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to ... Læs mere

420,11 kr.

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to
... Læs mere
Programming Languages and Systems

14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Redigeret af Atsushi Igarashi ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program
... Læs mere
Software Architecture

10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings

Redigeret af Bedir Tekinerdogan, Uwe Zdun, Ali Babar ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 10th European Conference on Software Architecture, ECSA 2016, held in Copenhagen, Denmark, in November/December 2016.The 13 full papers presented together with 12 short papers were carefully reviewed and selected from 84 submissions. They are organized in topical sections on full research and experience papers, short papers for addressing emerging ... Læs mere

420,11 kr.

This book constitutes the proceedings of the 10th European Conference on Software Architecture, ECSA 2016, held in Copenhagen, Denmark, in November/December 2016.The 13 full papers presented together with 12 short papers were carefully reviewed and selected from 84 submissions. They are organized in topical sections on full research and experience papers, short papers for addressing emerging
... Læs mere
Agents and Artificial Intelligence

8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

Redigeret af Joaquim Filipe, Jaap van den Herik ...

Serier serie Springer Nature Proceedings Computer Science
This book contains revised and extended versions of selected papers from the 8th International Conference on Agents and Artificial Intelligence, ICAART 2016, held in Rome, Italy, in February 2016.The 17 revised full papers were carefully reviewed and selected from 149 initial submissions. The papers are organized in two sections: agents and artificial intelligence. They address open research ... Læs mere

420,11 kr.

This book contains revised and extended versions of selected papers from the 8th International Conference on Agents and Artificial Intelligence, ICAART 2016, held in Rome, Italy, in February 2016.The 17 revised full papers were carefully reviewed and selected from 149 initial submissions. The papers are organized in two sections: agents and artificial intelligence. They address open research
... Læs mere
Theory and Practice of Model Transformation

10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Redigeret af Esther Guerra, Mark van den Brand ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies;
... Læs mere
Formal Methods and Software Engineering

19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Redigeret af Luke Ong, Zhenhua Duan ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017.The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017.The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods
... Læs mere
Computing and Software Science

State of the Art and Perspectives

Redigeret af Bernhard Steffen, Gerhard Woeginger ...

Serier serie Computer Science (R0)
The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”.They are organized in two parts:The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity.The ... Læs mere

252,11 kr.

The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”.They are organized in two parts:The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity.The
... Læs mere
Testing Software and Systems

30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Redigeret af Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert Hierons ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and selected from 29 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing
... Læs mere
Programming Languages and Systems

16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

Redigeret af Sukyoung Ryu ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; ... Læs mere

420,11 kr.

This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs;
... Læs mere
Reversible Computation

11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Redigeret af Michael Kirkedal Thomsen, Mathias Soeken ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019.The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and ... Læs mere

478,99 kr.

This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019.The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and
... Læs mere
Languages and Compilers for Parallel Computing

32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers

Redigeret af Santosh Pande, Vivek Sarkar ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.The 8 revised full papers and 3 revised short papers were carefully reviewed and selected from 17 submissions. The scope of the workshop includes advances in programming systems for ... Læs mere

420,11 kr.

This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.The 8 revised full papers and 3 revised short papers were carefully reviewed and selected from 17 submissions. The scope of the workshop includes advances in programming systems for
... Læs mere
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Redigeret af Gabriele Kern-Isberner, Zoran Ognjanović ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019.The 41 full papers presented together with 3 abstracts of invited talks inn this volume were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019.The 41 full papers presented together with 3 abstracts of invited talks inn this volume were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections
... Læs mere
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Redigeret af Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in ... Læs mere

420,11 kr.

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in
... Læs mere
Accelerator Programming Using Directives

6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers

Redigeret af Sandra Wienke, Sridutt Bhalachandra ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019.The 7 full papers presented have been carefully reviewed and selected from 13 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... Læs mere

420,11 kr.

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019.The 7 full papers presented have been carefully reviewed and selected from 13 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are
... Læs mere
Mastering Firebase: The Complete Guide to Building and Scaling Apps

af Kameron Hussain, Frahaan Hussain ...

"Mastering Firebase: The Complete Guide to Building and Scaling Apps" is an indispensable resource for developers looking to harness the full potential of Firebase. This comprehensive guide takes you on a journey through the intricacies of Firebase, from the basics of setting up your project to advanced techniques for scaling your applications efficiently.Dive deep into Firebase's suite of ... Læs mere

63,35 kr. eller Gratis med Kobo Plus

"Mastering Firebase: The Complete Guide to Building and Scaling Apps" is an indispensable resource for developers looking to harness the full potential of Firebase. This comprehensive guide takes you on a journey through the intricacies of Firebase, from the basics of setting up your project to advanced techniques for scaling your applications efficiently.Dive deep into Firebase's suite of
... Læs mere
Next.js: Navigating the Future of Web Development

af Kameron Hussain, Frahaan Hussain ...

"Next.js: Navigating the Future of Web Development" is an in-depth exploration of one of today's most powerful and popular web development frameworks. This comprehensive guide dives deep into the capabilities of Next.js, a framework built on React.js, offering a blend of server-side rendering, static site generation, and client-side rendering to create fast, scalable, and reliable web applications ... Læs mere

63,35 kr. eller Gratis med Kobo Plus

"Next.js: Navigating the Future of Web Development" is an in-depth exploration of one of today's most powerful and popular web development frameworks. This comprehensive guide dives deep into the capabilities of Next.js, a framework built on React.js, offering a blend of server-side rendering, static site generation, and client-side rendering to create fast, scalable, and reliable web applications
... Læs mere
Semantics, Logics, and Calculi

Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Redigeret af Christian W. Probst, Chris Hankin, René Rydhof Hansen ...

Serier serie Computer Science (R0)
This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are ... Læs mere

420,11 kr.

This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are
... Læs mere
Runtime Verification

19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Redigeret af Bernd Finkbeiner, Leonardo Mariani ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. ... Læs mere

546,24 kr.

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
... Læs mere
Leveraging Applications of Formal Methods, Verification and Validation. Modeling

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Redigeret af Tiziana Margaria, Bernhard Steffen ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Læs mere

420,11 kr.

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... Læs mere
JavaScript Unleashed: Harnessing the Power of Web Scripting

af Kameron Hussain, Frahaan Hussain ...

"JavaScript Unleashed: Harnessing the Power of Web Scripting" is your comprehensive guide to mastering JavaScript, the dynamic and versatile scripting language that drives interactivity on the web. Whether you're a newcomer eager to dive into web development or an experienced programmer looking to elevate your scripting skills, this book will empower you to unlock the full potential of JavaScript ... Læs mere

63,35 kr.

"JavaScript Unleashed: Harnessing the Power of Web Scripting" is your comprehensive guide to mastering JavaScript, the dynamic and versatile scripting language that drives interactivity on the web. Whether you're a newcomer eager to dive into web development or an experienced programmer looking to elevate your scripting skills, this book will empower you to unlock the full potential of JavaScript
... Læs mere
Intermediate Vulkan Programming- Building 3D Graphics

Vulcan Fundamentals, #2

af Kameron Hussain, Frahaan Hussain ...

Serier Bog 2 - Vulcan Fundamentals
Dive deep into the world of 3D graphics with "Intermediate Vulkan Programming: Building 3D Graphics, 2nd Edition." This comprehensive guide is perfect for developers who have a basic understanding of Vulkan and are looking to enhance their skills. This edition provides an updated and thorough exploration of Vulkan's powerful capabilities, helping you create stunning 3D graphics with precision and ... Læs mere

63,35 kr. eller Gratis med Kobo Plus

Dive deep into the world of 3D graphics with "Intermediate Vulkan Programming: Building 3D Graphics, 2nd Edition." This comprehensive guide is perfect for developers who have a basic understanding of Vulkan and are looking to enhance their skills. This edition provides an updated and thorough exploration of Vulkan's powerful capabilities, helping you create stunning 3D graphics with precision and
... Læs mere
#1 Book on Python Programming

af Minhaj ...

This book, written by Minhaj Abdullah, is designed to take you on a journey through the world of Python programming, starting with the fundamentals and progressing to more advanced concepts like AI and automation. Whether you're a complete beginner or have some prior coding experience, this book offers a practical and engaging approach to learning Python.Key Features:Beginner-Friendly Introduction ... Læs mere

31,71 kr. eller Gratis med Kobo Plus

This book, written by Minhaj Abdullah, is designed to take you on a journey through the world of Python programming, starting with the fundamentals and progressing to more advanced concepts like AI and automation. Whether you're a complete beginner or have some prior coding experience, this book offers a practical and engaging approach to learning Python.Key Features:Beginner-Friendly Introduction
... Læs mere
Scale Smart: Azure Architecture Essentials

af Kameron Hussain, Frahaan Hussain ...

Scale Smart: Azure Architecture Essentials is your definitive guide to building robust, scalable, and secure cloud solutions using Microsoft Azure. Whether you're an IT professional, solutions architect, or a developer stepping into the world of cloud architecture, this book equips you with the foundational principles and practical techniques to design systems that scale intelligently and ... Læs mere

63,35 kr. eller Gratis med Kobo Plus

Scale Smart: Azure Architecture Essentials is your definitive guide to building robust, scalable, and secure cloud solutions using Microsoft Azure. Whether you're an IT professional, solutions architect, or a developer stepping into the world of cloud architecture, this book equips you with the foundational principles and practical techniques to design systems that scale intelligently and
... Læs mere

Kobo Rakuten

e-læsere

Apps

Tilbehør

Indkøbskurv

Du får VIP-behandling!

Din indkøbskurv er tom

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Anbefalet til dig

Udarbejdere e-bøger

Tests and Proofs

Logic-Based Program Synthesis and Transformation

Programming Languages and Systems

Software Architecture

Agents and Artificial Intelligence

Theory and Practice of Model Transformation

Formal Methods and Software Engineering

Computing and Software Science

Testing Software and Systems

Programming Languages and Systems

Reversible Computation

Languages and Compilers for Parallel Computing

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

Accelerator Programming Using Directives

Mastering Firebase: The Complete Guide to Building and Scaling Apps

Next.js: Navigating the Future of Web Development

Semantics, Logics, and Calculi

Runtime Verification

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

JavaScript Unleashed: Harnessing the Power of Web Scripting

Intermediate Vulkan Programming- Building 3D Graphics

#1 Book on Python Programming

Scale Smart: Azure Architecture Essentials