This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 ...
详细信息
ISBN:
(数字)9783319111643
ISBN:
(纸本)9783319111636
This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning.
This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed C...
详细信息
ISBN:
(数字)9783319192826
ISBN:
(纸本)9783319192819
This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing techniques, DisCoTec 2015, in Grenoble, France, in June 2015. The 14 full papers and one short paper presented were carefully reviewed and selected from 36 submissions. They are organized in topical sections on tuple-based coordination, coordinating ensembles, constraints, agent-oriented techniques and shared spaces.
Ziel des Buches ist es, Studierenden der Ingenieur- oder Naturwissenschaften die Programmierung als Schlüsselqualifikation mit zahlreichen Anwendungsmöglichkeiten vorzustellen. Die Umsetzung von Programmierk...
详细信息
ISBN:
(数字)9783662504574
ISBN:
(纸本)9783662504567
Ziel des Buches ist es, Studierenden der Ingenieur- oder Naturwissenschaften die Programmierung als Schlüsselqualifikation mit zahlreichen Anwendungsmöglichkeiten vorzustellen. Die Umsetzung von Programmierkonzepten und algorithmischen Verfahren erfolgt in diesem Buch in Java. Im ersten Teil gibt der Autor eine Einführung in die Grundkonzepte von Java, im zweiten Teil werden algorithmische Verfahren aus dem Bereich der Numerik, sowie allgemeine Methoden zum Entwurf von Algorithmen vorgestellt. Im dritten Teil werden Grundlagen der objektorientierten Programmierung dargestellt sowie ein Überblick über die Erstellung von graphischen Benutzeroberflächen gegeben. Ein Kapitel zu diversen Anwendungen aus dem Bereich der Ingenieur- und Naturwissenschaften sowie Aufgaben und Lösungen in jedem Kapitel runden das Buch ab.
This book constitutes the refereed proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, EKAW 2022, held in Bolzano, Italy, in September 2022. The 11 full papers presented...
详细信息
ISBN:
(数字)9783031171055
ISBN:
(纸本)9783031171048
This book constitutes the refereed proceedings of the 23rd International Conference on Knowledge Engineering and Knowledge Management, EKAW 2022, held in Bolzano, Italy, in September 2022. The 11 full papers presented together with 5 short papers were carefully reviewed and selected from 57 submissions The previous event in the series, EKAW 2020, introduced a special theme related to “Ethical and Trustworthy Knowledge Engineering.” This theme is still very relevant in 2022, and thus has remained one of the core topics of the conference.
暂无评论