Sortiert nach
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...
    Datensatz exportieren als...
  • BibTeX
Technische Informatik : eine Einführung
Informatik : Technische Informatik
2005
Signatur: TVA3140
    Datensatz exportieren als...
  • BibTeX
Introduction to computer theory
Rev. print, 1991
Signatur: TVA2021
    Datensatz exportieren als...
  • BibTeX
Introductory theory of computer science
Macmillan computer science series
1983
Signatur: TVA1928
    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
Informatik. 1. Vom Problem zum Programm, [Hauptbd.].- 1976
Informatik (Alle Bände)
Signatur: TVA1627-1
    Datensatz exportieren als...
  • BibTeX
Informatik : eine grundlegende Einführung
Bsv-Mathematik
Signatur: TVA1350-...
    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
Principles of computer science
1. [Dr.], 1988
Signatur: TVA2063
    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 : 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
Einführung in die Datenverarbeitung : Technik, Aufbau und Wirkungsweise
1974
Signatur: TVA1546
    Datensatz exportieren als...
  • BibTeX
Switching and finite automata theory
McGraw-Hill computer science series
2. ed, 1978
Signatur: TVA1033(2)
    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
Les mathématiques à la portée de l'ordinateur
INITIATION AUX NOUVEAUTES DE LA SCIENCE. 22. : 22 (Alle Bände)
1970
Signatur: TVA1180
    Datensatz exportieren als...
  • BibTeX
Precision of probabilistic deduction under taxonomic knowledge
1996
Signatur: D11651
    Datensatz exportieren als...
  • BibTeX
Superdistribution : objects as property on the electronic frontier
1996
Signatur: TVA2576
    Datensatz exportieren als...
  • BibTeX
Data processing mathematics
1985
Signatur: TVA2047
    Datensatz exportieren als...
  • BibTeX
Foundations of computer science
Computer software engineering series
2. hardcover print, 1982
Signatur: TVA1902
    Datensatz exportieren als...
  • BibTeX
Computing science
1980
Signatur: TVA1740
    Datensatz exportieren als...
  • BibTeX
Polarized higher order subtyping
1999
Signatur: D12677
    Datensatz exportieren als...
  • BibTeX
Computer science fundamentals : an algorithmic approach via structured programming
1979
Signatur: TVA1805
    Datensatz exportieren als...
  • BibTeX
Using model checking for system verification
2000
Signatur: DQ2379
    Datensatz exportieren als...
  • BibTeX
Theory of computation
Wiley international editions
3. [Dr.], 1987
Signatur: TVA2128
    Datensatz exportieren als...
  • BibTeX
Functional verification coverage measurement and analysis
2004
Signatur: TWQ11511
1 – 25 von 129
Suche als RSS-Feed
Aktive Filter
SchlagwortFormale Sprache
Suchergebnisse filtern
Filter anzeigen