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

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,80 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
Beginning Data Science in R 4

Data Analysis, Visualization, and Modelling for the Data Scientist

af Thomas Mailund ...

Serier serie Professional and Applied Computing (R0)
Discover best practices for data analysis and software development in R and start on the path to becoming a fully-fledged data scientist. Updated for the R 4.0 release, this book teaches you techniques for both data manipulation and visualization and shows you the best way for developing new software packages for R.Beginning Data Science in R 4, Second Edition details how data science is a ... Læs mere

497,32 kr.

Discover best practices for data analysis and software development in R and start on the path to becoming a fully-fledged data scientist. Updated for the R 4.0 release, this book teaches you techniques for both data manipulation and visualization and shows you the best way for developing new software packages for R.Beginning Data Science in R 4, Second Edition details how data science is a
... Læs mere
Graph Transformation

16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings

Redigeret af Maribel Fernández, Christopher M. Poskitt ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023.The 14 full papers and 2 short papers presented in this book were carefully reviewed and selected from 29 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of ... Læs mere

606,85 kr.

This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023.The 14 full papers and 2 short papers presented in this book were carefully reviewed and selected from 29 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of
... Læs mere
Writing Compilers and Interpreters

A Software Engineering Approach

af Ronald Mak ...

Long-awaited revision to a unique guide that covers both compilers and interpreters Revised, updated, and now focusing on Java instead of C++, this long-awaited, latest edition of this popular book teaches programmers and software engineering students how to write compilers and interpreters using Java. You?ll write compilers and interpreters as case studies, generating general assembly code for a ... Læs mere

592,99 kr.

Long-awaited revision to a unique guide that covers both compilers and interpreters Revised, updated, and now focusing on Java instead of C++, this long-awaited, latest edition of this popular book teaches programmers and software engineering students how to write compilers and interpreters using Java. You?ll write compilers and interpreters as case studies, generating general assembly code for a
... Læs mere
Compiler Construction Using Java, JavaCC, and Yacc

af Anthony J. Dos Reis ...

Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of even more vital importance. This book covers every topic ... Læs mere

855,36 kr.

Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of even more vital importance. This book covers every topic
... Læs mere
Python lernen in abgeschlossenen Lerneinheiten

Programmieren für Einsteiger mit vielen Beispielen

af Sebastian Dörn ...

Serier serie Computer Science and Engineering (German Language)
Ein leicht verständliches Buch, um einfach und schnell Python zu lernenSebastian Dörns Buch „Python lernen in abgeschlossenen Lerneinheiten“ bringt Einsteigern anhand in sich abgeschlossener Lerneinheiten die Grundlagen von und das Programmieren mit Python bei. Zum Inhalt des Buchs gehören folgende Kapitel:· Erste Schritte in Python· Variablen, Ausdrücke und Operatoren· Bedingte Auswahlanweisungen ... Læs mere

174,43 kr.

Ein leicht verständliches Buch, um einfach und schnell Python zu lernenSebastian Dörns Buch „Python lernen in abgeschlossenen Lerneinheiten“ bringt Einsteigern anhand in sich abgeschlossener Lerneinheiten die Grundlagen von und das Programmieren mit Python bei. Zum Inhalt des Buchs gehören folgende Kapitel:· Erste Schritte in Python· Variablen, Ausdrücke und Operatoren· Bedingte Auswahlanweisungen
... Læs mere
コンパイラ設計

af Knowledge Flow ...

Serier serie プログラミングとコンピュータサイエンスシリーズ
*Knowledge Flow社の『Compiler Design（コンパイラ設計）』**は、コンパイラ構築の基礎から高度な概念までを網羅する包括的なガイドです。本書は、字句解析、構文解析、意味解析、中間コード生成、最適化、コード生成技術を理解したい学生、ソフトウェアエンジニア、コンピュータサイエンス愛好家にとって理想的な一冊です。構文解析手法、エラー処理、記号表、メモリ管理など、コンパイラ設計への段階的なアプローチを提供します。明確な説明、実例、構造化された学習により、複雑なトピックを簡素化し、コンパイラ理論を習得するための必須のリソースとなっています。 ... Læs mere

31,63 kr. eller Gratis med Kobo Plus

*Knowledge Flow社の『Compiler Design（コンパイラ設計）』**は、コンパイラ構築の基礎から高度な概念までを網羅する包括的なガイドです。本書は、字句解析、構文解析、意味解析、中間コード生成、最適化、コード生成技術を理解したい学生、ソフトウェアエンジニア、コンピュータサイエンス愛好家にとって理想的な一冊です。構文解析手法、エラー処理、記号表、メモリ管理など、コンパイラ設計への段階的なアプローチを提供します。明確な説明、実例、構造化された学習により、複雑なトピックを簡素化し、コンパイラ理論を習得するための必須のリソースとなっています。
... Læs mere
Nichtsequentielle und Verteilte Programmierung mit Go

Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz

af Christian Maurer ...

Serier serie Computer Science and Engineering (German Language)
Dieses Buch führt nach einem kurzen Kapitel über grundlegende Aspekte der Softwaretechnik und deren Realisierung in Go in die Nichtsequentielle und Verteilte Programmierung mit Go ein. Es stellt grundlegende Konzepte zur Synchronisation und Kommunikation nebenläufiger Prozesse systematisch dar. Dazu zählen unter anderem Schlösser, Semaphore, Fairness und Verklemmungen, Monitore, lokaler und ... Læs mere

305,34 kr.

Dieses Buch führt nach einem kurzen Kapitel über grundlegende Aspekte der Softwaretechnik und deren Realisierung in Go in die Nichtsequentielle und Verteilte Programmierung mit Go ein. Es stellt grundlegende Konzepte zur Synchronisation und Kommunikation nebenläufiger Prozesse systematisch dar. Dazu zählen unter anderem Schlösser, Semaphore, Fairness und Verklemmungen, Monitore, lokaler und
... Læs mere
Datenbanken und SQL

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

af Edwin Schicker ...

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

274,49 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
Conception de Compilateurs

af Knowledge Flow ...

Serier serie Programmation et Sciences Informatiques
Le livre Compiler Design de Knowledge Flow est un guide complet qui couvre les concepts fondamentaux et avancés de la construction de compilateurs. Ce livre est idéal pour les étudiants, les ingénieurs logiciels et les passionnés d'informatique qui souhaitent comprendre l'analyse lexicale, l'analyse syntaxique, l'analyse sémantique, la génération de code intermédiaire, l'optimisation et les ... Læs mere

31,63 kr. eller Gratis med Kobo Plus

Le livre Compiler Design de Knowledge Flow est un guide complet qui couvre les concepts fondamentaux et avancés de la construction de compilateurs. Ce livre est idéal pour les étudiants, les ingénieurs logiciels et les passionnés d'informatique qui souhaitent comprendre l'analyse lexicale, l'analyse syntaxique, l'analyse sémantique, la génération de code intermédiaire, l'optimisation et les
... Læs mere
Essential Visual J++ 6.0 fast

How to develop Java applications and applets with Visual J++

af John Cowell ...

Serier serie Computer Science (R0)
Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual J++ gives you access to the power of Java with all the benefits of a modern visual development environment, for fast programming, and debugging. If you are new to Java or are an existing Java programmer who wants to switch to Visual J++, this book ... Læs mere

466,79 kr.

Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual J++ gives you access to the power of Java with all the benefits of a modern visual development environment, for fast programming, and debugging. If you are new to Java or are an existing Java programmer who wants to switch to Visual J++, this book
... Læs mere
Foundational Java

Key Elements and Practical Programming

af David Parsons ...

Serier serie Computer Science (R0)
This book presents a guide to the core features of Java – and some more recent innovations – enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points. All of the most useful and commonly applied Java syntax and libraries are introduced, along with many example programs that can provide the basis for more ... Læs mere

718,90 kr.

This book presents a guide to the core features of Java – and some more recent innovations – enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points. All of the most useful and commonly applied Java syntax and libraries are introduced, along with many example programs that can provide the basis for more
... Læs mere
Compiler Design

Analysis and Transformation

af Helmut Seidl, Reinhard Wilhelm, Sebastian Hack ...

Serier serie Computer Science (R0)
While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming ... Læs mere

653,54 kr.

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming
... Læs mere
Компьютер. Большой самоучитель по ремонту, сборке и модернизации

af Денис Колисниченко ...

Эта книга – самый полный и, по словам экспертов, «самый полезный» самоучитель по ремонту, модернизации и сборке компьютера своими силами.Вы найдете здесь подробную информацию о программах, комплектующих, устройствах самого последнего поколения.Вы научитесь сами составлять компьютер из оптимальных для вас комплектующих; самостоятельно правильно ставить и удалять любые программы; «разгонять» свой ПК ... Læs mere

34,87 kr.

Эта книга – самый полный и, по словам экспертов, «самый полезный» самоучитель по ремонту, модернизации и сборке компьютера своими силами.Вы найдете здесь подробную информацию о программах, комплектующих, устройствах самого последнего поколения.Вы научитесь сами составлять компьютер из оптимальных для вас комплектующих; самостоятельно правильно ставить и удалять любые программы; «разгонять» свой ПК
... Læs mere
Excel Avanzato 2.0

Il Manuale Completo e Aggiornato Per Diventare un Esperto e Imparare Microsoft Excel in Meno di 7 Giorni. Scopri Tutte le Sue Funzionalità in Maniera Professionale

af Denis Martin ...

Excel, come già sai, è un programma ricchissimo di funzioni e capacità. Fin dall'inizio, anche per un vero principiante, uno dei problemi più comuni che si affrontano è proprio quello di sopravvivere in un tale mare di informazioni e di possibilità, senza lasciar perdere, senza pensare che non si riuscirà mai a venirne a capo, senza arrendersi prima ancora di iniziare. Ora, se stai leggendo questo ... Læs mere

13,34 kr.

Excel, come già sai, è un programma ricchissimo di funzioni e capacità. Fin dall'inizio, anche per un vero principiante, uno dei problemi più comuni che si affrontano è proprio quello di sopravvivere in un tale mare di informazioni e di possibilità, senza lasciar perdere, senza pensare che non si riuscirà mai a venirne a capo, senza arrendersi prima ancora di iniziare. Ora, se stai leggendo questo
... Læs mere
MATLAB Control Systems Engineering

af Cesar Lopez ...

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... Læs mere

470,49 kr.

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... Læs mere
Formal Specification Techniques for Engineering Modular C Programs

af Tan Yang Meng ...

Serier Bog 1 - International Series in Software Engineering
Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to ... Læs mere

1.174,74 kr.

Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to
... Læs mere
Languages for Digital Embedded Systems

af Stephen A. Edwards ...

Serier Bog 572 - The Springer International Series in Engineering and Computer Science
Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different ... Læs mere

1.174,74 kr.

Appropriate for use as a graduate text or a professional reference, Languages for Digital Embedded Systems is the first detailed, broad survey of hardware and software description languages for embedded system design.Instead of promoting the one language that will solve all design problems (which does not and will not ever exist), this book takes the view that different problems demand different
... Læs mere
Modelling Foundations and Applications

13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Redigeret af Anthony Anjorin, Huáscar Espinoza ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution ... Læs mere

420,11 kr.

This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution
... Læs mere
Perspectives of System Informatics

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

Redigeret af Alexander K. Petrenko, Andrei Voronkov ...

Serier serie 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 ... Læs mere

420,11 kr.

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
... Læs mere
Principles of Modeling

Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Redigeret af Marten Lohstroh, Patricia Derler, Marjan Sirjani ...

Serier serie Computer Science (R0)
This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to ... Læs mere

420,11 kr.

This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to
... Læs mere
Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Redigeret af Jonathan P. Bowen, Zhiming Liu, Zili Zhang ...

Serier serie Springer Nature Proceedings Computer Science
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been ... Læs mere

420,11 kr.

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been
... Læs mere
Agreement Technologies

6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Redigeret af Marin Lujak ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018.The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss new ideas and techniques for the design, implementation and verification of next ... Læs mere

420,11 kr.

This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018.The 11 full papers and 6 short papers presented in this volume were carefully reviewed and selected from a total of 28 submissions. The papers discuss new ideas and techniques for the design, implementation and verification of next
... Læs mere
Foundations and Practice of Security

11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

Redigeret af Nur Zincir-Heywood, Guillaume Bonfante, Mourad Debbabi, Joaquin Garcia-Alfaro ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and selected from 51 submissions. They cover a range of topics including mobile security; cloud ... Læs mere

546,24 kr.

This book constitutes the revised selected papers of the 11th International Symposium on Foundations and Practice of Security, FPS 2018, held in Montreal, QC, Canada, in March 2018.The 16 full papers, 1 short paper, 1 position paper and 2 invited papers presented in this book, were carefully reviewed and selected from 51 submissions. They cover a range of topics including mobile security; cloud
... 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

Spring REST

Beginning Data Science in R 4

Graph Transformation

Writing Compilers and Interpreters

Compiler Construction Using Java, JavaCC, and Yacc

Python lernen in abgeschlossenen Lerneinheiten

コンパイラ設計

Nichtsequentielle und Verteilte Programmierung mit Go

Datenbanken und SQL

Conception de Compilateurs

Essential Visual J++ 6.0 fast

Foundational Java

Compiler Design

Компьютер. Большой самоучитель по ремонту, сборке и модернизации

Excel Avanzato 2.0

MATLAB Control Systems Engineering

Formal Specification Techniques for Engineering Modular C Programs

Languages for Digital Embedded Systems

Modelling Foundations and Applications

Perspectives of System Informatics

Principles of Modeling

Engineering Trustworthy Software Systems

Agreement Technologies

Foundations and Practice of Security