Rakuten Kobo

Warenkorb

Artikel nicht erhältlich

Bitte überprüfen Sie Ihren Warenkorb. Sie können nicht verfügbare Artikel jetzt entfernen. Andernfalls werden diese beim Bezahlen automatisch entfernt.

ElementeElement

- Enthält eBooks
  
  Enthält Hörbücher
  
  Enthält 30 Stunden Hörzeit
  
  Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
  
  Erhalten Sie jeden Monat 1 Gutschrift für das Hörbuch Ihrer Wahl
  
  Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
  
  Enthält eBooks
  
  Enthält Hörbücher
  
  Enthält 30 Stunden Hörzeit
  
  Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
  Hörbuch
  von ,
  
  Erhältlich ab:
  
  . Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions.
  
  Vorbestellen
  1 Hörbuch monatlich
  
  + 30 Tage kostenlos testen
  
  Willkommensgeschenk
  
  Sicheren Sie sich jeden Monat eine Gutschrift, die Sie gegen ein Hörbuch Ihrer Wahl einlösen können
  
  * Keine Bindung, jederzeit kündbar
  
  KOSTENLOS

ElementeElement

Enthält eBooks

Enthält Hörbücher

Enthält 30 Stunden Hörzeit

Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions

Erhalten Sie jeden Monat 1 Gutschrift für das Hörbuch Ihrer Wahl

Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions

Enthält eBooks

Enthält Hörbücher

Enthält 30 Stunden Hörzeit

Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
Hörbuch
von ,

Erhältlich ab:
. Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions.

Vorbestellen
1 Hörbuch monatlich

+ 30 Tage kostenlos testen

Willkommensgeschenk

Sicheren Sie sich jeden Monat eine Gutschrift, die Sie gegen ein Hörbuch Ihrer Wahl einlösen können

* Keine Bindung, jederzeit kündbar

KOSTENLOS

Empfehlungen für Sie

Data Parallel C++

Programming Accelerated Systems Using C++ and SYCL

von James Reinders, Ben Ashbaugh, James Brodman, Michael Kinsner, John Pennycook, Xinmin Tian …

Serien series Professional and Applied Computing (R0)
"This book, now in is second edition, is the premier resource to learn SYCL 2020 and is the ONLY book you need to become part of this community." Erik Lindahl, GROMACS and Stockholm UniversityLearn how to accelerate C++ programs using data parallelism and SYCL.This open access book enables C++ programmers to be at the forefront of this exciting and important development that is helping to push … Lesen Sie mehr

Kostenlos

"This book, now in is second edition, is the premier resource to learn SYCL 2020 and is the ONLY book you need to become part of this community." Erik Lindahl, GROMACS and Stockholm UniversityLearn how to accelerate C++ programs using data parallelism and SYCL.This open access book enables C++ programmers to be at the forefront of this exciting and important development that is helping to push
... Lesen Sie mehr
Advanced C and C++ Compiling

von Milan Stevanovic …

Serien series Professional and Applied Computing (R0)
Learning how to write C/C++ code is only the first step. To be a serious programmer, you need to understand the structure and purpose of the binary files produced by the compiler: object files, static libraries, shared libraries, and, of course, executables.Advanced C and C++ Compiling explains the build process in detail and shows how to integrate code from other developers in the form of … Lesen Sie mehr

€ 92,61

Learning how to write C/C++ code is only the first step. To be a serious programmer, you need to understand the structure and purpose of the binary files produced by the compiler: object files, static libraries, shared libraries, and, of course, executables.Advanced C and C++ Compiling explains the build process in detail and shows how to integrate code from other developers in the form of
... Lesen Sie mehr
Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Bearbeitet von Nadia Polikarpova, Steve Schneider …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems,
... Lesen Sie mehr
Learn iOS Application Distribution

Successfully Distribute Apps

von Hagop Panosian …

Serien series Professional and Applied Computing (R0)
Cover every aspect of the app industry, from app idea generation through to marketing and performance monitoring. With this book you'll receive complete, reliable, up-to-date, and professional information and guidance.Learn iOS App Distribution is every developers thorough and accessible guide to successfully distributing apps. For readers who already know how to code and create apps, this book … Lesen Sie mehr

€ 37,06

Cover every aspect of the app industry, from app idea generation through to marketing and performance monitoring. With this book you'll receive complete, reliable, up-to-date, and professional information and guidance.Learn iOS App Distribution is every developers thorough and accessible guide to successfully distributing apps. For readers who already know how to code and create apps, this book
... Lesen Sie mehr
Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Bearbeitet von K. Narayan Kumar, Deepak D'Souza …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in
... Lesen Sie mehr
Coordination, Organizations, Institutions, and Norms in Agent Systems XII

COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

Bearbeitet von Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016. The workshop COIN@AAMAS 2016 was held in Singapore, Singapore, in May 2016, and the workshop COIN@ECAI 2016 was held in The Hague, The Netherlands, in August 2016.The 9 full papers were carefully reviewed … Lesen Sie mehr

€ 49,49

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016. The workshop COIN@AAMAS 2016 was held in Singapore, Singapore, in May 2016, and the workshop COIN@ECAI 2016 was held in The Hague, The Netherlands, in August 2016.The 9 full papers were carefully reviewed
... Lesen Sie mehr
Rules and Reasoning

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

Bearbeitet von Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman …

Serien 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 … Lesen Sie mehr

€ 49,49

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
... Lesen Sie mehr
Practical Video Game Bots

Automating Game Processes using C++, Python, and AutoIt

von Ilya Shpigor …

Serien series Professional and Applied Computing (R0)
Develop and use bots in video gaming to automate game processes and see possible ways to avoid this kind of automation. This book explains how bots can be very helpful in games such as multiplayer online games, both for training your character and for automating repetitious game processes in order to start a competition with human opponents much faster.Some players might use bots for cheating or … Lesen Sie mehr

€ 43,55

Develop and use bots in video gaming to automate game processes and see possible ways to avoid this kind of automation. This book explains how bots can be very helpful in games such as multiplayer online games, both for training your character and for automating repetitious game processes in order to start a competition with human opponents much faster.Some players might use bots for cheating or
... Lesen Sie mehr
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

von Paul Lokuciejewski, Peter Marwedel …

Serien series Engineering (R0)
For real-time systems, the worst-case execution time (WCET) is the key objective to be considered. Traditionally, code for real-time systems is generated without taking this objective into account and the WCET is computed only after code generation. Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems presents the first comprehensive approach integrating WCET considerations … Lesen Sie mehr

€ 138,59

For real-time systems, the worst-case execution time (WCET) is the key objective to be considered. Traditionally, code for real-time systems is generated without taking this objective into account and the WCET is computed only after code generation. Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems presents the first comprehensive approach integrating WCET considerations
... Lesen Sie mehr
Optimizing HPC Applications with Intel Cluster Tools

Hunting Petaflops

von Alexander Supalov, Christopher Dahnken, Michael Klemm, Andrey Semin …

Optimizing HPC Applications with Intel® Cluster Tools takes the reader on a tour of the fast-growing area of high performance computing and the optimization of hybrid programs. These programs typically combine distributed memory and shared memory programming models and use the Message Passing Interface (MPI) and OpenMP for multi-threading to achieve the ultimate goal of high performance at low … Lesen Sie mehr

Kostenlos

Optimizing HPC Applications with Intel® Cluster Tools takes the reader on a tour of the fast-growing area of high performance computing and the optimization of hybrid programs. These programs typically combine distributed memory and shared memory programming models and use the Message Passing Interface (MPI) and OpenMP for multi-threading to achieve the ultimate goal of high performance at low
... Lesen Sie mehr
Usability

Gaining a Competitive Edge

Bearbeitet von Judy Hammond, Tom Gross, Janet Wesson …

Serien series Computer Science (R0)
Usability has become increasingly important as an essential part of the design and development of software and systems for all sectors of society, business, industry, government and education, as well as a topic of research. Today, we can safely say that, in many parts of the world, information technology and communications is or is becoming a central force in revolutionising the way that we all … Lesen Sie mehr

€ 89,09

Usability has become increasingly important as an essential part of the design and development of software and systems for all sectors of society, business, industry, government and education, as well as a topic of research. Today, we can safely say that, in many parts of the world, information technology and communications is or is becoming a central force in revolutionising the way that we all
... Lesen Sie mehr
Formal Methods for Industrial Critical Systems

30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings

Bearbeitet von Anne Remke, Bernhard Steffen …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; … Lesen Sie mehr

€ 56,42

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification;
... Lesen Sie mehr
Guide to Java

A Concise Introduction to Programming

von James T. Streib, Takako Soma …

Serien series Computer Science (R0)
This book presents a focused and accessible primer on the fundamentals of Java programming, with extensive use of examples and hands-on exercises. Topics and features: provides an introduction to variables, input/output and arithmetic operations; describes objects and contour diagrams, explains selection structures, and demonstrates how iteration structures work; discusses object-oriented concepts … Lesen Sie mehr

€ 44,54

This book presents a focused and accessible primer on the fundamentals of Java programming, with extensive use of examples and hands-on exercises. Topics and features: provides an introduction to variables, input/output and arithmetic operations; describes objects and contour diagrams, explains selection structures, and demonstrates how iteration structures work; discusses object-oriented concepts
... Lesen Sie mehr
Inductive Logic Programming

32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings

Bearbeitet von Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13–15, 2023.The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 18 submissions. They cover all aspects of learning in logic, multi-relational data mining, statistical relational learning, … Lesen Sie mehr

€ 44,54

This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari, Italy, during November 13–15, 2023.The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 18 submissions. They cover all aspects of learning in logic, multi-relational data mining, statistical relational learning,
... Lesen Sie mehr
Database Systems for Advanced Applications. DASFAA 2023 International Workshops

BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023, Proceedings

Bearbeitet von Amr El Abbadi, Gillian Dobbie, Zhiyong Feng, Lu Chen, Xiaohui Tao, Yingxia Shao, Hongzhi Yin …

Serien series Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 28th International Conference on Database Systems for Advanced Applications, DASFAA 2023, held in Tanjin, China, in April 2023.The 23 revised full papers presented in this book were carefully reviewed and selected from 40 submissions. DASFAA 2023 presents the following four workshops:9th International … Lesen Sie mehr

€ 74,24

This volume constitutes the papers of several workshops which were held in conjunction with the 28th International Conference on Database Systems for Advanced Applications, DASFAA 2023, held in Tanjin, China, in April 2023.The 23 revised full papers presented in this book were carefully reviewed and selected from 40 submissions. DASFAA 2023 presents the following four workshops:9th International
... Lesen Sie mehr
Accelerator Programming Using Directives

8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings

Bearbeitet von Sridutt Bhalachandra, Christopher Daley, Verónica Melesse Vergara …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel … Lesen Sie mehr

€ 54,44

This book constitutes the proceedings of the 8th International Workshop on Accelerator Programming Using Directives, WACCPD 2021, which took place in November 2021. The conference was held as hybrid event.WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel
... Lesen Sie mehr
Java XML and JSON

von JEFF FRIESEN …

Serien series Professional and Applied Computing (R0)
Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select … Lesen Sie mehr

€ 34,31

Java XML and JSON is your one-stop guide to mastering the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML/JSON documents (and more). The first six chapters focus on XML along with the SAX, DOM, StAX, XPath, and XSLT APIs. The remaining four chapters focus on JSON along with the mJson, GSON, and JsonPath APIs.Each chapter ends with select
... Lesen Sie mehr
Perspectives of System Informatics

11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Bearbeitet von Alexander K. Petrenko, Andrei Voronkov …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and
... Lesen Sie mehr
Logic, Rationality, and Interaction

7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Bearbeitet von Patrick Blackburn, Emiliano Lorini, Meiyun Guo …

Serien series Springer Nature Proceedings excluding Computer Science
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and … Lesen Sie mehr

€ 49,49

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and
... Lesen Sie mehr
Python Programming Fundamentals

von Kent D. Lee …

Serien series Computer Science (R0)
Computer programming is a skill that can bring great enjoyment from the creativity involved in designing and implementing a solution to a problem. This classroom-tested and easy-to-follow textbook teaches the reader how to program using Python, an accessible language which can be learned incrementally. Through an extensive use of examples and practical exercises, students will learn to recognize … Lesen Sie mehr

€ 32,66

Computer programming is a skill that can bring great enjoyment from the creativity involved in designing and implementing a solution to a problem. This classroom-tested and easy-to-follow textbook teaches the reader how to program using Python, an accessible language which can be learned incrementally. Through an extensive use of examples and practical exercises, students will learn to recognize
... Lesen Sie mehr
Database Systems for Advanced Applications. DASFAA 2024 International Workshops

BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

Bearbeitet von Atsuyuki Morishima, Guoliang Li, Yoshiharu Ishikawa, Sihem Amer-Yahia, H. V. Jagadish, Kejing Lu …

Serien series Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 29th International Conference on Database Systems for Advanced Applications, held in Gifu, Japan, during July 2-5, 2024.The 26 full papers and 9 short papers included in this book were carefully reviewed and selected from 43 submissions.DASFAA 2024 presents the following four workshops:The 10th … Lesen Sie mehr

€ 74,24

This volume constitutes the papers of several workshops which were held in conjunction with the 29th International Conference on Database Systems for Advanced Applications, held in Gifu, Japan, during July 2-5, 2024.The 26 full papers and 9 short papers included in this book were carefully reviewed and selected from 43 submissions.DASFAA 2024 presents the following four workshops:The 10th
... Lesen Sie mehr
Java üben mit dem Plotter

Ein Überblick für Studierende und Einsteiger

von Stephan Euler …

Serien series Computer Science and Engineering (German Language)
Dieses essential zeigt, wie man in Java-Anwendungen mit dem Plotter grafische Darstellungen erzeugen kann. Mit dem Plotter-Objekt – angelehnt an den Stiftplotter, der sich mit Steuerbefehlen über Papier bewegt – wird eine einfache Schnittstelle zur grafischen Programmierung angeboten. Bereits beim Einstieg in die Programmierung entstehen so erste grafische Darstellungen wie z.B. Funktionsverläufe … Lesen Sie mehr

€ 5,13

Dieses essential zeigt, wie man in Java-Anwendungen mit dem Plotter grafische Darstellungen erzeugen kann. Mit dem Plotter-Objekt – angelehnt an den Stiftplotter, der sich mit Steuerbefehlen über Papier bewegt – wird eine einfache Schnittstelle zur grafischen Programmierung angeboten. Bereits beim Einstieg in die Programmierung entstehen so erste grafische Darstellungen wie z.B. Funktionsverläufe
... Lesen Sie mehr
Introducing Jakarta EE CDI

Contexts and Dependency Injection for Enterprise Java Development

von Luqman Saeed …

Serien series Professional and Applied Computing (R0)
Discover the Jakarta EE Contexts and Dependency Injection (CDI 2.0) framework which helps you write better code through the use of well-defined enterprise Java-based components and beans (EJBs). If you have ever wanted to write clean Java EE code, this short book is your best guide for doing so: you will pick up valuable tips along the way from your author's years of experience teaching and coding … Lesen Sie mehr

€ 43,55

Discover the Jakarta EE Contexts and Dependency Injection (CDI 2.0) framework which helps you write better code through the use of well-defined enterprise Java-based components and beans (EJBs). If you have ever wanted to write clean Java EE code, this short book is your best guide for doing so: you will pick up valuable tips along the way from your author's years of experience teaching and coding
... Lesen Sie mehr
Raku Fundamentals

A Primer with Examples, Projects, and Case Studies

von Moritz Lenz …

Serien series Professional and Applied Computing (R0)
Gain the skills to begin developing Raku applications from the ground up in this hands-on compact book, which includes a foreword from Larry Wall, creator of Perl. You’ll learn enough to get started building with Raku, using Raku's gradual typing, handy object orientated features, powerful parsing capabilities, and human-usable concurrency. This book has been updated to include the latest version … Lesen Sie mehr

€ 58,29

Gain the skills to begin developing Raku applications from the ground up in this hands-on compact book, which includes a foreword from Larry Wall, creator of Perl. You’ll learn enough to get started building with Raku, using Raku's gradual typing, handy object orientated features, powerful parsing capabilities, and human-usable concurrency. This book has been updated to include the latest version
... Lesen Sie mehr

Kobo Rakuten

eReader

Apps

Zubehör

Warenkorb

Sie werden jetzt wie ein VIP behandelt!

Ihr Warenkorb ist leer

Erhältlich ab:

1 Hörbuch monatlich

+ 30 Tage kostenlos testen

Erhältlich ab:

1 Hörbuch monatlich

+ 30 Tage kostenlos testen

Empfehlungen für Sie

Compilerprogramme eBooks

Data Parallel C++

Advanced C and C++ Compiling

Integrated Formal Methods

Learn iOS Application Distribution

Automated Technology for Verification and Analysis

Coordination, Organizations, Institutions, and Norms in Agent Systems XII

Rules and Reasoning

Practical Video Game Bots

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

Optimizing HPC Applications with Intel Cluster Tools

Usability

Formal Methods for Industrial Critical Systems

Guide to Java

Inductive Logic Programming

Database Systems for Advanced Applications. DASFAA 2023 International Workshops

Accelerator Programming Using Directives

Java XML and JSON

Perspectives of System Informatics

Logic, Rationality, and Interaction

Python Programming Fundamentals

Database Systems for Advanced Applications. DASFAA 2024 International Workshops

Java üben mit dem Plotter

Introducing Jakarta EE CDI

Raku Fundamentals