The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Computer Science,Theory of Computation,Information Systems and Communication Service,Computer Applic » Page 3
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
pdf
Author:
Christoph Benzmüller Bruce Miller
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
pdf
Author:
Shuvendu K. Lahiri Chao Wang
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
pdf
Author:
Shuvendu K. Lahiri Chao Wang
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Foundations of Finitely Supported Structures: A Set Theoretical Viewpoint
pdf
Author:
Andrei Alexandru Gabriel Ciobanu
Language:
English
Year:
2020
0
0
07.02.2024
2
0
Read online
Rough Sets: International Joint Conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020, Proceedings
pdf
Author:
Rafael Bello Duoqian Miao Rafael Falcon Michinori Nakata Alejandro Rosete Davide Ciucci
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings
pdf
Author:
Nathalie Bertrand Nils Jansen
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Modeling Decisions for Artificial Intelligence: 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020, Proceedings
pdf
Author:
Vicenç Torra Yasuo Narukawa Jordi Nin Núria Agell
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
pdf
Author:
Javier Camara Martin Steffen
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
Artificial Intelligence. IJCAI 2019 International Workshops: Macao, China, August 10–12, 2019, Revised Selected Best Papers
pdf
Author:
Amal El Fallah Seghrouchni David Sarne
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium: International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25–27, 2020, Proceedings
pdf
Author:
Ladjel Bellatreche Mária Bieliková Omar Boussaïd Barbara Catania Jérôme Darmont Elena Demidova Fabien Duchateau Mark Hall Tanja Merčun Boris Novikov Christos Papatheodorou Thomas Risse Oscar Romero Lucile Sautot Guilaine Talens Robert Wrembel Maja Žumer
Language:
English
Year:
2020
0
0
07.02.2024
0
0
Read online
1
2
3
4
5
6
7
8
9
10
...
146
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через