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
Dancing with Qubits : how quantum computing works and how it can change the world
Expert insight
November 2019
Signatur: TVC1810
    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
New algorithms, architectures and applications for reconfigurable computing
2005
Signatur: TVC1774
    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
Handbook of process algebra
1. edition, 2001
Signatur: TVC1732
    Datensatz exportieren als...
  • BibTeX
Dynamic logic
Foundations of computing
2000
Signatur: TCL4771
    Datensatz exportieren als...
  • BibTeX
Admissible representations for continuous computations
Informatik-Berichte : 299 (Alle Bände)
2003
Signatur: DQ2472
    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
A systematic approach to digital logic design
Addison-Wesley series in electrical engineering
3. print, 1977
Signatur: TVC1198
    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
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
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
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
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
Introduction to quantum computers
Repr, 1999
Signatur: UHE2387
    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
Network reliability and algebraic structures
Oxford science publications
1991
Signatur: TWP10668
    Datensatz exportieren als...
  • BibTeX
Digital logic and computer design
1979
Signatur: TVC1601
    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
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
The combinatory programme
Progress in theoretical computer science : 15 (Alle Bände)
1995
Signatur: TVC1520
1 – 25 von 47
Suche als RSS-Feed
Aktive Filter
SchlagwortMathematische Logik
Suchergebnisse filtern
Filter anzeigen