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
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
Finite transition systems : semantics of communicating systems
Prentice Hall international series in computer science
1994
Signatur: TVC1481
    Datensatz exportieren als...
  • BibTeX
Mathematical logic for computer science
(2. ed.), 4. print, 2004
Signatur: TVC1473(2)
    Datensatz exportieren als...
  • BibTeX
Handbook of process algebra
1. edition, 2001
Signatur: TVC1732
    Datensatz exportieren als...
  • BibTeX
Introduction to quantum computers
Repr, 1999
Signatur: UHE2387
    Datensatz exportieren als...
  • BibTeX
An introduction to default logic
Symbolic computation : Artificial intelligence
1989
Signatur: TVC1415
    Datensatz exportieren als...
  • BibTeX
Betriebssysteme : eine moderne Einführung
Hanser-Studienbücher
2. Aufl, 1990
Signatur: TVC1156(2)-DT
    Datensatz exportieren als...
  • BibTeX
The logical design of operating systems
2. ed., 2. [Dr.], 1988
Signatur: TVC1156(2)
    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
Logic for computer science
International computer science series, Computer science : Mathematics
1990
Signatur: TVC1431
    Datensatz exportieren als...
  • BibTeX
Logic models of design
1988
Signatur: TVC1423
    Datensatz exportieren als...
  • BibTeX
Digital systems : with algorithm implementation
A Wiley-interscience publication
1983
Signatur: TVC1368
    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
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
Methods to exploit reconfigurable fabrics : making reconfigurable systems mature
HNI-Verlagsschriftenreihe : 229 (Alle Bände)
2007
Signatur: TWJ5921
    Datensatz exportieren als...
  • BibTeX
A first course in formal logic and its applications in computer science
Computer science texts
1986
Signatur: TVC1384
    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
The combinatory programme
Progress in theoretical computer science : 15 (Alle Bände)
1995
Signatur: TVC1520
    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
Elements of combinatory logic
1974
Signatur: TVC1130
    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
Logic with Prolog
Oxford applied mathematics and computing science series
1988
Signatur: TVC1407
    Datensatz exportieren als...
  • BibTeX
Logic and language models for computer science
2002
Signatur: TVC1708
    Datensatz exportieren als...
  • BibTeX
Dynamic logic
Foundations of computing
2000
Signatur: TCL4771
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker : eine Einführung
Leitfäden und Monographien der Informatik
2., durchges. Aufl, 1992
Signatur: TVC1457(2)
1 – 25 von 58
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen