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
Mathematical structures for computer science. Textbook
Mathematical structures for computer science (Alle Bände), A series of books in the mathematical sciences
2. ed, 1987
Signatur: TVD1664(2)-1
    Datensatz exportieren als...
  • BibTeX
Mathematical structures for computer science. Hauptbd
Mathematical structures for computer science (Alle Bände)
5. ed., 1. print, 2002
Signatur: TVD1664(5)-1
    Datensatz exportieren als...
  • BibTeX
Mathematical structures for computer science. Solutions manual
Mathematical structures for computer science (Alle Bände)
2. ed., 2. [Dr.], 1987
Signatur: TVD1664(2)-2
    Datensatz exportieren als...
  • BibTeX
Lambda calculi : a guide for computer scientists
Graduate texts in computer science : 3 (Alle Bände)
1994
Signatur: TCL4179
    Datensatz exportieren als...
  • BibTeX
Boolean algebra and its uses
VNR new mathematics library : 4 (Alle Bände)
1974
Signatur: TVD1305
    Datensatz exportieren als...
  • BibTeX
Logic for problem solving
The computer science library : Artificial intelligence series : 7 (Alle Bände)
1979
Signatur: TVD1630
    Datensatz exportieren als...
  • BibTeX
Temporal logic of programs
EATCS monographs on theoretical computer science : 8 (Alle Bände)
1987
Signatur: TVD1737
    Datensatz exportieren als...
  • BibTeX
Triangular norm based measures and games with fuzzy coalitions
Theory and decision library : Series C, Game theory, mathematical programming and mathematical economics : 10 (Alle Bände)
1993
Signatur: TVD1949
    Datensatz exportieren als...
  • BibTeX
Fuzzy decision procedures with binary relations : toward a unified theory
Theory and decision library : Series D, System theory, knowledge engineering and problem solving : 13 (Alle Bände)
1993
Signatur: TVD1957
    Datensatz exportieren als...
  • BibTeX
250 problems in elementary number theory
Modern analytic and computational methods in science and mathematics : 26 (Alle Bände)
1970
Signatur: TVD2351
    Datensatz exportieren als...
  • BibTeX
Process algebra : equational theories of communicating processes
Cambridge tracts in theoretical computer science : 50 (Alle Bände)
2010
Signatur: TVD2343
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker
Reihe Informatik : 56 (Alle Bände)
2., überarb. Aufl, 1989
Signatur: TVD1745(2)
    Datensatz exportieren als...
  • BibTeX
General hybrid orthogonal functions and their applications in systems and control
Lecture notes in control and information sciences : 213 (Alle Bände)
1996
Signatur: TVD2068
    Datensatz exportieren als...
  • BibTeX
Model based transformations for quantified Boolean formulas
Dissertationen zur künstlichen Intelligenz : 329 (Alle Bände)
2010
Signatur: TVD2335, P2258
    Datensatz exportieren als...
  • BibTeX
From logic to computers
Computer science texts
Repr, 1984
Signatur: TVD1680
    Datensatz exportieren als...
  • BibTeX
Introduction to discrete mathematics for software engineering
Macmillan computer science series
1986
Signatur: TVD1729
    Datensatz exportieren als...
  • BibTeX
LYaPAS : a programming language for logic and coding algorithms
ACM monograph series
1969
Signatur: TVD1274
    Datensatz exportieren als...
  • BibTeX
From logic to computing
1. [Dr.], 1991
Signatur: TVD1826
    Datensatz exportieren als...
  • BibTeX
Foundations of computing : system development with set theory and logic
International computer science series
1994
Signatur: TVA2348
    Datensatz exportieren als...
  • BibTeX
Mathematical structures for computer science
1982-
Signatur: TVD1664-...
    Datensatz exportieren als...
  • BibTeX
Fuzzy sets and fuzzy logic : the foundations of application - from a mathematical point of view
Artificial intelligence
1993
Signatur: TVD1884
    Datensatz exportieren als...
  • BibTeX
Logic design algorithms
Harwell series
1972
Signatur: TVD1907
    Datensatz exportieren als...
  • BibTeX
Computer arithmetic : logic and design
Wiley series in computing
1981
Signatur: TVD1402-EN
    Datensatz exportieren als...
  • BibTeX
Introduction to mathematical logic : set theory, computable functions, model theory
Undergraduate texts in mathematics
1979
Signatur: TVD1559
    Datensatz exportieren als...
  • BibTeX
Symbolic logic : classical and advanced systems
1990
Signatur: TVD1834
1 – 25 von 57
Suche als RSS-Feed
Aktive Filter
SpracheDeutsch
Suchergebnisse filtern
Filter anzeigen