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...
Logic and structure
Universitext
5. ed, 2013
Signatur: TVD1591(5)



Texts in theoretical computer science
2008
Signatur: TVD2319

Temporal logic and state systems
Texts in theoretical computer science
2008
Signatur: TVD2296


Diskrete Mathematik für Informatiker
2004
Signatur: TVD2254

Texts in theoretical computer science
2000
Signatur: TVD2270

Logik für Informatiker
Spektrum-Hochschultaschenbuch
5. Aufl, 2000
Signatur: TVD1745(5)

Logik
Im Klartext : Informatik
2003
Signatur: TVD2220

Diskrete Mathematik im Klartext
Im Klartext : Informatik
2003
Signatur: TVD2204


Normalization by evaluation
2002
Signatur: D13372

In the light of logic
Logic and computation in philosophy
1998
Signatur: TBP4086


Schaltkreistheorie
De-Gruyter-Lehrbuch
1974
Signatur: TVD1151



Viewegs Fachbücher der Technik
1977
Signatur: TVD1517




Logik für Informatiker
Reihe Informatik : 56 (Alle Bände), Spektrum Lehrbuch
4., überarb. Aufl, 1995
Signatur: TVD1745(4)

Graphen, Mengen und Schaltalgebra
Uni-Taschenbücher : 441 (Alle Bände), Fachbuchreihe angewandte Elektronik für Fachhochschulen
1975
Signatur: M10427

Aktive Filter
SchlagwortAussagenlogik