Filter by
Foundations of Software Science and Computation Structures: 26th Internationa…
This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and sele…
- Edition
- 1
- ISBN/ISSN
- 9783031308291
- Collation
- XIV, 562
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 26th International Conference…
This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 subm…
- Edition
- 1
- ISBN/ISSN
- 9783031308260
- Collation
- XVI, 332
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 29th Inter…
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this v…
- Edition
- 1
- ISBN/ISSN
- 9783031308208
- Collation
- XXIV, 604
- Series Title
- -
- Call Number
- -
Algorithms for Big Data: DFG Priority Program 1736
This open access book surveys the progress in addressing selected challenges related to the growth of big data in combination with increasingly complicated hardware. It emerged from a research program established by the German Research Foundation (DFG) as priority program SPP 1736 on Algorithmics for Big Data where researchers from theoretical computer science worked together with application …
- Edition
- 1
- ISBN/ISSN
- 9783031215346
- Collation
- XIV, 285
- Series Title
- -
- Call Number
- -
Programming Languages and Systems: 32nd European Symposium on Programming, ES…
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues …
- Edition
- 1
- ISBN/ISSN
- 9783031300448
- Collation
- XII, 566
- Series Title
- -
- Call Number
- -
Electronic Voting: 7th International Joint Conference, E-Vote-ID 2022, Bregen…
This open access book LNCS 13353 constitutes the proceedings of the 7th International Conference on Electronic Voting, E-Vote-ID 2022, held in Bregenz, Austria, in October 2022. The 10 full papers presented were carefully reviewed and selected from 39 submissions. The conference collected the most relevant debates on the development of Electronic Voting, from aspects relating to security and u…
- Edition
- 1
- ISBN/ISSN
- 9783031159114
- Collation
- XII, 185
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …
- Edition
- 1
- ISBN/ISSN
- 9783031131851
- Collation
- XIX, 555
- Series Title
- -
- Call Number
- -
Data Communications and Data Communications and Network TechnologiesNetwork T…
This open access book is written according to the examination outline for Huawei HCIA-Routing Switching V2.5 certification, aiming to help readers master the basics of network communications and use Huawei network devices to set up enterprise LANs and WANs, wired networks, and wireless networks, ensure network security for enterprises, and grasp cutting-edge computer network technologies.
- Edition
- -
- ISBN/ISSN
- 9789811930294
- Collation
- -
- Series Title
- -
- Call Number
- -
Cloud Computing Technology
This open access book introduces cloud computing and related technologies from the concept, technology, and architecture of cloud computing, combined with typical application cases of cloud; provides students with a more complete knowledge framework in the field of cloud computing; and lays the foundation for future research, development, and further study in cloud computing, big data, and othe…
- Edition
- -
- ISBN/ISSN
- 9789811930263
- Collation
- -
- Series Title
- -
- Call Number
- -
Database Principles and Technologies – Based on Huawei GaussDB
Mit Computational Methods lassen sich digitale Welten wissenschaftlich erforschen und gestalten. Das Open-Access-Lehrbuch vermittelt zunächst grundlegende Kompetenzen für die automatisierte Erhebung und Aufbereitung von Daten und für den Umgang mit Datenbanken. Eine Einführung in die Programmiersprachen R und Python sowie in Versionsverwaltungen und Cloud-Computing eröffnet Wege für kreat…
- Edition
- -
- ISBN/ISSN
- 9789811930324
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography