The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Computer Science,Computer Applications,Software Engineering/Programming and Operating Systems,Comput » Page 10
Service-Oriented Computing: 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings
pdf
Author:
Eleanna Kafeza Boualem Benatallah Fabio Martinelli Hakim Hacid Athman Bouguettaya Hamid Motahari
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Service-Oriented Computing: 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, Crete, Greece, September 13-19, 2020
pdf
Author:
Schahram Dustdar
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Supercomputing: 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers
pdf
Author:
Vladimir Voevodin Sergey Sobolev
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Theory of Cryptography: 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II
pdf
Author:
Rafael Pass Krzysztof Pietrzak
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
pdf
Author:
Wolfgang Ahrendt Bernhard Beckert Richard Bubel Reiner Hähnle Mattias Ulbrich
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Stabilization, Safety, and Security of Distributed Systems: 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings
pdf
Author:
Stéphane Devismes Neeraj Mittal
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Unimagined Futures – ICT Opportunities and Challenges
pdf
Author:
Leon Strous Roger Johnson David Alan Grier Doron Swade
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings
pdf
Author:
Violet Ka I Pun Volker Stolz Adenilso Simao
Language:
English
Year:
2020
0
0
07.02.2024
1
0
Read online
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
pdf
Author:
Maria Christakis Nadia Polikarpova Parasara Sridhar Duggirala Peter Schrammel
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
New Perspectives in Software Engineering: Proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020)
pdf
Author:
Jezreel Mejia Mirna Muñoz Álvaro Rocha Yadira Quiñonez
Language:
English
Year:
2021
0
0
07.02.2024
0
0
Read online
1
...
6
7
8
9
10
11
12
13
14
...
522
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
