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
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...
    Datensatz exportieren als...
  • BibTeX
Grundlagen der formalen Logik
2., überarb. Aufl, 2001
Signatur: TVC1782(2)
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker
Informatik : Logik
2006
Signatur: TVC1790
    Datensatz exportieren als...
  • BibTeX
Information verstehen : Facetten eines neuen Zugangs zur Welt
Informatik & Computer
1994
Signatur: TVC1504
    Datensatz exportieren als...
  • BibTeX
Automated deduction in multiple valued logics
The International series of monographs on computer science : 10 (Alle Bände), Oxford science publications
1993
Signatur: TVC1499
    Datensatz exportieren als...
  • BibTeX
Mathematical logic for computer science
(2. ed.), 4. print, 2004
Signatur: TVC1473(2)
    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
Sweet reason : a field guide to modern logic
Textbooks in mathematical sciences
2000
Signatur: TVC1677
    Datensatz exportieren als...
  • BibTeX
Dynamic logic
Foundations of computing
2000
Signatur: TCL4771
    Datensatz exportieren als...
  • BibTeX
Modular algorithms in symbolic summation and symbolic integration
Lecture notes in computer science : 3218 (Alle Bände)
2004
Signatur: P1734, TVC1766
    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
Logik für Informatiker : eine Einführung
Leitfäden und Monographien der Informatik
2., durchges. Aufl, 1992
Signatur: TVC1457(2)
    Datensatz exportieren als...
  • BibTeX
Logic in computer science : modelling and reasoning about systems
2. ed, 2004
Signatur: TVC1693(2)
    Datensatz exportieren als...
  • BibTeX
Introduction to computer science mathematics
1973
Signatur: TVC1172
    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
Betriebssysteme : eine moderne Einführung
Hanser-Studienbücher
2. Aufl, 1990
Signatur: TVC1156(2)-DT
    Datensatz exportieren als...
  • BibTeX
Elemente der Verbandstheorie : mit 2 Tabellen
Wissenschaftliche Taschenbücher : 130 (Alle Bände)
1973
Signatur: TVC1091
    Datensatz exportieren als...
  • BibTeX
Einführung in die Logik
Kröners Taschenausgabe : 381 (Alle Bände)
2., erw. Aufl, 1969
Signatur: TVC1041(2)
    Datensatz exportieren als...
  • BibTeX
Logic models of design
1988
Signatur: TVC1423
    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
Finite transition systems : semantics of communicating systems
Prentice Hall international series in computer science
1994
Signatur: TVC1481
    Datensatz exportieren als...
  • BibTeX
Mathematics for programmers
Prentice Hall international series in computer science
1. [Dr.], 1991
Signatur: TVC1465
    Datensatz exportieren als...
  • BibTeX
Elements of combinatory logic
1974
Signatur: TVC1130
    Datensatz exportieren als...
  • BibTeX
An introduction to computer logic
Prentice-Hall computer applications in electrical engineering series, Prentice-Hall electrical engineering series
1975
Signatur: TVC1164
    Datensatz exportieren als...
  • BibTeX
A systematic approach to digital logic design
Addison-Wesley series in electrical engineering
3. print, 1977
Signatur: TVC1198
    Datensatz exportieren als...
  • BibTeX
An introduction to default logic
Symbolic computation : Artificial intelligence
1989
Signatur: TVC1415
1 – 25 von 56
Suche als RSS-Feed
Aktive Filter
Autor / AutorinDittmann, Florian
SchlagwortAlgebraischer Algorithmus
SystemstelleTVC
Suchergebnisse filtern
Filter anzeigen