Book serie: / Книги серии: Texts in Computer Science » Page 9 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Texts in Computer Science » Page 9

book Concise Guide to Software Verification: From Model Checking to Annotation Checking

Concise Guide to Software Verification: From Model Checking to Annotation Checking

pdf

Author: Marieke Huisman Anton Wijs
Language: English
Year: 2023

00

01.03.2024

0

0

book Concise Guide to Software Verification : From Model Checking to Annotation Checking

Concise Guide to Software Verification : From Model Checking to Annotation Checking

epub

Author: Marieke Huisman, Anton Wijs
Language: English
Year: 2023

00

01.03.2024

4

0

book Trusted Computing: Principles and Applications

Trusted Computing: Principles and Applications

pdf

Author: Dengguo Feng, Tsinghua University Press
Language: English
Year: 2017

00

01.03.2024

0

0

book Color Image Watermarking: Algorithms and Technologies

Color Image Watermarking: Algorithms and Technologies

epub

Author: Qingtang Su, Tsinghua University Press
Language: English
Year: 2016

00

01.03.2024

0

0

book Color Image Watermarking: Algorithms and Technologies

Color Image Watermarking: Algorithms and Technologies

pdf

Author: Qingtang Su, Tsinghua University Press
Language: English
Year: 2016

00

01.03.2024

0

0

book Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part III

Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part III

pdf

Author: Masaaki Kurosu Ayako Hashizume
Language: English
Year: 2023

00

01.03.2024

0

0

book Comparative Genomics: 20th International Conference, RECOMB-CG 2023, Istanbul, Turkey, April 14–15, 2023, Proceedings

Comparative Genomics: 20th International Conference, RECOMB-CG 2023, Istanbul, Turkey, April 14–15, 2023, Proceedings

pdf

Author: Katharina Jahn Tomáš Vinař
Language: English
Year: 2023

00

01.03.2024

1

0

book Computers and Games. International Conference, CG 2022 Virtual Event, November 22–24, 2022 Revised Selected Papers

Computers and Games. International Conference, CG 2022 Virtual Event, November 22–24, 2022 Revised Selected Papers

pdf

Author: Cameron Browne Akihiro Kishimoto Jonathan Schaeffer
Language: English
Year: 2023

00

01.03.2024

0

0

book Algorithms and Models for the Web Graph. 18th International Workshop, WAW 2023 Toronto, ON, Canada, May 23–26, 2023 Proceedings

Algorithms and Models for the Web Graph. 18th International Workshop, WAW 2023 Toronto, ON, Canada, May 23–26, 2023 Proceedings

pdf

Author: Megan Dewar Paweł Prałat Przemysław Szufel François Théberge Małgorzata Wrzosek
Language: English
Year: 2023

00

01.03.2024

0

0

book Mastering Perl: A Beginner's Guide

Mastering Perl: A Beginner's Guide

pdf

Author: Sufyan bin Uzayr
Language: English
Year: 2023

00

01.03.2024

1

0