Тема, жанр, tags: Pannes système (Informatique) » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Pannes système (Informatique)

book Passive and Active Measurement: 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings

Passive and Active Measurement: 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings

epub

Author: Amann Johanna, Kaafar Mohamed Ali, Uhlig Steve
Language: English
Year: 2017

00

06.02.2024

0

0

book Lectures on Runtime Verification: Introductory and Advanced Topics

Lectures on Runtime Verification: Introductory and Advanced Topics

epub

Author: Bartocci Ezio., Falcone Yliès
Language: English
Year: 2018

00

06.02.2024

0

0

book Data Management and Analytics for Medicine and Healthcare : Third International Workshop, DMAH 2017, Held at VLDB 2017, Munich, Germany, September 1, 2017, Proceedings

Data Management and Analytics for Medicine and Healthcare : Third International Workshop, DMAH 2017, Held at VLDB 2017, Munich, Germany, September 1, 2017, Proceedings

pdf

Author: Begoli Edmon, Luo Gang, Wang Fusheng
Language: English
Year: 2017

00

29.01.2024

0

0

book Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

pdf

Author: Mauricio Ayala-Rincón César A. Muñoz (editors)
Language: English
Year: 2017

00

29.01.2024

0

0

book Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

pdf

Author: Kunčak Viktor, Majumdar Rupak
Language: English
Year: 2017

00

29.01.2024

0

0