The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: The Computing Profession » Page 5
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
pdf
Author:
Tiziana Margaria Bernhard Steffen
Language:
English
Year:
2018
0
0
30.01.2024
4
0
Read online
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
pdf
Author:
Tiziana Margaria Bernhard Steffen
Language:
English
Year:
2018
0
0
30.01.2024
0
0
Read online
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
pdf
Author:
Tiziana Margaria Bernhard Steffen
Language:
English
Year:
2018
0
0
30.01.2024
1
0
Read online
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
pdf
Author:
Tiziana Margaria Bernhard Steffen
Language:
English
Year:
2018
0
0
30.01.2024
1
0
Read online
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
pdf
Author:
Jonathan P. Bowen Zhiming Liu Zili Zhang
Language:
English
Year:
2018
0
0
30.01.2024
0
0
Read online
Privacy Technologies and Policy: 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers
pdf
Author:
Manel Medina Andreas Mitrakas Kai Rannenberg Erich Schweighofer Nikolaos Tsouroulas
Language:
English
Year:
2018
0
0
30.01.2024
0
0
Read online
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
pdf
Author:
Jing Sun Meng Sun
Language:
English
Year:
2018
0
0
30.01.2024
0
0
Read online
Software Architecture: 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings
pdf
Author:
Carlos E. Cuesta David Garlan Jennifer Pérez
Language:
English
Year:
2018
0
0
30.01.2024
0
0
Read online
Software Process Improvement and Capability Determination: 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings
pdf
Author:
Ioannis Stamelos Rory V. O'Connor Terry Rout Alec Dorling
Language:
English
Year:
2018
0
0
30.01.2024
0
0
Read online
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
pdf
Author:
Mohamed Faouzi Atig Saddek Bensalem Simon Bliudze Bruno Monsuez
Language:
English
Year:
2018
0
0
30.01.2024
0
0
Read online
1
2
3
4
5
6
7
8
9
10
...
19
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через