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
Communicating and mobile systems : the pi-calculus
5. print, 2004
Signatur: TVA3174
    Datensatz exportieren als...
  • BibTeX
From modal logic to deductive databases : introducing a logic based approach to artificial intelligence
1989
Signatur: TVA2110
    Datensatz exportieren als...
  • BibTeX
Analytische Leistungsbewertung verteilter Systeme : eine Einführung ; mit Übungsaufgaben
Springer-Lehrbuch
1996
Signatur: TVA2534
    Datensatz exportieren als...
  • BibTeX
Functional verification coverage measurement and analysis
2004
Signatur: TWQ11511
    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
Computability theory
Chapman & Hall/CRC mathematics
2004
Signatur: TVI4455
    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
Elliptic curves : number theory and cryptography
Discrete mathematics and its applications : 50 (Alle Bände)
2. ed, 2008
Signatur: TVB3975(2)
    Datensatz exportieren als...
  • BibTeX
Elliptic curves : number theory and cryptography
Discrete mathematics and its applications
2003
Signatur: TVB3975
    Datensatz exportieren als...
  • BibTeX
Cryptanalysis of number theoretic ciphers
Computational mathematics series
2003
Signatur: TVB4002
    Datensatz exportieren als...
  • BibTeX
Mehr als nur programmieren : eine Einführung in die Informatik
Vieweg-Lehrbuch Informatik
1993
Signatur: TVA2241
    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
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
Informations- und Codierungstheorie : mathematische Grundlagen der Daten-Kompression und -Sicherung in diskreten Kommunikationssystemen
Studienreihe Informatik
2., neubearb. Aufl, 1989
Signatur: TVA1855(2)
    Datensatz exportieren als...
  • BibTeX
Nichtphysikalische Grundlagen der Informationstechnik : interpretierte Formalismen
2. Aufl, 1991
Signatur: TVA2194(2)
    Datensatz exportieren als...
  • BibTeX
Einführung in die Datenverarbeitung : Technik, Aufbau und Wirkungsweise
1974
Signatur: TVA1546
    Datensatz exportieren als...
  • BibTeX
Informatik : eine Einführung in Grundlagen und Methoden
Studienbücher Mathematik
1981
Signatur: TVA1813
    Datensatz exportieren als...
  • BibTeX
A recursive introduction to the theory of computation
Graduate texts in computer science
1994
Signatur: TVA2330
    Datensatz exportieren als...
  • BibTeX
Principles of computer science
1. [Dr.], 1988
Signatur: TVA2063
    Datensatz exportieren als...
  • BibTeX
Introduction to computer science
Barnes & Noble outline series : 193 (Alle Bände)
1981
Signatur: TVA1790
    Datensatz exportieren als...
  • BibTeX
Termersetzungssysteme : Theorie, Implementierung, Anwendung
Vieweg-Lehrbuch
1998
Signatur: TVA2754
    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
1 – 25 von 89
Suche als RSS-Feed
Aktive Filter
Art des InhaltsNicht angegeben
SchlagwortTheoretische Informatik
Suchergebnisse filtern
Filter anzeigen