for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the First OpenSHMEM Workshop, held... Læs mere
This book constitutes the proceedings of the SecondOpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015. The 12 technical papers and one short position paperspresented in this book were carefully reviewed and selected from 17submissions.
This book constitutes the proceedings of the Third OpenSHMEM Workshop,... Læs mere
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
Ontological Engineering refers to the set of activities that concern the ontology development process, the ontology life cycle, the methods and methodologies for building ontologies, and the tool suites and languages that support them.
These workshops were held as associated events at OTM 2015, the federated... Læs mere
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.
This book constitutes the proceedings of the 13th IFIP WG 10.3International... Læs mere
This book constitutes the thoroughly refereed conference proceedings of the 5th International... Læs mere