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

The DSSSL Book

An XML/SGML Programming Language

af Javier Farreres ...

Serier serie Computer Science (R0)
DSSSL (Document Style Semantics and Specification Language) is an ISO standard (ISO/IEC 10179: 1996) published in the year 1996. DSSSL is a standard of the SGML family (Standard Generalized Markup Language, ISO 8879:1986), whose aim is to establish a processing model for SGML documents. For a good understanding of the SGML standard, many books exist including Author's guide[BryanI988] and The SGML ... Læs mere

1.176,74 kr.

DSSSL (Document Style Semantics and Specification Language) is an ISO standard (ISO/IEC 10179: 1996) published in the year 1996. DSSSL is a standard of the SGML family (Standard Generalized Markup Language, ISO 8879:1986), whose aim is to establish a processing model for SGML documents. For a good understanding of the SGML standard, many books exist including Author's guide[BryanI988] and The SGML
... Læs mere
Learn to Program with C

af Noel Kalicharan ...

Serier serie Professional and Applied Computing (R0)
This book teaches computer programming to the complete beginner using the native C language. As such, it assumes you have no knowledge whatsoever about programming. The main goal of this book is to teach fundamental programming principles using C, one of the most widely used programming languages in the world today.We discuss only those features and statements in C that are necessary to achieve ... Læs mere

447,74 kr.

This book teaches computer programming to the complete beginner using the native C language. As such, it assumes you have no knowledge whatsoever about programming. The main goal of this book is to teach fundamental programming principles using C, one of the most widely used programming languages in the world today.We discuss only those features and statements in C that are necessary to achieve
... Læs mere
C++20 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

af Mikael Olsson ...

Serier serie Professional and Applied Computing (R0)
This quick C++ 20 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++20. It presents the essential C++20 code syntax in a well-organized format that can be used as a handy reference.This edition covers topics including designated initializers, lambdas and lambda captures, the spaceship operator, pack expressions, string literals as template ... Læs mere

494,86 kr.

This quick C++ 20 guide is a condensed code and syntax reference to the popular programming language, fully updated for C++20. It presents the essential C++20 code syntax in a well-organized format that can be used as a handy reference.This edition covers topics including designated initializers, lambdas and lambda captures, the spaceship operator, pack expressions, string literals as template
... Læs mere
The C# Programmer’s Study Guide (MCSD)

Exam: 70-483

af Ali Asad, Hamza Ali ...

Serier serie Professional and Applied Computing (R0)
Prepare for Microsoft Certification Exam 70-483: Programming in C#. The “What, Why, and How” of each concept is presented along with quick summaries, code challenges, and exam questions to review and practice key concepts.You will learn how to use:Lambda expressions to write LINQ query expressionsAsynchronous programming with the Async and Await keywords to maximize performance of slow ... Læs mere

526,36 kr.

Prepare for Microsoft Certification Exam 70-483: Programming in C#. The “What, Why, and How” of each concept is presented along with quick summaries, code challenges, and exam questions to review and practice key concepts.You will learn how to use:Lambda expressions to write LINQ query expressionsAsynchronous programming with the Async and Await keywords to maximize performance of slow
... Læs mere
Design Patterns in Modern C++20

Reusable Approaches for Object-Oriented Software Design

af Dmitri Nesteruk ...

Serier serie Professional and Applied Computing (R0)
Apply the latest editions of the C++ standard to the implementation of design patterns. As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful to modern C++ developers. Author Dmitri Nesteruk presents concepts as a fun investigation of how problems can be solved in different ways, along the way using varying degrees of ... Læs mere

369,24 kr.

Apply the latest editions of the C++ standard to the implementation of design patterns. As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful to modern C++ developers. Author Dmitri Nesteruk presents concepts as a fun investigation of how problems can be solved in different ways, along the way using varying degrees of
... Læs mere
Beginning IntelliJ IDEA

Integrated Development Environment for Java Programming

af Ted Hagos ...

Serier serie Professional and Applied Computing (R0)
Get started quickly with IntelliJ, from installation to configuration to working with the source code and more. This tutorial will show you how to leverage IntelliJ’s tools to develop clean, efficient Java applications.Author Ted Hagos will first walk you through buidling your first Java applications using IntelliJ. Then, he’ll show you how to analyze your application, top to bottom; using version ... Læs mere

447,74 kr.

Get started quickly with IntelliJ, from installation to configuration to working with the source code and more. This tutorial will show you how to leverage IntelliJ’s tools to develop clean, efficient Java applications.Author Ted Hagos will first walk you through buidling your first Java applications using IntelliJ. Then, he’ll show you how to analyze your application, top to bottom; using version
... Læs mere
Grundkurs Algorithmen und Datenstrukturen in JAVA

Eine Einführung in die praktische Informatik

af Andreas Solymosi, Ulrich Grude ...

Serier serie Computer Science and Engineering (German Language)
Dieses Lehrbuch für Ausbildung und Studium stellt die klassischen Informatik-Inhalte wie Sortieralgorithmen, Baumstrukturen, Komplexität, Rekursion und Algorithmenklassen bereit und wurde angepasst für die aktuelle Java-Version, wobei die verwendeten Neuerungen (Lambda-Ausdrücke, Ströme usw.) kurz erklärt werden. Vorteil des Buches sind die klare Ausrichtung an der Praxis und die Implementierung ... Læs mere

274,86 kr.

Dieses Lehrbuch für Ausbildung und Studium stellt die klassischen Informatik-Inhalte wie Sortieralgorithmen, Baumstrukturen, Komplexität, Rekursion und Algorithmenklassen bereit und wurde angepasst für die aktuelle Java-Version, wobei die verwendeten Neuerungen (Lambda-Ausdrücke, Ströme usw.) kurz erklärt werden. Vorteil des Buches sind die klare Ausrichtung an der Praxis und die Implementierung
... Læs mere
Testing Software and Systems

29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Redigeret af Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017.The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and
... Læs mere
Speech and Language Processing for Human-Machine Communications

Proceedings of CSI 2015

Redigeret af S. S. Agrawal, Poonam Bansal, Ritika Wason, Amita Devi ...

Serier serie Springer Nature Proceedings excluding Computer Science
This volume comprises the select proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. The volumes cover diverse topics ranging from communications networks to big data analytics, and from system architecture to cyber security. This volume focuses on Speech ... Læs mere

840,47 kr.

This volume comprises the select proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. The volumes cover diverse topics ranging from communications networks to big data analytics, and from system architecture to cyber security. This volume focuses on Speech
... Læs mere
Evaluation of Novel Approaches to Software Engineering

12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

Redigeret af Ernesto Damiani, George Spanoudakis, Leszek Maciaszek ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT ... Læs mere

466,89 kr.

This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.The 12 full papers presented were carefully reviewed and selected from 102 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT
... Læs mere
Moving to Responsive Web Design

Bring existing static sites into today's multi-device world with responsive web design

af Inayaili de León ...

Serier serie Professional and Applied Computing (R0)
Redesign your static website into a modern, fully responsive website. As the usage of mobile devices of all shapes and sizes increases exponentially every year, and dominates the manner in which many users access the web, it is now imperative for any business to have a responsive website that adapts seamlessly to any screen size and resolution — a change that will impact not only your designs but ... Læs mere

305,41 kr.

Redesign your static website into a modern, fully responsive website. As the usage of mobile devices of all shapes and sizes increases exponentially every year, and dominates the manner in which many users access the web, it is now imperative for any business to have a responsive website that adapts seamlessly to any screen size and resolution — a change that will impact not only your designs but
... Læs mere
Java lernen in abgeschlossenen Lerneinheiten

Programmieren für Einsteiger mit vielen Beispielen

af Sebastian Dörn ...

Serier serie Computer Science and Engineering (German Language)
Schaffen Sie mit diesem Buch den Einstieg in die Programmierung mit JavaDas Arbeiten mit Programmiersprachen wie Java kann für Einsteiger sehr kompliziert sein. Dieses Buch über die Programmierung mit Java bringt Anfängern anhand einzelner abgeschlossener Lerneinheiten das Programmieren mit Java bei. Es zeigt den Entwurf von effizienten Daten- und Ablaufstrukturen, macht algorithmische Konzepte ... Læs mere

200,71 kr.

Schaffen Sie mit diesem Buch den Einstieg in die Programmierung mit JavaDas Arbeiten mit Programmiersprachen wie Java kann für Einsteiger sehr kompliziert sein. Dieses Buch über die Programmierung mit Java bringt Anfängern anhand einzelner abgeschlossener Lerneinheiten das Programmieren mit Java bei. Es zeigt den Entwurf von effizienten Daten- und Ablaufstrukturen, macht algorithmische Konzepte
... Læs mere
Java 9 Recipes

A Problem-Solution Approach

af Josh Juneau ...

Serier serie Professional and Applied Computing (R0)
Quickly find solutions to dozens of common programming problems encountered while building Java applications. Content is presented in the popular problem-solution format. Look up the programming problem that you want to resolve. Read the solution. Apply the solution directly in your own code. Problem solved!This revised edition covers important new features such as Java 9's JShell and the new ... Læs mere

462,50 kr.

Quickly find solutions to dozens of common programming problems encountered while building Java applications. Content is presented in the popular problem-solution format. Look up the programming problem that you want to resolve. Read the solution. Apply the solution directly in your own code. Problem solved!This revised edition covers important new features such as Java 9's JShell and the new
... Læs mere
LibGDX In-Depth: Enhancing Your Game Development Skills

af Kameron Hussain, Frahaan Hussain ...

"LibGDX In-Depth: Enhancing Your Game Development Skills" is a meticulously crafted guide aimed at game developers who are familiar with the basics of Java and the LibGDX framework and are ready to take their skills to the next level. This book is a sequel to a series that has already laid the groundwork for beginners, and now it's time to delve deeper into the more complex and fascinating aspects ... Læs mere

62,82 kr. eller Gratis med Kobo Plus

"LibGDX In-Depth: Enhancing Your Game Development Skills" is a meticulously crafted guide aimed at game developers who are familiar with the basics of Java and the LibGDX framework and are ready to take their skills to the next level. This book is a sequel to a series that has already laid the groundwork for beginners, and now it's time to delve deeper into the more complex and fascinating aspects
... Læs mere
The Definitive Guide to Modern Java Clients with JavaFX 17

Cross-Platform Mobile and Cloud Development

af Stephen Chin, Johan Vos, James Weaver, Gail Anderson, Paul Anderson, Bruno Borges, Anton Epple, Weiqi Gao, Jonathan Giles, José Pereda, Sven Reimers, Eugene Ryzhikov, William Antônio Siqueira ...

Serier serie Professional and Applied Computing (R0)
Build enhanced visual experiences and design and deploy modern, easy-to-maintain, client applications across a variety of platforms. This book will show you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud services to create immersive visualizations and allow high-value data manipulation. The Definitive Guide to Modern Java Clients ... Læs mere

610,90 kr.

Build enhanced visual experiences and design and deploy modern, easy-to-maintain, client applications across a variety of platforms. This book will show you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud services to create immersive visualizations and allow high-value data manipulation. The Definitive Guide to Modern Java Clients
... Læs mere
Formal Languages and Compilation

af Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti ...

Serier serie Computer Science (R0)
This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown ... Læs mere

840,47 kr.

This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators.This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown
... Læs mere
Abstract State Machines, Alloy, B, TLA, VDM, and Z

6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Redigeret af Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018.The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018.The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines,
... Læs mere
Java lernen in abgeschlossenen Lerneinheiten

Der Einstieg in die Programmierung mit vielen Beispielen

af Sebastian Dörn ...

Serier serie Computer Science and Engineering (German Language)
Dieses Lehrbuch bringt Einsteiger anhand einzelner abgeschlossener Lerneinheiten das Programmieren mit Java bei. Es zeigt den Entwurf von effizienten Daten- und Ablaufstrukturen und versetzt die Leser dadurch in die Lage, algorithmische Konzepte zu verstehen und in Programmcode umzusetzen.Zentrale Lernziele sind das Verstehen der Abstraktionskonzepte moderner Programmiersprachen und das Erlernen ... Læs mere

235,55 kr.

Dieses Lehrbuch bringt Einsteiger anhand einzelner abgeschlossener Lerneinheiten das Programmieren mit Java bei. Es zeigt den Entwurf von effizienten Daten- und Ablaufstrukturen und versetzt die Leser dadurch in die Lage, algorithmische Konzepte zu verstehen und in Programmcode umzusetzen.Zentrale Lernziele sind das Verstehen der Abstraktionskonzepte moderner Programmiersprachen und das Erlernen
... Læs mere
Advancing OpenMP for Future Accelerators

20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23–25, 2024, Proceedings

Redigeret af Alexis Espinosa, Michael Klemm, Bronis R. de Supinski, Maciej Cytowski, Jannis Klinkenberg ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Workshop on OpenMP: Advancing OpenMP for Future Accelerators, IWOMP 2024, in Perth, WA, Australia, during September 23–25, 2024.The 14 full papers presented in this book were carefully reviewed and selected from 16 submissions. They are grouped into the following topics: current and future openMP optimization; targeting more ... Læs mere

513,59 kr.

This book constitutes the refereed proceedings of the 20th International Workshop on OpenMP: Advancing OpenMP for Future Accelerators, IWOMP 2024, in Perth, WA, Australia, during September 23–25, 2024.The 14 full papers presented in this book were carefully reviewed and selected from 16 submissions. They are grouped into the following topics: current and future openMP optimization; targeting more
... Læs mere
Practical MATLAB

With Modeling, Simulation, and Processing Projects

af Irfan Turk ...

Serier serie Professional and Applied Computing (R0)
Apply MATLAB programming to the mathematical modeling of real-life problems from a wide range of topics. This pragmatic book shows you how to solve your programming problems, starting with a brief primer on MATLAB and the fundamentals of the MATLAB programming language. Then, you’ll build fully working examples and computational models found in the financial, engineering, and scientific sectors. ... Læs mere

584,75 kr.

Apply MATLAB programming to the mathematical modeling of real-life problems from a wide range of topics. This pragmatic book shows you how to solve your programming problems, starting with a brief primer on MATLAB and the fundamentals of the MATLAB programming language. Then, you’ll build fully working examples and computational models found in the financial, engineering, and scientific sectors.
... Læs mere
R Data Science Quick Reference

A Pocket Guide to APIs, Libraries, and Packages

af Thomas Mailund ...

Serier serie Professional and Applied Computing (R0)
In this handy, practical book you will cover each concept concisely, with many illustrative examples. You'll be introduced to several R data science packages, with examples of how to use each of them.In this book, you’ll learn about the following APIs and packages that deal specifically with data science applications: readr, dibble, forecasts, lubridate, stringr, tidyr, magnittr, dplyr, purrr, ... Læs mere

410,20 kr.

In this handy, practical book you will cover each concept concisely, with many illustrative examples. You'll be introduced to several R data science packages, with examples of how to use each of them.In this book, you’ll learn about the following APIs and packages that deal specifically with data science applications: readr, dibble, forecasts, lubridate, stringr, tidyr, magnittr, dplyr, purrr,
... 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

466,89 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
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

466,89 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
FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Redigeret af Keijiro Araki, Stefania Gnesi, Dion Mandrioli ...

Serier serie Computer Science (R0)
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings ... Læs mere

840,47 kr.

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings
... 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

The DSSSL Book

Learn to Program with C

C++20 Quick Syntax Reference

The C# Programmer’s Study Guide (MCSD)

Design Patterns in Modern C++20

Beginning IntelliJ IDEA

Grundkurs Algorithmen und Datenstrukturen in JAVA

Testing Software and Systems

Speech and Language Processing for Human-Machine Communications

Evaluation of Novel Approaches to Software Engineering

Moving to Responsive Web Design

Java lernen in abgeschlossenen Lerneinheiten

Java 9 Recipes

LibGDX In-Depth: Enhancing Your Game Development Skills

The Definitive Guide to Modern Java Clients with JavaFX 17

Formal Languages and Compilation

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Java lernen in abgeschlossenen Lerneinheiten

Advancing OpenMP for Future Accelerators

Practical MATLAB

R Data Science Quick Reference

Formal Methods and Software Engineering

Tests and Proofs

FME 2003: Formal Methods