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
Computer science fundamentals : an algorithmic approach via structured programming
1979
Signatur: TVA1805
    Datensatz exportieren als...
  • BibTeX
Theory of computation
Wiley international editions
3. [Dr.], 1987
Signatur: TVA2128
    Datensatz exportieren als...
  • BibTeX
A basis for theoretical computer science
Texts and monographs in computer science, The AKM series in theoretical computer science
1981
Signatur: TVA1839
    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
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
The theory of computation
Repr. with corr., December 1997, c 1998
Signatur: TVA2788
    Datensatz exportieren als...
  • BibTeX
Proceedings / 36th Annual Symposium on Foundations of Computer Science : October 23 - 25, 1995, Milwaukee, Wisconsin
1995
Signatur: TVA2958
    Datensatz exportieren als...
  • BibTeX
Languages and machines : an introduction to the theory of computer science
Addison-Wesley series in computer science
2. ed, 1997
Signatur: TVA2097(2)
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 33rd Annual ACM Symposium on Theory of Computing : Hersonissos, Crete, Greece, July 6 - 8, 2001
2001
Signatur: TTQ012024
    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
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 8th ACM Conference on Computer and Communications Security : (CCS 8), November 5 - 8, 2001, Philadelphia, Pennsylvania, USA
2001
Signatur: TTQ012236
    Datensatz exportieren als...
  • BibTeX
Principles of computer science
1. [Dr.], 1988
Signatur: TVA2063
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Twenty-sixth Annual ACM Symposium on the Theory of Computing : Montréal, Québec, Canada, May 23-25, 1994
1994
Signatur: TVA2966
    Datensatz exportieren als...
  • BibTeX
Introduction to computer science
Barnes & Noble outline series : 193 (Alle Bände)
1981
Signatur: TVA1790
    Datensatz exportieren als...
  • BibTeX
Proceedings / 34th Annual Symposium on Foundations of Computer Science : November 3 - 5, 1993, Palo Alto, California
1993
Signatur: TVA2924
    Datensatz exportieren als...
  • BibTeX
Computation and reasoning : a type theory for computer science
The international series of monographs on computer science : 11 (Alle Bände)
1994
Signatur: TVA2291
    Datensatz exportieren als...
  • BibTeX
Data processing mathematics
1985
Signatur: TVA2047
    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
Theoretical foundations of computer science
1. [Dr.], 1987
Signatur: TVA2102
    Datensatz exportieren als...
  • BibTeX
Superdistribution : objects as property on the electronic frontier
1996
Signatur: TVA2576
    Datensatz exportieren als...
  • BibTeX
Introductory theory of computer science
Macmillan computer science series
1983
Signatur: TVA1928
    Datensatz exportieren als...
  • BibTeX
Computability, complexity, and languages : fundamentals of theoretical computer science
Computer science and scientific computing
2. ed, 1994
Signatur: TVA1889(2)
    Datensatz exportieren als...
  • BibTeX
Elementary computability, formal languages, and automata
1982
Signatur: TVA1863
    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
1 – 25 von 66
Suche als RSS-Feed
Aktive Filter
SpracheDeutsch
SchlagwortBerechnungstheorie
Suchergebnisse filtern
Filter anzeigen