Søgning på underkategorier- og emner:
Anhand einer verständlichen und ansprechenden Anwendung aus dem Bereich der Tinnitusforschung werden wiederkehrende Problemstellungen und Muster im Bereich mobiler App-Entwicklung analysiert und diskutiert.
Darüber hinaus entwickelt er eine Notfallfunktion, die dasFahrziel auch dann erreichbar... Læs mere
This two-set volume LNCS 15756 and 15767 constitutes the refereed... Læs mere
mso-bidi-font-weight: bold;">This comprehensive volume offers an in-depth exploration of the latest advancements in omics technologies and their practical applications across environmental science, agriculture, healthcare, and biotechnology.
The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks.
This two-volume set, LNCS 15672 and LNCS 15673, constitutes the refereed... Læs mere