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
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
Introduction to switching theory and logical design
2. ed, 1974
Signatur: TVC1279(2)
    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
Handbook of process algebra
1. edition, 2001
Signatur: TVC1732
    Datensatz exportieren als...
  • BibTeX
Digital logic and computer design
1979
Signatur: TVC1601
    Datensatz exportieren als...
  • BibTeX
Logic with Prolog
Oxford applied mathematics and computing science series
1988
Signatur: TVC1407
    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
Logic models of design
1988
Signatur: TVC1423
    Datensatz exportieren als...
  • BibTeX
Admissible representations for continuous computations
Informatik-Berichte : 299 (Alle Bände)
2003
Signatur: DQ2472
    Datensatz exportieren als...
  • BibTeX
Mathematics for programmers
Prentice Hall international series in computer science
1. [Dr.], 1991
Signatur: TVC1465
    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
Diskrete Strukturen
Springer-Lehrbuch
2001-
Signatur: TBM2110-...
    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
An introduction to default logic
Symbolic computation : Artificial intelligence
1989
Signatur: TVC1415
    Datensatz exportieren als...
  • BibTeX
New algorithms, architectures and applications for reconfigurable computing
2005
Signatur: TVC1774
    Datensatz exportieren als...
  • BibTeX
Introduction to computer science mathematics
1973
Signatur: TVC1172
    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
Logik für Informatiker : eine Einführung
Leitfäden und Monographien der Informatik
2., durchges. Aufl, 1992
Signatur: TVC1457(2)
    Datensatz exportieren als...
  • BibTeX
Betriebssysteme : eine moderne Einführung
Hanser-Studienbücher
2. Aufl, 1990
Signatur: TVC1156(2)-DT
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker
Informatik : Logik
2006
Signatur: TVC1790
    Datensatz exportieren als...
  • BibTeX
Mathematical logic for computer science
(2. ed.), 4. print, 2004
Signatur: TVC1473(2)
    Datensatz exportieren als...
  • BibTeX
Grundlagen der formalen Logik
2., überarb. Aufl, 2001
Signatur: TVC1782(2)
    Datensatz exportieren als...
  • BibTeX
Logic in computer science : modelling and reasoning about systems
2. ed, 2004
Signatur: TVC1693(2)
    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
Dynamic logic
Foundations of computing
2000
Signatur: TCL4771
26 – 50 von 58
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen