The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Computer logic.,Logic.,Segerberg Krister -- 1936- » Page 2
Krister Segerberg on logic of actions / monograph
pdf
Author:
Segerberg Krister
,
Trypuz Robert (eds.)
Language:
English
Year:
2014
0
0
29.01.2024
0
0
Read online
Theoretical aspects of computing -- ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
pdf
Author:
Dang Hung Van
,
Kapur Deepak
Language:
English
Year:
2017
0
0
29.01.2024
0
0
Read online
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,
pdf
Author:
Laure Petrucci Cristina Seceleanu Ana Cavalcanti (editors)
Language:
English
Year:
2017
0
0
29.01.2024
0
0
Read online
Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
pdf
Author:
Gerdt Vladimir P.
,
Koepf Wolfram
,
Seiler Werner M.
,
Vorozhtsov Evgenii V
Language:
English
Year:
2017
0
0
29.01.2024
1
0
Read online
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
pdf
Author:
Dixon Clare
,
Finger Marcelo
Language:
English
Year:
2017
0
0
29.01.2024
0
0
Read online
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
pdf
Author:
Mauricio Ayala-Rincón César A. Muñoz (editors)
Language:
English
Year:
2017
0
0
29.01.2024
0
0
Read online
Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
pdf
Author:
Marco Bozzano Yiannis Papadopoulos (editors)
Language:
English
Year:
2017
0
0
29.01.2024
0
0
Read online
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
pdf
Author:
Abate Alessandro
,
Boldo Sylvie
Language:
English
Year:
2017
0
0
29.01.2024
0
0
Read online
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
pdf
Author:
Kunčak Viktor
,
Majumdar Rupak
Language:
English
Year:
2017
0
0
29.01.2024
0
0
Read online
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
pdf
Author:
Kunčak Viktor
,
Majumdar Rupak
Language:
English
Year:
2017
0
0
29.01.2024
0
0
Read online
1
2
3
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через