Filteren
1
Sorteren
Pagina 4 van
13.733 resultaten
Serie: Lecture notes in computer science
paperbackEngels9783030629991
4-11-2020
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Practice of Natural Computing, TPNC 2020, held in Taoyuan, Taiwan, in December 2020. Meer
paperbackEngels9783030630751
26-11-2020
This book provides a comprehensive and self-contained introduction to federated learning, ranging from the basic knowledge and theories to various key applications. Meer
paperbackEngels9783030632113
6-11-2020
This book constitutes the proceedings of the 13th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2020, held in Tallinn, Estonia, in November 2020. Meer
paperbackEngels9783030388072
14-1-2020
This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019.
The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. Meer
paperbackEngels9783030307189
2-9-2019
Today’s cyber defenses are largely static allowing adversaries to pre-plan their attacks. In response to this situation, researchers have started to investigate various methods that make networked information systems less homogeneous and less predictable by engineering systems that have homogeneous functionalities but randomized manifestations. Meer
paperbackEngels9783030310370
12-9-2019
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. Meer
paperbackEngels9783030642655
26-11-2020
This book constitutes the refereed conference proceedings of the 8th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2020, which was supposed to be held in Eindhoven, The Netherlands, in November/December 2020, was instead held virtually due to the COVID-19 pandemic. Meer
paperbackEngels9783030313715
15-9-2019
This book constitutes the proceedings of the 7th International Conference on Statistical Language and Speech Processing, SLSP 2019, held in Ljubljana, Slovenia, in October 2019. Meer
paperbackEngels9783030954697
2-2-2022
This two-volume set, LNCS 13163-13164, constitutes the refereed proceedings of the 7th International Conference on Machine Learning, Optimization, and Data Science, LOD 2021, together with the first edition of the Symposium on Artificial Intelligence and Neuroscience, ACAIN 2021. Meer
paperbackEngels9783030643478
25-11-2020
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020. Meer
paperbackEngels9783030643539
9-12-2020
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.
Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Meer
paperbackEngels9783031056369
21-5-2022
This book constitutes the refereed proceedings of the 4th International Conference on HCI in Games, HCI in Games 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022. Meer
paperbackEngels9783031058134
21-5-2022
This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022. Meer
paperbackEngels9783030214999
23-5-2019
This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019. Meer
paperbackEngels9783030215477
30-5-2019
This book constitutes the refereed proceedings of the 24th Australasian Conference on Information Security and Privacy, ACISP 2019, held in Christchurch, New Zealand, in July 2019. Meer
paperbackEngels9783030215644
8-6-2019
This two-volume set LNCS 11574 and 11575 constitutes the refereed proceedings of the 11th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2019, held in July 2019 as part of HCI International 2019 in Orlando, FL, USA. Meer
paperbackEngels9783030215675
29-5-2019
This book constitutes the refereed proceedings of the 17th International Conference on Applied Cryptography and Network Security, ACNS 2019, held in Bogota, Colombia in June 2019. Meer
paperbackEngels9783030215705
31-5-2019
This book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, , in June 2018. Meer
paperbackEngels9783030216412
5-6-2019
This book constitutes the refereed proceedings of the 17th Conference on Artificial Intelligence in Medicine, AIME 2019, held in Poznan, Poland, in June 2019. Meer
paperbackEngels9783030217518
8-6-2019
This book constitutes the refereed conference proceedings of the 7th Annual Privacy Forum, APF 2019, held in Rome,
Italy, in June 2019.
The 11 revised full papers were carefully reviewed and selected from 49 submissions. Meer