Online Library TheLib.net » Тема, жанр, tags: Computer Science,Theory of Computation,Information Systems and Communication Service,Computer Applic » Page 3
book Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
pdf
00
07.02.2024
0
0
Read online
book Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
pdf
00
07.02.2024
0
0
Read online
book Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
pdf
00
07.02.2024
0
0
Read online
book Foundations of Finitely Supported Structures: A Set Theoretical Viewpoint
Foundations of Finitely Supported Structures: A Set Theoretical Viewpoint
pdf
00
07.02.2024
2
0
Read online
book Rough Sets: International Joint Conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020, Proceedings
Rough Sets: International Joint Conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020, Proceedings
pdf
00
07.02.2024
0
0
Read online
book Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings
Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings
pdf
00
07.02.2024
0
0
Read online
book Modeling Decisions for Artificial Intelligence: 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020, Proceedings
Modeling Decisions for Artificial Intelligence: 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2–4, 2020, Proceedings
pdf
00
07.02.2024
0
0
Read online
book Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
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
00
07.02.2024
0
0
Read online
book Artificial Intelligence. IJCAI 2019 International Workshops: Macao, China, August 10–12, 2019, Revised Selected Best Papers
Artificial Intelligence. IJCAI 2019 International Workshops: Macao, China, August 10–12, 2019, Revised Selected Best Papers
pdf
00
07.02.2024
0
0
Read online
book 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
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
00
07.02.2024
0
0
Read online
1 2 3 4 5 6 7 8 9 10 ... 146