Filter by
Privacy Technologies and Policy: 10th Annual Privacy Forum, APF 2022, Warsaw,…
This book constitutes the refereed conference proceedings of the 10th Annual Privacy Forum, APF 2022 in Warsaw, Poland in June 2022. The 8 full papers were carefully reviewed and selected from 38 submissions. The papers are organized in the area of privacy and data protection while focusing on privacy related application areas. A large focus of the 2022 conference was on the General Dat…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-07315-1
- Collation
- xi, 135p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.21 Pri
Feedback Arc Set: A History of the Problem and Algorithms
The main aim of the book is to give a review of all relevant information regarding a well-known and important problem of Feedback Arc Set (FAS). This review naturally also includes a history of the problem, as well as specific algorithms. To this point such a work does not exist: There are sources where one can find incomplete and perhaps untrustworthy information. With this book, information …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-10515-9
- Collation
- xi, 126p.: Ill
- Series Title
- SpringerBriefs in Computer Science
- Call Number
- 004.21 Kud f
Tools and Algorithms for the Construction and Analysis of Systems: 28th Inter…
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99527-0
- Collation
- xxi, 493p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.015 1 Too
Tools and Algorithms for the Construction and Analysis of Systems: 28th Inter…
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-99527-0
- Collation
- xxi, 493p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.015 1 Too
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical section…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-81685-8
- Collation
- xxiv, 922p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.14 Com
Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-81688-9
- Collation
- xxiii, 940p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.14 Com
Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-72013-1
- Collation
- xxi, 465p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.015 1 Too
Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-72016-2
- Collation
- xxi, 471p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 004.21 Too
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography