for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
These workshops were held as associated events at OTM 2015, the federated... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
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.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 13th IFIP WG 10.3International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed conference proceedings of the 5th International... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book addresses a major problem for today’s large-scale networked systems: certification of the required stability and performance properties using analytical and computational models.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 14th IFIP WG 10.3 International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 11th International Conference on Network and... Læs mere
Bemærk: Kan ikke leveres før jul.
The two-volume set LNCS 10704 and 10705 constitutes the thoroughly refereed proceedings... Læs mere