The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Catherine Dubois,Manfred Kerber
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
pdf
Author:
Catherine Dubois
,
Manfred Kerber
Language:
English
Year:
2023
0
0
02.03.2024
0
0
Read online
Intelligent Computer Mathematics. 16th International Conference, CICM 2023 Cambridge, UK, September 5–8, 2023 Proceedings
pdf
Author:
Catherine Dubois Manfred Kerber
Language:
English
Year:
2023
0
0
02.03.2024
0
0
Read online
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
epub
Author:
Catherine Dubois
,
Pierluigi San Pietro
Language:
English
Year:
2023
0
0
01.03.2024
0
0
Read online
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
pdf
Author:
Catherine Dubois Pierluigi San Pietro
Language:
English
Year:
2023
0
0
15.02.2024
0
0
Read online
Tests and Proofs
pdf
Author:
Catherine Dubois Burkhart Wolff
Language:
English
Year:
2018
0
0
29.01.2024
0
0
Read online
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
pdf
Author:
Boutheina Chetali (auth.) Catherine Dubois (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Tests and Proofs: Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
pdf
Author:
Boutheina Chetali (auth.) Catherine Dubois (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
