The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Software Engineering Logic
Mathematical Foundations of Software Engineering: A Practical Guide to Essentials
pdf
Author:
Gerard O'Regan
Language:
English
Year:
2023
0
0
16.02.2024
0
0
Read online
High-Performance Computing Applications in Numerical Simulation and Edge Computing: ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers
pdf
Author:
Changjun Hu Wen Yang Congfeng Jiang Dong Dai
Language:
English
Year:
2019
0
0
05.02.2024
0
0
Read online
Software Architecture: 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings
pdf
Author:
Tomas Bures Laurence Duchien Paola Inverardi
Language:
English
Year:
2019
0
0
05.02.2024
0
0
Read online
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity: 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
pdf
Author:
Swaroop Pophale Neena Imam Ferrol Aderholdt Manjunath Gorentla Venkata
Language:
English
Year:
2019
0
0
30.01.2024
0
0
Read online
Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers
pdf
Author:
Alberto Leporati Grzegorz Rozenberg Arto Salomaa Claudio Zandron (eds.)
Language:
English
Year:
2017
0
0
28.01.2024
0
0
Read online
Membrane Computing: 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
pdf
Author:
Grzegorz Rozenberg Arto Salomaa José M. Sempere Claudio Zandron (eds.)
Language:
English
Year:
2015
0
0
27.01.2024
0
0
Read online
Membrane Computing: 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
pdf
Author:
Marian Gheorghe Grzegorz Rozenberg Arto Salomaa Petr Sosík Claudio Zandron (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Membrane Computing: 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
pdf
Author:
Marian Gheorghe Florentin Ipate (auth.) Artiom Alhazov Svetlana Cojocaru Marian Gheorghe Yurii Rogozhin Grzegorz Rozenberg Arto Salomaa (eds.)
Language:
English
Year:
2014
0
0
27.01.2024
0
0
Read online
Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings
pdf
Author:
Ricky Butler (auth.) Victor A. Carreño César A. Muñoz Sofiène Tahar (eds.)
Language:
English
Year:
2002
0
0
27.01.2024
0
0
Read online
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings
pdf
Author:
Doron Peled (auth.) Rajeev Alur Doron A. Peled (eds.)
Language:
English
Year:
2004
0
0
27.01.2024
0
0
Read online
1
2
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
