The
Lib
.net
Online Library TheLib.net
» Book serie: / Книги серии: Lecture Notes in Computer Science 13916 » Page 7
Artificial Intelligence in Education: 24th International Conference, AIED 2023, Tokyo, Japan, July 3–7, 2023, Proceedings
pdf
Author:
Ning Wang Genaro Rebolledo-Mendez Noboru Matsuda Olga C. Santos Vania Dimitrova
Language:
English
Year:
2023
0
0
01.03.2024
0
0
Read online
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
pdf
Author:
Pedro Lopez-Garcia John P. Gallagher Roberto Giacobazzi
Language:
English
Year:
2023
0
0
01.03.2024
0
0
Read online
Bioinformatics and Biomedical Engineering: 10th International Work-Conference, IWBBIO 2023, Meloneras, Gran Canaria, Spain, July 12–14, 2023, Proceedings, Part II
pdf
Author:
Ignacio Rojas Olga Valenzuela Fernando Rojas Ruiz Luis Javier Herrera Francisco Ortuño
Language:
English
Year:
2023
0
0
01.03.2024
0
0
Read online
Integer Programming and Combinatorial Optimization. 24th International Conference, IPCO 2023 Madison, WI, USA, June 21–23, 2023 Proceedings
pdf
Author:
Alberto Del Pia Volker Kaibel
Language:
English
Year:
2023
0
0
16.02.2024
0
0
Read online
Benchmarking, Measuring, and Optimizing. 14th BenchCouncil International Symposium, Bench 2022 Virtual Event, November 7–9, 2022 Revised Selected Papers
pdf
Author:
Ana Gainaru Ce Zhang Chunjie Luo
Language:
English
Year:
2023
0
0
16.02.2024
0
0
Read online
Codes, Cryptology and Information Security. 4th International Conference, C2SI 2023 Rabat, Morocco, May 29–31, 2023 Proceedings
pdf
Author:
Said El Hajji Sihem Mesnager El Mamoun Souidi
Language:
English
Year:
2023
0
0
16.02.2024
0
0
Read online
Prolog: The Next 50 Year
pdf
Author:
David S. Warren Veronica Dahl Thomas Eiter Manuel V. Hermenegildo Robert Kowalski Francesca Rossi
Language:
English
Year:
2023
0
0
16.02.2024
0
0
Read online
Cellular Automata: 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12–15, 2022, Proceedings
pdf
Author:
Bastien Chopard Stefania Bandini Alberto Dennunzio Mira Arabi Haddad
Language:
English
Year:
2022
0
0
16.02.2024
2
0
Read online
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
pdf
Author:
Sharon Shoham Yakir Vizel
Language:
English
Year:
2022
0
0
16.02.2024
0
0
Read online
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
pdf
Author:
Kristin Yvonne Rozier Swarat Chaudhuri
Language:
English
Year:
2023
0
0
16.02.2024
0
0
Read online
1
...
3
4
5
6
7
8
9
10
11
...
1937
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
