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

Perl 6 Quick Syntax Reference

A Pocket Guide to the Language, the Core Modules, and the Community

af J.J. Merelo ...

Serier serie Professional and Applied Computing (R0)
This condensed code and syntax reference book presents the Raku (formerly known as Perl 6) scripting language in a well-organized format designed to be used time and again. It contains an easy-to-read and use guide to Raku for software application development.Using this book will give you a feel for the language, as well as an introduction to the different features (such as object-oriented ... Læs mere

322,87 kr.

This condensed code and syntax reference book presents the Raku (formerly known as Perl 6) scripting language in a well-organized format designed to be used time and again. It contains an easy-to-read and use guide to Raku for software application development.Using this book will give you a feel for the language, as well as an introduction to the different features (such as object-oriented
... Læs mere
Modelling to Program

Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers

Redigeret af Ajantha Dahanayake, Oscar Pastor, Bernhard Thalheim ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March 2020.The 10 papers presented were thoroughly reviewed and selected from 24 submissions. The papers provide a discussion on novel approaches to programming based on modelling approaches such as model-driven development (MDE, MDA, MDD) and ... Læs mere

466,89 kr.

This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March 2020.The 10 papers presented were thoroughly reviewed and selected from 24 submissions. The papers provide a discussion on novel approaches to programming based on modelling approaches such as model-driven development (MDE, MDA, MDD) and
... Læs mere
Datenbanken und SQL

Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL Server und MySQL

af Edwin Schicker ...

Serier serie Computer Science and Engineering (German Language)
Dieses Buch vermittelt fundierte Grundkenntnisse sowohl in Datenbanken als auch in SQL. Eine Zusammenfassung und zahlreiche Übungsaufgaben in jedem Kapitel dienen der Vertiefung des Stoffes und verbessern den Lernerfolg deutlich. Die Schwerpunkte des Buches sind relationale Datenbanken, Entwurf von Datenbanken, die Programmiersprache SQL und der Zugriff auf Datenbanken mittels der Sprache PHP. ... Læs mere

305,41 kr.

Dieses Buch vermittelt fundierte Grundkenntnisse sowohl in Datenbanken als auch in SQL. Eine Zusammenfassung und zahlreiche Übungsaufgaben in jedem Kapitel dienen der Vertiefung des Stoffes und verbessern den Lernerfolg deutlich. Die Schwerpunkte des Buches sind relationale Datenbanken, Entwurf von Datenbanken, die Programmiersprache SQL und der Zugriff auf Datenbanken mittels der Sprache PHP.
... Læs mere
Model-Based Systems Engineering with OPM and SysML

af Dov Dori ...

Serier serie Computer Science (R0)
Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of systems engineering. This textbook specifies the two leading conceptual modeling languages, OPM—the new ISO 19450, composed primarily by the author of this book, and OMG SysML. It provides essential insights into a domain ... Læs mere

606,98 kr.

Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of systems engineering. This textbook specifies the two leading conceptual modeling languages, OPM—the new ISO 19450, composed primarily by the author of this book, and OMG SysML. It provides essential insights into a domain
... Læs mere
Ubiquitous Information Technologies and Applications

CUTE 2012

Redigeret af Youn-Hee Han, Doo-Soon Park, Weijia Jia, Sang-Soo Yeo ...

Serier serie Springer Nature Proceedings excluding Computer Science
Recent advances in electronic and computer technologies have paved the way for the proliferation of ubiquitous computing and innovative applications that incorporate these technologies. This proceedings book describes these new and innovative technologies, and covers topics like Ubiquitous Communication and Networks, Security Systems, Smart Devices and Applications, Cloud and Grid Systems, Service ... Læs mere

1.867,83 kr.

Recent advances in electronic and computer technologies have paved the way for the proliferation of ubiquitous computing and innovative applications that incorporate these technologies. This proceedings book describes these new and innovative technologies, and covers topics like Ubiquitous Communication and Networks, Security Systems, Smart Devices and Applications, Cloud and Grid Systems, Service
... Læs mere
Beginning COBOL for Programmers

af Michael Coughlan ...

Serier serie Professional and Applied Computing (R0)
Beginning COBOL for Programmers is a comprehensive, sophisticated tutorial and modular skills reference on the COBOL programming language for established programmers. This book is for you if you are a developer who would like to—or must—add COBOL to your repertoire. Perhaps you recognize the opportunities presented by the current COBOL skills crisis, or are working in a mission critical enterprise ... Læs mere

872,79 kr.

Beginning COBOL for Programmers is a comprehensive, sophisticated tutorial and modular skills reference on the COBOL programming language for established programmers. This book is for you if you are a developer who would like to—or must—add COBOL to your repertoire. Perhaps you recognize the opportunities presented by the current COBOL skills crisis, or are working in a mission critical enterprise
... Læs mere
Spring REST

Building Java Microservices and Cloud Applications

af Balaji Varanasi, Maxim Bartkov ...

Serier serie Professional and Applied Computing (R0)
Design and develop Java-based RESTful APIs using the latest versions of the Spring MVC and Spring Boot frameworks. This book walks you through the process of designing and building a REST application while delving into design principles and best practices for versioning, security, documentation, error handling, paging, and sorting.Spring REST provides a brief introduction to REST, HTTP, and web ... Læs mere

322,87 kr.

Design and develop Java-based RESTful APIs using the latest versions of the Spring MVC and Spring Boot frameworks. This book walks you through the process of designing and building a REST application while delving into design principles and best practices for versioning, security, documentation, error handling, paging, and sorting.Spring REST provides a brief introduction to REST, HTTP, and web
... Læs mere
Verification and Evaluation of Computer and Communication Systems

11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Redigeret af Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is ... Læs mere

466,89 kr.

This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is
... Læs mere
Systems Programming in Unix/Linux

af K.C. Wang ...

Serier serie Computer Science (R0)
Covering all the essential components of Unix/Linux, including process management, concurrent programming, timer and time service, file systems and network programming, this textbook emphasizes programming practice in the Unix/Linux environment. Systems Programming in Unix/Linux is intended as a textbook for systems programming courses in technically-oriented Computer Science/Engineering curricula ... Læs mere

504,36 kr.

Covering all the essential components of Unix/Linux, including process management, concurrent programming, timer and time service, file systems and network programming, this textbook emphasizes programming practice in the Unix/Linux environment. Systems Programming in Unix/Linux is intended as a textbook for systems programming courses in technically-oriented Computer Science/Engineering curricula
... Læs mere
Euro-Par 2016: Parallel Processing

22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

Redigeret af Pierre-François Dutot, Denis Trystram ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France, in August 2016.The 47 revised full papers presented together with 2 invited papers and one industrial paper were carefully reviewed and selected from 176 submissions. The papers are organized in 12 topical sections: Support Tools and ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, held in Grenoble, France, in August 2016.The 47 revised full papers presented together with 2 invited papers and one industrial paper were carefully reviewed and selected from 176 submissions. The papers are organized in 12 topical sections: Support Tools and
... Læs mere
AIxIA 2024 – Advances in Artificial Intelligence

XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings

Redigeret af Alessandro Artale, Gabriella Cortellessa, Marco Montali ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 – Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25–28, 2024.The 24 full papers and 1 invited paper included in this volume were carefully reviewed and selected from 41 submissions. The papers cover the following topics: artificial intelligence; journals; ... Læs mere

700,38 kr.

This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 – Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25–28, 2024.The 24 full papers and 1 invited paper included in this volume were carefully reviewed and selected from 41 submissions. The papers cover the following topics: artificial intelligence; journals;
... Læs mere
Language Constructs for Describing Features

Proceedings of the FIREworks workshop

Redigeret af Stephen Gilmore, Mark Ryan ...

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and ... Læs mere

420,24 kr.

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and
... Læs mere
Multi-Paradigm Programming using C++

af Dirk Vermeir ...

An Introduction to Multi-Paradigm Programming using C++ is a self-contained reference book for those studying and using C++. Starting from scratch, Dirk Vermeir explains the idea of address, value and type in C++ before quickly moving on to cover the more important aspects of the language such as classes, templates, generic programming and inheritance. He includes recent developments in C++, such ... Læs mere

756,49 kr.

An Introduction to Multi-Paradigm Programming using C++ is a self-contained reference book for those studying and using C++. Starting from scratch, Dirk Vermeir explains the idea of address, value and type in C++ before quickly moving on to cover the more important aspects of the language such as classes, templates, generic programming and inheritance. He includes recent developments in C++, such
... Læs mere
Formal Verification of Just-in-Time Compilation

af Aurèle Barrière ...

Serier serie ACM Books
This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time ... Læs mere

310,99 kr.

This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time
... Læs mere
Topics in Theoretical Computer Science

Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Redigeret af Mohammad Reza Mousavi, Jiří Sgall ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming ... Læs mere

420,24 kr.

This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming
... Læs mere
Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Redigeret af Mauricio Ayala-Rincón, César A. Muñoz ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in ... Læs mere

420,24 kr.

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in
... Læs mere
Unifying Theories of Programming

7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

Redigeret af Pedro Ribeiro, Augusto Sampaio ...

Serier serie Springer Nature Proceedings Computer Science
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP ... Læs mere

420,24 kr.

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP
... Læs mere
Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Redigeret af Rupak Majumdar, Viktor Kunčak ...

Serier Bog 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is ... Læs mere

420,24 kr.

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is
... Læs mere
Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Redigeret af Alexander Romanovsky, Elena A. Troubitsyna ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, ... Læs mere

420,24 kr.

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance,
... Læs mere
High Performance Computing

ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

Redigeret af Rio Yokota, Michèle Weiland, John Shalf, Sadaf Alam ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; Third International ... Læs mere

420,24 kr.

This book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd International ISC High Performance 2018 Conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; Third International
... Læs mere
OpenMP: Conquering the Full Hardware Spectrum

15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Redigeret af Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019, held in Auckland, New Zealand, in September 2019.The 22 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; tools, accelerators, compilation, extensions, tasking, and using OpenMP. ... Læs mere

546,36 kr.

This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019, held in Auckland, New Zealand, in September 2019.The 22 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: best paper; tools, accelerators, compilation, extensions, tasking, and using OpenMP.
... Læs mere
ISO 27001:2022 - Explications

Système de Management de la Sécurité de l'Information - Guide Pratique

af Dr. William F. Harrington ...

Title: ISO 27001:2022 - ExplicationsSubtitle: Système de Management de la Sécurité de l'Information - Guide PratiqueIntroduction:"ISO 27001:2022 - Explications" est un guide pratique complet dédié à la norme ISO 27001:2022, offrant une analyse approfondie et des explications claires sur le Système de Management de la Sécurité de l'Information (SMSI). Ce livre est destiné à tous les professionnels ... Læs mere

473,99 kr.

Title: ISO 27001:2022 - ExplicationsSubtitle: Système de Management de la Sécurité de l'Information - Guide PratiqueIntroduction:"ISO 27001:2022 - Explications" est un guide pratique complet dédié à la norme ISO 27001:2022, offrant une analyse approfondie et des explications claires sur le Système de Management de la Sécurité de l'Information (SMSI). Ce livre est destiné à tous les professionnels
... Læs mere
Runtime Verification

23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

Redigeret af Panagiotis Katsaros, Laura Nenzi ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–6, 2023.The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions.The RV conference is concerned with all aspects of novel ... Læs mere

588,36 kr.

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–6, 2023.The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions.The RV conference is concerned with all aspects of novel
... Læs mere
Programming Languages and Systems

25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Redigeret af Peter Thiemann ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the ... Læs mere

420,24 kr.

This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the
... 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

Perl 6 Quick Syntax Reference

Modelling to Program

Datenbanken und SQL

Model-Based Systems Engineering with OPM and SysML

Ubiquitous Information Technologies and Applications

Beginning COBOL for Programmers

Spring REST

Verification and Evaluation of Computer and Communication Systems

Systems Programming in Unix/Linux

Euro-Par 2016: Parallel Processing

AIxIA 2024 – Advances in Artificial Intelligence

Language Constructs for Describing Features

Multi-Paradigm Programming using C++

Formal Verification of Just-in-Time Compilation

Topics in Theoretical Computer Science

Interactive Theorem Proving

Unifying Theories of Programming

Computer Aided Verification

Software Engineering for Resilient Systems

High Performance Computing

OpenMP: Conquering the Full Hardware Spectrum

ISO 27001:2022 - Explications

Runtime Verification

Programming Languages and Systems