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...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Mathematik für Informatiker. 1. Die Methode der Mathematik
Mathematik für Informatiker (Alle Bände)
2., korr. Aufl, 1981
Signatur: TVD1614(2)-1
    Datensatz exportieren als...
  • BibTeX
Graphen, Mengen und Schaltalgebra
Uni-Taschenbücher : 441 (Alle Bände), Fachbuchreihe angewandte Elektronik für Fachhochschulen
1975
Signatur: M10427
    Datensatz exportieren als...
  • BibTeX
Deduction systems
Graduate texts in computer science
1997
Signatur: TVD2092
    Datensatz exportieren als...
  • BibTeX
Schaltkreistheorie
De-Gruyter-Lehrbuch
1974
Signatur: TVD1151
    Datensatz exportieren als...
  • BibTeX
Elemente der Schaltungsalgebra : eine anschauliche Einführung in den Entwurf kombinatorischer und sequentieller Schaltungen : mit 39 Tabellen und zahlreichen Beispielen sowie 79 Übungsaufgaben mit Lösungen
7., völlig neu gefaßte Aufl, 1972
Signatur: TVD1004(7)
    Datensatz exportieren als...
  • BibTeX
Logic, semantics, metamathematics : papers from 1923 to 1938
Repr, 1969
Signatur: TVD1062
    Datensatz exportieren als...
  • BibTeX
250 problems in elementary number theory
Modern analytic and computational methods in science and mathematics : 26 (Alle Bände)
1970
Signatur: TVD2351
    Datensatz exportieren als...
  • BibTeX
Mathematical logic for computer science
1989
Signatur: TVD1779
    Datensatz exportieren als...
  • BibTeX
Effizientes Lernen fast optimaler Entscheidungen aus Beispielen
Berichte aus der Informatik
Als Ms. gedr, 1994
Signatur: D9743
    Datensatz exportieren als...
  • BibTeX
The logic of partial information
Monographs in theoretical computer science
1995
Signatur: TVD2018
    Datensatz exportieren als...
  • BibTeX
Normalization by evaluation
2002
Signatur: D13372
    Datensatz exportieren als...
  • BibTeX
Elementare Aussagenlogik : mit ... 6 Tabellen
Mathematik für Informatiker
1991
Signatur: TVD1818
    Datensatz exportieren als...
  • BibTeX
Logic for mathematicians
Revised ed., repr, 1989
Signatur: TVD1525
    Datensatz exportieren als...
  • BibTeX
Fuzzy-Logik : Einführung in die algebraischen und logischen Grundlagen
Springer-Lehrbuch
1993
Signatur: TVD1915
    Datensatz exportieren als...
  • BibTeX
Mathematik für Informatiker. 1. Die Methode der Mathematik
Mathematik für Informatiker (Alle Bände), Informatik-Fachberichte : 35 (Alle Bände)
1980
Signatur: TVD1614-1
    Datensatz exportieren als...
  • BibTeX
Mathematical structures for computer science. Textbook
Mathematical structures for computer science (Alle Bände), A series of books in the mathematical sciences
2. ed, 1987
Signatur: TVD1664(2)-1
    Datensatz exportieren als...
  • BibTeX
Mathematical structures for computer science. Hauptbd
Mathematical structures for computer science (Alle Bände)
5. ed., 1. print, 2002
Signatur: TVD1664(5)-1
    Datensatz exportieren als...
  • BibTeX
Methoden der Schaltalgebra
1967
Signatur: TVD1363
    Datensatz exportieren als...
  • BibTeX
Using fuzzy logic : towards intelligent systems
1994
Signatur: TVD2262
    Datensatz exportieren als...
  • BibTeX
Unsolvable classes of quantificational formulas
1979
Signatur: TVD1606
    Datensatz exportieren als...
  • BibTeX
Arithmetik in Rechenanlagen : Logik und Entwurf ; mit 19 Tabellen und zahlreichen Beispielen
Leitfäden der angewandten Mathematik und Mechanik : 34 (Alle Bände), Teubner-Studienbücher : Informatik
1976
Signatur: TVD1402
    Datensatz exportieren als...
  • BibTeX
Schaltalgebra für Fachschulen Technik
Viewegs Fachbücher der Technik
1977
Signatur: TVD1517
    Datensatz exportieren als...
  • BibTeX
Mathematics and logic for digital devices
Reprint, 1968
Signatur: TVD1282
    Datensatz exportieren als...
  • BibTeX
Temporal logic of programs
EATCS monographs on theoretical computer science : 8 (Alle Bände)
1987
Signatur: TVD1737
    Datensatz exportieren als...
  • BibTeX
Logic: form and function : the mechanization of deductive reasoning
1979
Signatur: TVD1541
26 – 50 von 83
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen