The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Computer Science,Software Engineering,Programming Languages Compilers Interpreters,Theory of Computa » Page 27
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
pdf
Author:
Isil Dillig Serdar Tasiran
Language:
English
Year:
2019
0
0
30.01.2024
0
0
Read online
End-User Development: 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
pdf
Author:
Alessio Malizia Stefano Valtolina Anders Morch Alan Serrano Andrew Stratton
Language:
English
Year:
2019
0
0
30.01.2024
0
0
Read online
Graph Transformation: 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
pdf
Author:
Esther Guerra Fernando Orejas
Language:
English
Year:
2019
0
0
30.01.2024
0
0
Read online
Data Analytics and Management in Data Intensive Domains: 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
pdf
Author:
Yannis Manolopoulos Sergey Stupnikov
Language:
English
Year:
2019
0
0
30.01.2024
0
0
Read online
Evaluation of Novel Approaches to Software Engineering: 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers
pdf
Author:
Ernesto Damiani George Spanoudakis Leszek A. Maciaszek
Language:
English
Year:
2019
0
0
30.01.2024
0
0
Read online
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Pro
pdf
Author:
Hanne Riis Nielson Emilio Tuosto
Language:
English
Year:
2019
0
0
30.01.2024
0
0
Read online
Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
pdf
Author:
Tiziana Margaria Susanne Graf Kim G. Larsen
Language:
English
Year:
2019
0
0
30.01.2024
2
0
Read online
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denm
pdf
Author:
Jorge A. Pérez Nobuko Yoshida
Language:
English
Year:
2019
0
0
30.01.2024
0
0
Read online
Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
pdf
Author:
Michael Kirkedal Thomsen Mathias Soeken
Language:
English
Year:
2019
0
0
30.01.2024
1
0
Read online
Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
pdf
Author:
Michele Boreale Flavio Corradini Michele Loreti Rosario Pugliese
Language:
English
Year:
2019
0
0
30.01.2024
0
0
Read online
1
...
23
24
25
26
27
28
29
30
31
...
377
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через