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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Polyadic Soft Constraints
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.241-257
Volltextzugriff (PDF)

International journal on software tools for technology transfer, 2023-12, Vol.25 (5-6), p.641-658
2023
Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems, p.188-196
Volltextzugriff (PDF)

Dynamic Logic. New Trends and Applications, 2024, Vol.14401, p.1-19
2024
Volltextzugriff (PDF)


Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, p.479-497
Volltextzugriff (PDF)



Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, p.205-221
Volltextzugriff (PDF)


The Lancet (British edition), 2020-07, Vol.396 (10246), p.e6-e7
2020
Volltextzugriff (PDF)




Neuropsychopharmacology (New York, N.Y.), 2005-12, Vol.30 (12), p.2230-2235
2005
Volltextzugriff (PDF)









The journal of clinical psychiatry, 1999-06, Vol.60 (6), p.379-384
1999
Volltextzugriff (PDF)

Aktive Filter
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt