The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Computer Science,Software Engineering,Logics and Meanings of Programs,Computer Systems Organization
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, Jun
pdf
Author:
Alexey Gotsman Ana Sokolova
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings
pdf
Author:
Dimitar Kazakov Can Erten
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
pdf
Author:
Nicolas Peltier Viorica Sofronie-Stokkermans
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
pdf
Author:
Nicolas Peltier Viorica Sofronie-Stokkermans
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings
pdf
Author:
Ryszard Janicki Natalia Sidorova Thomas Chatain
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Frontiers in Software Engineering Education: First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers
pdf
Author:
Jean-Michel Bruel Alfredo Capozucca Manuel Mazzara Bertrand Meyer Alexandr Naumchev Andrey Sadovykh
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
pdf
Author:
Valentina Casola Alessandra De Benedictis Massimiliano Rak
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings
pdf
Author:
Bruno C. d. S. Oliveira
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
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
0
0
Read online
1
2
3
4
5
6
7
8
9
10
...
338
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через