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
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, [Hauptbd.].- 1978
Informatik (Alle Bände)
Signatur: TVA1627-2,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
Systemanalyse. 2. Statistische Systemanalyse
Systemanalyse (Alle Bände)
3., bearb. Aufl, 1972
Signatur: TVA1025(3)-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
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, [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 – 13 von 13
Suche als RSS-Feed
Aktive Filter
Art des InhaltsSonstiges
Autor / AutorinBauer, Friedrich L
SystemstelleTTQ
Suchergebnisse filtern
Filter anzeigen