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...


Automated Deduction – CADE 27, 2019, p.250-268
2019
Link zum Volltext

Numerical Validation in Current Hardware Architectures, p.7-26
Link zum Volltext

Human Interface and the Management of Information: Supporting Learning, Decision-Making and Collaboration, p.493-502
Link zum Volltext

Machine Learning: ECML 2007, p.716-723
Link zum Volltext

Service-Oriented Computing – ICSOC 2007, Vol.4749, p.220-232
Link zum Volltext


Aktive Filter
KollektionSpringerLink Series
ThemaComputer Science, Theory & Methods