-
1
Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /
Published 2018“…LNCS sublibrary. Programming and software engineering.…”
CONNECT
Electronic Conference Proceeding eBook -
2
On the move to meaningful internet systems : OTM 2018 Conferences : Confederated International Conferences: CoopIS, C & TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, P...
Published 2018“…LNCS sublibrary. Programming and software engineering.…”
CONNECT
Electronic Conference Proceeding eBook -
3
OpenSHMEM and related technologies : enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2-4, 2016, Revised selected papers /
Published 2016“…LNCS sublibrary. Programming and software engineering.…”
CONNECT
Electronic Conference Proceeding eBook -
4
Evolving OpenMP for evolving architectures : 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings /
Published 2018“…LNCS sublibrary. Programming and software engineering.…”
CONNECT
Electronic Conference Proceeding eBook -
5
Cyber-physical systems of systems : foundations -- a conceptual model and some derivations: the AMADEOS legacy /
Published 2016“…LNCS sublibrary. Programming and software engineering.…”
CONNECT
CONNECT
CONNECT
Electronic eBook