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
Proceedings / 36th Annual Symposium on Foundations of Computer Science : October 23 - 25, 1995, Milwaukee, Wisconsin
1995
Signatur: TVA2958
    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
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
Foundations of computing : system development with set theory and logic
International computer science series
1994
Signatur: TVA2348
    Datensatz exportieren als...
  • BibTeX
Nichtphysikalische Grundlagen der Informationstechnik : interpretierte Formalismen
2. Aufl, 1991
Signatur: TVA2194(2)
    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
Informatik. 1. Vom Problem zum Programm. Lösungsband mit methodisch-didaktischer Einführung
Informatik (Alle Bände)
3. Aufl., 2. Dr, 1984
Signatur: TVA1627(3)-1,2
    Datensatz exportieren als...
  • BibTeX
Einführung in die Datenverarbeitung : Technik, Aufbau und Wirkungsweise
1974
Signatur: TVA1546
    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
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
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
Informatik : eine grundlegende Einführung. Schülerbd
Informatik (Alle Bände)
1974
Signatur: TVA1350-S
    Datensatz exportieren als...
  • BibTeX
Introduction to computer science
Barnes & Noble outline series : 193 (Alle Bände)
1981
Signatur: TVA1790
    Datensatz exportieren als...
  • BibTeX
Informatik. 2. Vom Programm zur Zentraleinheit, vom Systementwurf zum Systembetrieb, [Hauptbd.].- 1978
Informatik (Alle Bände)
Signatur: TVA1627-2,1
    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
Theoretische Informatik : eine problemorientierte Einführung
Springer-Lehrbuch
1996
Signatur: TVA2673
    Datensatz exportieren als...
  • BibTeX
Termersetzungssysteme : Theorie, Implementierung, Anwendung
Vieweg-Lehrbuch
1998
Signatur: TVA2754
1 – 25 von 138
Suche als RSS-Feed
Aktive Filter
SchlagwortZahlentheorie
Suchergebnisse filtern
Filter anzeigen