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

Newbies coding html&css

af Tatenda Majira ...

Think coding is just for geniuses? Think again. "HTML and CSS for Newbies" breaks down the two most essential languages of the web into simple step-by-step lessons. Go from zero to your first webpage in one weekend. No jargon no confusion just the skills you need to build the websites you've always imagined. ... Læs mere

50,31 kr. eller Gratis med Kobo Plus

Think coding is just for geniuses? Think again. "HTML and CSS for Newbies" breaks down the two most essential languages of the web into simple step-by-step lessons. Go from zero to your first webpage in one weekend. No jargon no confusion just the skills you need to build the websites you've always imagined.
... Læs mere
OpenGL Foundations: Taking Your First Steps in Graphics Programming

af Kameron Hussain, Frahaan Hussain ...

OpenGL Foundations: Taking Your First Steps in Graphics Programming is a comprehensive guide for anyone interested in diving into the world of graphics programming. Whether you're a beginner looking to learn the basics or an experienced developer seeking to enhance your skills, this book provides a solid foundation in OpenGL, the industry-standard graphics API.Starting with the fundamentals, the ... Læs mere

94,26 kr.

OpenGL Foundations: Taking Your First Steps in Graphics Programming is a comprehensive guide for anyone interested in diving into the world of graphics programming. Whether you're a beginner looking to learn the basics or an experienced developer seeking to enhance your skills, this book provides a solid foundation in OpenGL, the industry-standard graphics API.Starting with the fundamentals, the
... Læs mere
WebGL Wizardry: A Beginner's Guide to Interactive 3D Graphics

WebGL Wizadry

af Kameron Hussain, Frahaan Hussain ...

Serier serie WebGL Wizadry
Dive into the world of 3D graphics with "WebGL Wizardry: A Beginner's Guide to Interactive 3D Graphics." This comprehensive guide is your key to unlocking the potential of WebGL, the web-based graphics library that has revolutionized interactive 3D graphics on the web. Whether you're a budding programmer, an aspiring web developer, or a digital art enthusiast, this book is designed to take you on ... Læs mere

62,82 kr. eller Gratis med Kobo Plus

Dive into the world of 3D graphics with "WebGL Wizardry: A Beginner's Guide to Interactive 3D Graphics." This comprehensive guide is your key to unlocking the potential of WebGL, the web-based graphics library that has revolutionized interactive 3D graphics on the web. Whether you're a budding programmer, an aspiring web developer, or a digital art enthusiast, this book is designed to take you on
... Læs mere
Applied Reconfigurable Computing. Architectures, Tools, and Applications

17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings

Redigeret af Steven Derrien, Frank Hannig, Pedro C. Diniz, Daniel Chillet ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Symposium on Applied Reconfigurable Computing, ARC 2021, held as a virtual event, in June 2021.The 14 full papers and 11 short presentations presented in this volume were carefully reviewed and selected from 40 submissions. The papers cover a broad spectrum of applications of reconfigurable computing, from driving assistance, data and ... Læs mere

466,89 kr.

This book constitutes the proceedings of the 17th International Symposium on Applied Reconfigurable Computing, ARC 2021, held as a virtual event, in June 2021.The 14 full papers and 11 short presentations presented in this volume were carefully reviewed and selected from 40 submissions. The papers cover a broad spectrum of applications of reconfigurable computing, from driving assistance, data and
... Læs mere
Practical MATLAB Deep Learning

A Project-Based Approach

af Michael Paluszek, Stephanie Thomas ...

Serier serie Professional and Applied Computing (R0)
Harness the power of MATLAB for deep-learning challenges. This book provides an introduction to deep learning and using MATLAB's deep-learning toolboxes. You’ll see how these toolboxes provide the complete set of functions needed to implement all aspects of deep learning.Along the way, you'll learn to model complex systems, including the stock market, natural language, and angles-only orbit ... Læs mere

322,87 kr.

Harness the power of MATLAB for deep-learning challenges. This book provides an introduction to deep learning and using MATLAB's deep-learning toolboxes. You’ll see how these toolboxes provide the complete set of functions needed to implement all aspects of deep learning.Along the way, you'll learn to model complex systems, including the stock market, natural language, and angles-only orbit
... Læs mere
Beginning C++20

From Novice to Professional

af Ivor Horton, Peter Van Weert ...

Serier serie Professional and Applied Computing (R0)
Begin your programming journey with C++ , starting with the basics and progressing through step-by-step examples that will help you become a proficient C++ programmer. This book includes new features from the C++20 standard such as modules, concepts, ranges, and the spaceship operator. All you need are Beginning C++20 and any recent C++ compiler and you'll soon be writing real C++ programs. There ... Læs mere

526,36 kr.

Begin your programming journey with C++ , starting with the basics and progressing through step-by-step examples that will help you become a proficient C++ programmer. This book includes new features from the C++20 standard such as modules, concepts, ranges, and the spaceship operator. All you need are Beginning C++20 and any recent C++ compiler and you'll soon be writing real C++ programs. There
... Læs mere
Theoretical Aspects of Computing – ICTAC 2017

14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Redigeret af Dang Van Hung, Deepak Kapur ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; ... Læs mere

420,24 kr.

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017.The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency;
... Læs mere
Transitioning to Swift

af Scott Gardner, Scott Gardner ...

Developing apps for Apple’s broadening platform of devices is an exciting topic these days. Apple created the Swift programming language to build state-of-the-art apps using the latest Apple technologies.In this 200-page book, author Scott Gardner articulates the similarities and differences between traditional Objective-C based programming and Swift, revealing what you need to know from syntax ... Læs mere

177,36 kr.

Developing apps for Apple’s broadening platform of devices is an exciting topic these days. Apple created the Swift programming language to build state-of-the-art apps using the latest Apple technologies.In this 200-page book, author Scott Gardner articulates the similarities and differences between traditional Objective-C based programming and Swift, revealing what you need to know from syntax
... Læs mere
Thinking with Diagrams

Redigeret af Alan F. Blackwell ...

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research ... Læs mere

1.092,74 kr.

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research
... Læs mere
Programmieren lernen mit Python und JavaScript

Eine praxisorientierte Einführung für Einsteiger

af Joachim L. Zuckarelli ...

Serier serie Computer Science and Engineering (German Language)
Ob auf dem Computer, Tablet, Handy, im Auto oder in der Kaffeemaschine – Computerprogramme bestimmen unseren Alltag. Software wird immer wichtiger, kaum noch etwas funktioniert ohne die geheimnisvolle Macht der Algorithmen. Aber wie funktionieren Programme? Und wie entwickelt man sie? Dieses Buch vermittelt Ihnen anschaulich das Einmaleins des Programmierens. Anhand von Alltagsbeispielen lernen ... Læs mere

314,11 kr.

Ob auf dem Computer, Tablet, Handy, im Auto oder in der Kaffeemaschine – Computerprogramme bestimmen unseren Alltag. Software wird immer wichtiger, kaum noch etwas funktioniert ohne die geheimnisvolle Macht der Algorithmen. Aber wie funktionieren Programme? Und wie entwickelt man sie? Dieses Buch vermittelt Ihnen anschaulich das Einmaleins des Programmierens. Anhand von Alltagsbeispielen lernen
... Læs mere
Explainable and Transparent AI and Multi-Agent Systems

5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers

Redigeret af Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling ...

Serier serie Springer Nature Proceedings Computer Science
This volume LNCS 14127 constitutes the refereed proceedings of the 5th International Workshop, EXTRAAMAS 2023, held in London, UK, in May 2023.The 15 full papers presented together with 1 short paper were carefully reviewed and selected from 26 submissions. The workshop focuses on Explainable Agents and multi-agent systems; Explainable Machine Learning; and Cross-domain applied XAI. ... Læs mere

546,36 kr.

This volume LNCS 14127 constitutes the refereed proceedings of the 5th International Workshop, EXTRAAMAS 2023, held in London, UK, in May 2023.The 15 full papers presented together with 1 short paper were carefully reviewed and selected from 26 submissions. The workshop focuses on Explainable Agents and multi-agent systems; Explainable Machine Learning; and Cross-domain applied XAI.
... Læs mere
Artificial Intelligence and Soft Computing

20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II

Redigeret af Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada ...

Serier Bog 2 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland, in June 2021. Due to COVID 19, the conference was held virtually.The 89 full papers presented were carefully reviewed and selected from 195 submissions. The papers included both traditional artificial ... Læs mere

924,61 kr.

The two-volume set LNAI 12854 and 12855 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2021, held in Zakopane, Poland, in June 2021. Due to COVID 19, the conference was held virtually.The 89 full papers presented were carefully reviewed and selected from 195 submissions. The papers included both traditional artificial
... Læs mere
Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Redigeret af Alessandro Cimatti, Marjan Sirjani ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software ... Læs mere

420,24 kr.

This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software
... Læs mere
Beginning Adobe Animate CC

Learn to Efficiently Create and Deploy Animated and Interactive Content

af TOM GREEN, Joseph Labrecque ...

Serier serie Professional and Applied Computing (R0)
Use solid and practical exercises to master the fundamentals of Adobe Animate CC. This is one of the first comprehensive books on Adobe Animate CC to thoroughly examine and demonstrate how to create and deploy interactive and motion design content to mobile, tablet, and desktop screens.Using a series of carefully developed tutorials, Beginning Adobe Animate CC will lead you from basic Animate CC ... Læs mere

628,49 kr.

Use solid and practical exercises to master the fundamentals of Adobe Animate CC. This is one of the first comprehensive books on Adobe Animate CC to thoroughly examine and demonstrate how to create and deploy interactive and motion design content to mobile, tablet, and desktop screens.Using a series of carefully developed tutorials, Beginning Adobe Animate CC will lead you from basic Animate CC
... Læs mere
Math Mutation Classics

Exploring Interesting, Fun and Weird Corners of Mathematics

af Erik Seligman ...

Serier serie Professional and Applied Computing (R0)
Use math in unique ways to analyze things you observe in life and use proof to attain the unexpected. There is quite a wide diversity of topics here and so all age levels and ability levels will enjoy the discussions. You'll see how the author's unique viewpoint puts a mathematical spin on everything from politicians to hippos. Along the way, you will enjoy the different point of view and ... Læs mere

235,55 kr.

Use math in unique ways to analyze things you observe in life and use proof to attain the unexpected. There is quite a wide diversity of topics here and so all age levels and ability levels will enjoy the discussions. You'll see how the author's unique viewpoint puts a mathematical spin on everything from politicians to hippos. Along the way, you will enjoy the different point of view and
... Læs mere
Modern C++ for Absolute Beginners

A Friendly Introduction to C++ Programming Language and C++11 to C++20 Standards

af Slobodan Dmitrović ...

Serier serie Professional and Applied Computing (R0)
Learn the C++ programming language in a structured, straightforward, and friendly manner. This book teaches the basics of the modern C++ programming language, C++ Standard Library, and modern C++ standards. No previous programming experience is required.C++ is a language like no other, surprising in its complexity, yet wonderfully sleek and elegant in so many ways. It is also a language that ... Læs mere

410,20 kr.

Learn the C++ programming language in a structured, straightforward, and friendly manner. This book teaches the basics of the modern C++ programming language, C++ Standard Library, and modern C++ standards. No previous programming experience is required.C++ is a language like no other, surprising in its complexity, yet wonderfully sleek and elegant in so many ways. It is also a language that
... Læs mere
Building Xamarin.Forms Mobile Apps Using XAML

Mobile Cross-Platform XAML and Xamarin.Forms Fundamentals

af Dan Hermes, Nima Mazloumi ...

Serier serie Professional and Applied Computing (R0)
Leverage Xamarin.Forms to build iOS and Android apps using a single, cross-platform approach. This book is the XAML companion to the C# guide Xamarin Mobile Application Development.You'll begin with an overview of Xamarin.Forms, then move on to an in-depth XAML (eXtensible Application Markup Language) primer covering syntax, namespaces, markup extensions, constructors, and the XAML standard. XAML ... Læs mere

410,20 kr.

Leverage Xamarin.Forms to build iOS and Android apps using a single, cross-platform approach. This book is the XAML companion to the C# guide Xamarin Mobile Application Development.You'll begin with an overview of Xamarin.Forms, then move on to an in-depth XAML (eXtensible Application Markup Language) primer covering syntax, namespaces, markup extensions, constructors, and the XAML standard. XAML
... Læs mere
Software Technologies: Applications and Foundations

STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Redigeret af Manuel Mazzara, Iulian Ober, Gwen Salaün ...

Serier serie Springer Nature Proceedings Computer Science
This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018.The 65 full papers presented were carefully reviewed and selected from 120 submissions.The events whose papers are included in this volume are:CoSim-CPS 2018: ... Læs mere

466,89 kr.

This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018.The 65 full papers presented were carefully reviewed and selected from 120 submissions.The events whose papers are included in this volume are:CoSim-CPS 2018:
... Læs mere
NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Redigeret af Aaron Dutle, César Muñoz, Anthony Narkawicz ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations ... Læs mere

466,89 kr.

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations
... Læs mere
Microprogrammed State Machine Design

af Michel A. Lynch ...

Microprogrammed State Machine Design is a digital computer architecture text that builds systematically from basic concepts to complex state-machine design. It provides practical techniques and alternatives for designing solutions to data processing problems both in commerce and in research purposes. It offers an excellent introduction to the tools and elements of design used in microprogrammed ... Læs mere

2.145,79 kr.

Microprogrammed State Machine Design is a digital computer architecture text that builds systematically from basic concepts to complex state-machine design. It provides practical techniques and alternatives for designing solutions to data processing problems both in commerce and in research purposes. It offers an excellent introduction to the tools and elements of design used in microprogrammed
... Læs mere
LLVM Essentials

Become familiar with the LLVM infrastructure and start using LLVM libraries to design a compiler

af Suyog Sarda, Mayur Pandey ...

Become familiar with the LLVM infrastructure and start using LLVM libraries to design a compiler Key Features\[\*\]Learn to use the LLVM libraries to emit intermediate representation (IR) from high-level language\[\*\]Build your own optimization pass for better code generation\[\*\]Understand AST generation and use it in a meaningful wayBook DescriptionLLVM is currently the point of interest for ... Læs mere

183,74 kr. eller Gratis med Kobo Plus

Become familiar with the LLVM infrastructure and start using LLVM libraries to design a compiler Key Features\[\*\]Learn to use the LLVM libraries to emit intermediate representation (IR) from high-level language\[\*\]Build your own optimization pass for better code generation\[\*\]Understand AST generation and use it in a meaningful wayBook DescriptionLLVM is currently the point of interest for
... Læs mere
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Redigeret af Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and ... Læs mere

479,11 kr.

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and
... Læs mere
OpenMP in a Modern World: From Multi-device Support to Meta Programming

18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27–30, 2022, Proceedings

Redigeret af Michael Klemm, Bronis R. de Supinski, Jannis Klinkenberg, Brandon Neth ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International Workshop on OpenMP, IWOMP 2022, held in Chattanooga, TN, USA, in September 2022.The 11 full papers presented in this volume were carefully reviewed and selected for inclusion in this book from the 13 submissions. The papers are organized in topical sections named: OpenMP and multiple nodes; exploring new and recent OpenMP extensions; ... Læs mere

378,24 kr.

This book constitutes the proceedings of the 18th International Workshop on OpenMP, IWOMP 2022, held in Chattanooga, TN, USA, in September 2022.The 11 full papers presented in this volume were carefully reviewed and selected for inclusion in this book from the 13 submissions. The papers are organized in topical sections named: OpenMP and multiple nodes; exploring new and recent OpenMP extensions;
... Læs mere
Constraints Meet Concurrency

af Jacopo Mauro ...

Serier serie Mathematics and Statistics (R0)
This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand, problems modeled by using constraints can be solved faster and more efficiently using a concurrent ... Læs mere

420,24 kr.

This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand, problems modeled by using constraints can be solved faster and more efficiently using a concurrent
... 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

Newbies coding html&css

OpenGL Foundations: Taking Your First Steps in Graphics Programming

WebGL Wizardry: A Beginner's Guide to Interactive 3D Graphics

Applied Reconfigurable Computing. Architectures, Tools, and Applications

Practical MATLAB Deep Learning

Beginning C++20

Theoretical Aspects of Computing – ICTAC 2017

Transitioning to Swift

Thinking with Diagrams

Programmieren lernen mit Python und JavaScript

Explainable and Transparent AI and Multi-Agent Systems

Artificial Intelligence and Soft Computing

Software Engineering and Formal Methods

Beginning Adobe Animate CC

Math Mutation Classics

Modern C++ for Absolute Beginners

Building Xamarin.Forms Mobile Apps Using XAML

Software Technologies: Applications and Foundations

NASA Formal Methods

Microprogrammed State Machine Design

LLVM Essentials

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

OpenMP in a Modern World: From Multi-device Support to Meta Programming

Constraints Meet Concurrency