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 …
- 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…
- 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 …
- 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 …
- 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.…
- 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.…
- 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 dur…
- 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 dur…
- 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-AIDED VERIFICATION
- Edition
- -
- ISBN/ISSN
- 0-7923-9285-X
- Collation
- 142 p. : ill. ; 23 cm
- Series Title
- -
- Call Number
- 621.39 Kur c
- Edition
- -
- ISBN/ISSN
- 0-7923-9285-X
- Collation
- 142 p. : ill. ; 23 cm
- Series Title
- -
- Call Number
- 621.39 Kur c
PROGRAM VERIFICATION; Fundamental Issues in Computer Science
- Edition
- 1
- ISBN/ISSN
- 0-7923-1965-6
- Collation
- xiii, 457 p. : ill. ; 23 cm
- Series Title
- STUDIES IN COGNITIVE SYSTEMS, VOLUME 14
- Call Number
- 005.1 4 Pro p 1993
- Edition
- 1
- ISBN/ISSN
- 0-7923-1965-6
- Collation
- xiii, 457 p. : ill. ; 23 cm
- Series Title
- STUDIES IN COGNITIVE SYSTEMS, VOLUME 14
- Call Number
- 005.1 4 Pro p 1993
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography