Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Technische Störung

Das Bibliothekssystem ALMA ist derzeit von einer weltweiten Störung von IT-Diensten betroffen. Aktuell besteht kein Zugriff auf die Bibliothekskonten der Nutzer*innen. Somit sind z.B. keine Vormerkungen, Fristverlängerungen und Bestellungen von Medien aus dem Magazin möglich.

Wir bitten um Ihr Verständnis.

Multimodal technologies and interaction, 2023-09, Vol.7 (9), p.85
2023
Link zum Volltext




Future generation computer systems, 2017-03, Vol.68, p.38-58
2017
Link zum Volltext






Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, p.436-448
Link zum Volltext




Semantic subgroup explanations
Journal of intelligent information systems, 2014-04, Vol.42 (2), p.233-254
2014
Link zum Volltext

Computer journal, 2012-01, Vol.55 (1), p.82-98
2012
Link zum Volltext





Leveraging Applications of Formal Methods, Verification, and Validation, p.313-327
Link zum Volltext




2009 Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2009-01, Vol.2009, p.5613-5616
2009
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt