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
Finite transition systems : semantics of communicating systems
Prentice Hall international series in computer science
1994
Signatur: TVC1481
    Datensatz exportieren als...
  • BibTeX
Introduction to switching theory and logical design
2. ed, 1974
Signatur: TVC1279(2)
    Datensatz exportieren als...
  • BibTeX
Diskrete Strukturen
Springer-Lehrbuch
2001-
Signatur: TBM2110-...
    Datensatz exportieren als...
  • BibTeX
Computer science and multiple valued logic : theory and applications
1977
Signatur: TVC1245
    Datensatz exportieren als...
  • BibTeX
Theoretical concepts
Library of exact philosophy : 10 (Alle Bände)
1973
Signatur: TVC1114
    Datensatz exportieren als...
  • BibTeX
Logic and language models for computer science
2002
Signatur: TVC1708
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation : July 22 - 25, 2001, University of Western Ontario, London, Ontario, Canada
2001
Signatur: TTQ010991
    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
Mathematics for programmers
Prentice Hall international series in computer science
1. [Dr.], 1991
Signatur: TVC1465
    Datensatz exportieren als...
  • BibTeX
Introduction to discrete structures for computer science and engineering
Addison-Wesley series in computer science and information processing
1973
Signatur: TVC1083
    Datensatz exportieren als...
  • BibTeX
An introduction to default logic
Symbolic computation : Artificial intelligence
1989
Signatur: TVC1415
    Datensatz exportieren als...
  • BibTeX
Handbook of process algebra
1. edition, 2001
Signatur: TVC1732
    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
Logic for computer science
International computer science series, Computer science : Mathematics
1990
Signatur: TVC1431
    Datensatz exportieren als...
  • BibTeX
Elements of combinatory logic
1974
Signatur: TVC1130
    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
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation : 7 - 9 August 2000, University of St Andrews, Scotland
2000
Signatur: TTQ001316
    Datensatz exportieren als...
  • BibTeX
Digital logic and computer design
1979
Signatur: TVC1601
    Datensatz exportieren als...
  • BibTeX
Clausal form logic : an introd. to the logic of computer reasoning
International computer science series
1989
Signatur: TVC1392
    Datensatz exportieren als...
  • BibTeX
Introduction to quantum computers
Repr, 1999
Signatur: UHE2387
    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
Rekursive Funktionen in der Komputer-Theorie
1976
Signatur: TVC1203
    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
1 – 25 von 56
Suche als RSS-Feed
Aktive Filter
Autor / AutorinDittmann, Florian
Autor / AutorinEngeler, Erwin
SystemstelleTVC
Suchergebnisse filtern
Filter anzeigen