Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, …

Kumpulan dua volume LNAI 14739-14740 ini merupakan prosiding Konferensi Gabungan Internasional ke-12 tentang Penalaran Otomatis, IJCAR 2024, yang diselenggarakan di Nancy, Prancis, selama 3-6 Juli 2024. 39 makalah penelitian lengkap dan 6 makalah pendek yang disajikan dalam buku ini ditinjau dan dipilih secara saksama dari 115 kiriman. Makalah-makalah tersebut berfokus pada topik-topik berikut:…

Fundamental Approaches to Software Engineering: 27th International Conference…

Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-27 tentang Pendekatan Fundamental terhadap Rekayasa Perangkat Lunak, FASE 2024, yang diselenggarakan bersamaan dengan ETAPS 2024 yang berlangsung di Luksemburg pada bulan April 2024. 14 makalah lengkap yang disertakan dalam buku ini ditinjau dan dipilih secara saksama dari 41 pengajuan. Prosiding tersebut juga mencakup 5 mak…

Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…

Buku akses terbuka set 3 volume LNCS 14570-14573 merupakan prosiding Konferensi Internasional ke-30 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2024, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024, selama 6-11 April 2024, di Luksemburg. 53 makalah lengkap dan 16 kontribusi SVComp singkat yang disertaka…

Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…

Buku akses terbuka set 3 volume LNCS 14570-14573 merupakan prosiding Konferensi Internasional ke-30 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2024, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024, selama 6-11 April 2024, di Luksemburg. 53 makalah lengkap dan 16 kontribusi SVComp singkat yang disertaka…

Improving a Country’s Education

This open access book compares and contrasts the results of international student assessments in ten countries. The OECD’s Programme for International Student Assessment (PISA) released the results of its 2018 assessment in December 2019. This book reflects the debates that typically follow the release of these results and focuses on the causes of differences between countries. Such causes in…

Transparenz öffentlicher Einkaufsdaten in Deutschland

In dieser Open-Access-Publikation beschreibt Britta Reuter auf Basis einer umfassenden Analyse der internationalen Forschungsergebnisse rund um die Öffnung öffentlicher Verwaltungs- und Einkaufsdaten sowie einer empirischen Erhebung die Chancen und Limitationen der Transparenz des öffentlichen Einkaufs für die verschiedenen Akteure aus Verwaltung, Politik, Wirtschaft, Wissenschaft, Medien u…

Familial Feeling

Edition

1st Edition

ISBN/ISSN

9783030586416

Collation

-

Series Title

-

Call Number

-

Ernst Denert Award for Software Engineering 2019

This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2019. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software…

Foundations of Software Science and Computation Structures: 27th Internationa…

Dua volume akses terbuka LNCS 14574 dan 14575 merupakan prosiding Konferensi Internasional ke-27 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2024, yang berlangsung di Luksemburg pada bulan April 2024. 24 makalah lengkap yang disertakan dalam buku ini ditinjau dan dipilih dengan saksama dari 79 kiriman. Makalah-makalah tersebut disusun dalam bagian topik sebagai berikut:…

Programming Languages and Systems: 33rd European Symposium on Programming, ES…

Kumpulan buku akses terbuka dua volume LNCS 14576 + 14577 merupakan prosiding Simposium Eropa ke-33 tentang Pemrograman, ESOP 2024, yang diselenggarakan selama 6-11 April 2024 di Luxemburg, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024. 25 makalah lengkap dan 1 makalah perspektif baru yang disajikan dalam prosiding ini ditinjau dan dipilih d…