Sortiert nach
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...
    Datensatz exportieren als...
  • BibTeX
Technische Informatik : eine Einführung
Informatik : Technische Informatik
2005
Signatur: TVA3140
    Datensatz exportieren als...
  • BibTeX
Introduction to computer theory
Rev. print, 1991
Signatur: TVA2021
    Datensatz exportieren als...
  • BibTeX
Introductory theory of computer science
Macmillan computer science series
1983
Signatur: TVA1928
    Datensatz exportieren als...
  • BibTeX
Informatik : eine grundlegende Einführung
Bsv-Mathematik
Signatur: TVA1350-...
    Datensatz exportieren als...
  • BibTeX
Principles of computer science
1. [Dr.], 1988
Signatur: TVA2063
    Datensatz exportieren als...
  • BibTeX
Computational complexity : Courant Computer Science Symposium 7 ; October 25 - 26, 1971
1973
Signatur: TVA1520
    Datensatz exportieren als...
  • BibTeX
Einführung in die Datenverarbeitung : Technik, Aufbau und Wirkungsweise
1974
Signatur: TVA1546
    Datensatz exportieren als...
  • BibTeX
Switching and finite automata theory
McGraw-Hill computer science series
2. ed, 1978
Signatur: TVA1033(2)
    Datensatz exportieren als...
  • BibTeX
Satisfiability problem : theory and application ; DIMACS workshop March 11 - 13, 1996
DIMACS series in discrete mathematics and theoretical computer science : 35 (Alle Bände)
1997
Signatur: TTQ961883
    Datensatz exportieren als...
  • BibTeX
Les mathématiques à la portée de l'ordinateur
INITIATION AUX NOUVEAUTES DE LA SCIENCE. 22. : 22 (Alle Bände)
1970
Signatur: TVA1180
    Datensatz exportieren als...
  • BibTeX
Precision of probabilistic deduction under taxonomic knowledge
1996
Signatur: D11651
    Datensatz exportieren als...
  • BibTeX
Superdistribution : objects as property on the electronic frontier
1996
Signatur: TVA2576
    Datensatz exportieren als...
  • BibTeX
Data processing mathematics
1985
Signatur: TVA2047
    Datensatz exportieren als...
  • BibTeX
Foundations of computer science
Computer software engineering series
2. hardcover print, 1982
Signatur: TVA1902
    Datensatz exportieren als...
  • BibTeX
Computing science
1980
Signatur: TVA1740
    Datensatz exportieren als...
  • BibTeX
Polarized higher order subtyping
1999
Signatur: D12677
    Datensatz exportieren als...
  • BibTeX
Computer science fundamentals : an algorithmic approach via structured programming
1979
Signatur: TVA1805
    Datensatz exportieren als...
  • BibTeX
Using model checking for system verification
2000
Signatur: DQ2379
    Datensatz exportieren als...
  • BibTeX
Theory of computation
Wiley international editions
3. [Dr.], 1987
Signatur: TVA2128
    Datensatz exportieren als...
  • BibTeX
Functional verification coverage measurement and analysis
2004
Signatur: TWQ11511
    Datensatz exportieren als...
  • BibTeX
Introduction to computer science
Barnes & Noble outline series : 193 (Alle Bände)
1981
Signatur: TVA1790
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : eine umfassende Einführung
Springer-Lehrbuch
2., erw. Aufl, 2002
Signatur: TVA2877(2)
    Datensatz exportieren als...
  • BibTeX
Perlen der Theoretischen Informatik
1995
Signatur: TVA2403
    Datensatz exportieren als...
  • BibTeX
Grundbegriffe der theoretischen Informatik
Studienreihe Informatik
1988
Signatur: TVA2089
    Datensatz exportieren als...
  • BibTeX
Computer science: a mathematical introduction : (applied mathematics: modeling, analysis and optimization techniques with applications to software systems)
Prentice-Hall international series in computer science
1. [Dr.], 1985
Signatur: TVA2005
1 – 25 von 129
Suche als RSS-Feed
Aktive Filter
Art des InhaltsNicht angegeben
Suchergebnisse filtern
Filter anzeigen