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 grundlegende Einführung. Lösungen
Informatik (Alle Bände)
1974
Signatur: TVA1350-L
    Datensatz exportieren als...
  • BibTeX
Functional verification coverage measurement and analysis
2004
Signatur: TWQ11511
    Datensatz exportieren als...
  • BibTeX
Using model checking for system verification
2000
Signatur: DQ2379
    Datensatz exportieren als...
  • BibTeX
Polarized higher order subtyping
1999
Signatur: D12677
    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
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
Precision of probabilistic deduction under taxonomic knowledge
1996
Signatur: D11651
    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. 2. Vom Programm zur Zentraleinheit, vom Systementwurf zum Systembetrieb, [Hauptbd.].- 1978
Informatik (Alle Bände)
Signatur: TVA1627-2,1
    Datensatz exportieren als...
  • BibTeX
Informatik : eine grundlegende Einführung. Schülerbd
Informatik (Alle Bände)
1974
Signatur: TVA1350-S
    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
Systemanalyse. 2. Statistische Systemanalyse
Systemanalyse (Alle Bände)
3., bearb. Aufl, 1972
Signatur: TVA1025(3)-2
    Datensatz exportieren als...
  • BibTeX
Informatik : eine einführende Übersicht. 2 / Friedrich L. Bauer ; Gerhard Goos
Informatik (Alle Bände), Heidelberger Taschenbücher : 91 (Alle Bände), Sammlung Informatik
3. Aufl., völlig neu bearb. u. erw. von F. L. Bauer, 1984
Signatur: TVA1106(3)-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
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
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
Computational complexity : Courant Computer Science Symposium 7 ; October 25 - 26, 1971
1973
Signatur: TVA1520
1 – 18 von 18
Suche als RSS-Feed
Aktive Filter
SystemstelleTTQ
Art des InhaltsSonstiges
Suchergebnisse filtern
Filter anzeigen