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
Logik für Informatiker
Informatik : Logik
2006
Signatur: TVC1790
    Datensatz exportieren als...
  • BibTeX
Grundlagen der formalen Logik
2., überarb. Aufl, 2001
Signatur: TVC1782(2)
    Datensatz exportieren als...
  • BibTeX
Diskrete Mathematik : Basiswissen für Informatiker ; eine Mathematica-gestützte Darstellung ; mit 248 Aufgaben und zahlreichen Beispielen, CR-ROM mit 55 Mathematica-Anwendungen und Lösungen
2003
Signatur: TVC1716
    Datensatz exportieren als...
  • BibTeX
5. ITG-GMM-Diskussionssitzung Entwicklung von Analogschaltungen mit CAE-Methoden mit dem Schwerpunkt Entwurfsmethodik und Parasitäre Effekte : 18. und 19. Februar 1999 in München
[2001]
Signatur: TTQ992062
    Datensatz exportieren als...
  • BibTeX
Diskrete Strukturen
Springer-Lehrbuch
2001-
Signatur: TBM2110-...
    Datensatz exportieren als...
  • BibTeX
4. GMM-ITG-Diskussionssitzung Entwicklung von Analogschaltungen mit CAE-Methoden mit dem Schwerpunkt Entwurfsmethodik : Kurzfassungen zur Analog '96 ; 1. und 2. Oktober in Berlin
[1996]
Signatur: TVC1685
    Datensatz exportieren als...
  • BibTeX
Ansätze und Methoden zur Unterstützung der Signalintegritätsanalyse komplexer Systeme : analogiebasierte Wissensbereitstellung und numerische Simulation
C-LAB publication : 5 (Alle Bände)
Als Ms. gedr, 2000
Signatur: P1384, TVC1651
    Datensatz exportieren als...
  • BibTeX
Schaltalgebra und digitale Grundschaltungen : teilprogrammierter Text ; mit 73 Übungsaufgaben mit Lösungen
De-Gruyter-Lehrbuch : Lerntext
1970
Signatur: TVC1009
    Datensatz exportieren als...
  • BibTeX
Schatten des Geistes : Wege zu einer neuen Physik des Bewußtseins
1995
Signatur: TVC1596
    Datensatz exportieren als...
  • BibTeX
Fuzzy logic : Einführung und Leitfaden zur praktischen Anwendung ; mit Fuzzy-Shell in C++
1., korrigierter Nachdr, 1994
Signatur: TVC1758
    Datensatz exportieren als...
  • BibTeX
Information verstehen : Facetten eines neuen Zugangs zur Welt
Informatik & Computer
1994
Signatur: TVC1504
    Datensatz exportieren als...
  • BibTeX
Betriebssysteme : eine moderne Einführung
Hanser-Studienbücher
2. Aufl, 1990
Signatur: TVC1156(2)-DT
    Datensatz exportieren als...
  • BibTeX
The combinatory programme
Progress in theoretical computer science : 15 (Alle Bände)
1995
Signatur: TVC1520
    Datensatz exportieren als...
  • BibTeX
Programming for the world : a guide to internationalization
1994
Signatur: TWG6825
    Datensatz exportieren als...
  • BibTeX
Recursive functions in computer theory
The Ellis Horwood series in computers and their applications
1981
Signatur: TVC1203-EN
    Datensatz exportieren als...
  • BibTeX
Rekursive Funktionen in der Komputer-Theorie
1976
Signatur: TVC1203
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker : eine Einführung
Leitfäden und Monographien der Informatik
2., durchges. Aufl, 1992
Signatur: TVC1457(2)
    Datensatz exportieren als...
  • BibTeX
Fuzzy NEUNET : eine Weiterentwicklung des Neuronennetz-Modells NEUNET-3
Dissertationen der Johannes-Kepler-Universität Linz : 99 (Alle Bände)
1992
Signatur: YCF2978
    Datensatz exportieren als...
  • BibTeX
Logik für Software-Ingenieure
Programmierung komplexer Systeme : 3 (Alle Bände)
1991
Signatur: TVC1449
    Datensatz exportieren als...
  • BibTeX
Mathematics for programmers
Prentice Hall international series in computer science
1. [Dr.], 1991
Signatur: TVC1465
    Datensatz exportieren als...
  • BibTeX
The logical design of operating systems
2. ed., 2. [Dr.], 1988
Signatur: TVC1156(2)
    Datensatz exportieren als...
  • BibTeX
Elemente der Verbandstheorie : mit 2 Tabellen
Wissenschaftliche Taschenbücher : 130 (Alle Bände)
1973
Signatur: TVC1091
    Datensatz exportieren als...
  • BibTeX
Digitale Schaltungs- und Rechnertechnik : Aufgaben und Lösungen
Erkennen und lösen
1. Aufl, 1979
Signatur: TVC1295
    Datensatz exportieren als...
  • BibTeX
Lernende Systeme
Kybernetik-Forschung : 3 (Alle Bände)
1973
Signatur: TVC1106
    Datensatz exportieren als...
  • BibTeX
Elements of combinatory logic
1974
Signatur: TVC1130
1 – 25 von 27
Suche als RSS-Feed
Aktive Filter
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen