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
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
Digitale Schaltungs- und Rechnertechnik : Aufgaben und Lösungen
Erkennen und lösen
1. Aufl, 1979
Signatur: TVC1295
    Datensatz exportieren als...
  • BibTeX
Logic for computer science
International computer science series, Computer science : Mathematics
1990
Signatur: TVC1431
    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
A first course in formal logic and its applications in computer science
Computer science texts
1986
Signatur: TVC1384
    Datensatz exportieren als...
  • BibTeX
Programming for the world : a guide to internationalization
1994
Signatur: TWG6825
    Datensatz exportieren als...
  • BibTeX
New algorithms, architectures and applications for reconfigurable computing
2005
Signatur: TVC1774
    Datensatz exportieren als...
  • BibTeX
Lernende Systeme
Kybernetik-Forschung : 3 (Alle Bände)
1973
Signatur: TVC1106
    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
Logic with Prolog
Oxford applied mathematics and computing science series
1988
Signatur: TVC1407
    Datensatz exportieren als...
  • BibTeX
Admissible representations for continuous computations
Informatik-Berichte : 299 (Alle Bände)
2003
Signatur: DQ2472
    Datensatz exportieren als...
  • BibTeX
Logik für Software-Ingenieure
Programmierung komplexer Systeme : 3 (Alle Bände)
1991
Signatur: TVC1449
    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
The logical design of operating systems
2. ed., 2. [Dr.], 1988
Signatur: TVC1156(2)
    Datensatz exportieren als...
  • BibTeX
Digital logic and computer design
1979
Signatur: TVC1601
    Datensatz exportieren als...
  • BibTeX
Introduction to switching theory and logical design
2. ed, 1974
Signatur: TVC1279(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
Clausal form logic : an introd. to the logic of computer reasoning
International computer science series
1989
Signatur: TVC1392
    Datensatz exportieren als...
  • BibTeX
Computer science and multiple valued logic : theory and applications
1977
Signatur: TVC1245
    Datensatz exportieren als...
  • BibTeX
Rekursive Funktionen in der Komputer-Theorie
1976
Signatur: TVC1203
    Datensatz exportieren als...
  • BibTeX
Schatten des Geistes : Wege zu einer neuen Physik des Bewußtseins
1995
Signatur: TVC1596
    Datensatz exportieren als...
  • BibTeX
Network reliability and algebraic structures
Oxford science publications
1991
Signatur: TWP10668
26 – 50 von 56
Suche als RSS-Feed
Aktive Filter
Autor / AutorinEngeler, Erwin
SchlagwortAlgebraischer Algorithmus
SystemstelleTVC
Suchergebnisse filtern
Filter anzeigen