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



Introduction to quantum computers
Repr, 1999
Signatur: UHE2387


Oxford science publications
1991
Signatur: TWP10668



Diskrete Strukturen
Springer-Lehrbuch
2001-
Signatur: TBM2110-...


Grundlagen der formalen Logik
2., überarb. Aufl, 2001
Signatur: TVC1782(2)

Logik für Informatiker
Informatik : Logik
2006
Signatur: TVC1790

Informatik & Computer
1994
Signatur: TVC1504




Textbooks in mathematical sciences
2000
Signatur: TVC1677

Dynamic logic
Foundations of computing
2000
Signatur: TCL4771



Leitfäden und Monographien der Informatik
2., durchges. Aufl, 1992
Signatur: TVC1457(2)



Hanser-Studienbücher
2. Aufl, 1990
Signatur: TVC1156(2)-DT

Aktive Filter
Autor / AutorinBen-Arî, Môtî
Autor / AutorinEngeler, Erwin
SchlagwortAlgebraischer Algorithmus
SystemstelleTVC