Online Library TheLib.net » Тема, жанр, tags: Computer System Implementation » Page 7
book Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
pdf
00
07.02.2024
0
0
Read online
book Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
pdf
00
07.02.2024
0
0
Read online
book Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
pdf
00
07.02.2024
0
0
Read online
book Software Foundations for Data Interoperability and Large Scale Graph Data Analytics: 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings
Software Foundations for Data Interoperability and Large Scale Graph Data Analytics: 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings
pdf
00
07.02.2024
0
0
Read online
book Web and Wireless Geographical Information Systems: 18th International Symposium, W2GIS 2020, Wuhan, China, November 13–14, 2020, Proceedings
Web and Wireless Geographical Information Systems: 18th International Symposium, W2GIS 2020, Wuhan, China, November 13–14, 2020, Proceedings
pdf
00
07.02.2024
0
0
Read online
book Embedded Computer Systems: Architectures, Modeling, and Simulation: 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation: 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings
pdf
00
07.02.2024
0
0
Read online
book Internet, Cyber- und IT-Sicherheit von A-Z: Aktuelle Begriffe kurz und einfach erklärt – Für Beruf, Studium und Privatleben
Internet, Cyber- und IT-Sicherheit von A-Z: Aktuelle Begriffe kurz und einfach erklärt – Für Beruf, Studium und Privatleben
pdf
00
07.02.2024
0
0
Read online
book Computational Science and Its Applications – ICCSA 2020: 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part VII
Computational Science and Its Applications – ICCSA 2020: 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part VII
pdf
00
07.02.2024
0
0
Read online
book Green, Pervasive, and Cloud Computing – GPC 2020 Workshops: 15th International Conference, GPC 2020, Xi'an, China, November 13–15, 2020, Proceedings
Green, Pervasive, and Cloud Computing – GPC 2020 Workshops: 15th International Conference, GPC 2020, Xi'an, China, November 13–15, 2020, Proceedings
pdf
00
07.02.2024
0
0
Read online
book Advanced Computer Architecture: 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings
Advanced Computer Architecture: 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings
pdf
00
07.02.2024
0
0
Read online
1 ... 3 4 5 6 7 8 9 10 11 ... 38