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
Informatik : eine einführende Übersicht. 1 / Friedrich L. Bauer ; Gerhard Goos
Informatik (Alle Bände), Springer-Lehrbuch
4., verb. Aufl.: bearb. von F. L. Bauer u. W. Dosch, 1991
Signatur: TVA1106(4)-1
    Datensatz exportieren als...
  • BibTeX
Informatik. 2. Vom Programm zur Zentraleinheit, vom Systementwurf zum Systembetrieb. Lösungsband mit methodisch-didaktischer Einführung
Informatik (Alle Bände)
1980
Signatur: TVA1627-2,2
    Datensatz exportieren als...
  • BibTeX
Informatik. 1. Vom Problem zum Programm, [Hauptbd
Informatik (Alle Bände)
2., bearb. u. erw. Aufl, 1983
Signatur: TVA1627(2)-1,1
    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
Proceedings / 36th Annual Symposium on Foundations of Computer Science : October 23 - 25, 1995, Milwaukee, Wisconsin
1995
Signatur: TVA2958
    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
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
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 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
Systemanalyse. 2. Statistische Systemanalyse
Systemanalyse (Alle Bände)
3., bearb. Aufl, 1972
Signatur: TVA1025(3)-2
    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
Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
Teubner-Texte zur Informatik : 26 (Alle Bände)
1998
Signatur: TVA2704
    Datensatz exportieren als...
  • BibTeX
Informatik : eine einführende Übersicht. 1 / Friedrich L. Bauer ; Gerhard Goos
Informatik (Alle Bände), Heidelberger Taschenbücher : 80 (Alle Bände), Sammlung Informatik
3. Aufl., völlig neu bearb. u. erw. von F. L. Bauer, 1982
Signatur: TVA1106(3)-1
    Datensatz exportieren als...
  • BibTeX
Informatik. 1. Vom Problem zum Programm, [Hauptbd.].- 1976
Informatik (Alle Bände)
Signatur: TVA1627-1
    Datensatz exportieren als...
  • BibTeX
Polarized higher order subtyping
1999
Signatur: D12677
    Datensatz exportieren als...
  • BibTeX
Using model checking for system verification
2000
Signatur: DQ2379
    Datensatz exportieren als...
  • BibTeX
Systemanalyse. 3. Digitale Systeme
Systemanalyse (Alle Bände)
2. unveränd. Aufl, 1974
Signatur: TVA1025(2)-3
    Datensatz exportieren als...
  • BibTeX
Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing : Atlanta, Georgia, May 1 - 4, 1999
1999
Signatur: TTQ992020
    Datensatz exportieren als...
  • BibTeX
Informatik : eine grundlegende Einführung. Lösungen
Informatik (Alle Bände)
1974
Signatur: TVA1350-L
    Datensatz exportieren als...
  • BibTeX
Computational complexity : Courant Computer Science Symposium 7 ; October 25 - 26, 1971
1973
Signatur: TVA1520
    Datensatz exportieren als...
  • BibTeX
Functional verification coverage measurement and analysis
2004
Signatur: TWQ11511
    Datensatz exportieren als...
  • BibTeX
Precision of probabilistic deduction under taxonomic knowledge
1996
Signatur: D11651
    Datensatz exportieren als...
  • BibTeX
Proceedings / 37th Annual Symposium on Foundations of Computer Science : October 14 - 16, 1996, Burlington, Vt
1996
Signatur: TVA2940
1 – 25 von 27
Suche als RSS-Feed
Aktive Filter
Art des InhaltsSonstiges
Suchergebnisse filtern
Filter anzeigen