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
Computing science
1980
Signatur: TVA1740
    Datensatz exportieren als...
  • BibTeX
Theoretical studies in computer science
1992
Signatur: TVA2267
    Datensatz exportieren als...
  • BibTeX
Communicating and mobile systems : the pi-calculus
5. print, 2004
Signatur: TVA3174
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : eine Einführung
1994
Signatur: TVA2306
    Datensatz exportieren als...
  • BibTeX
Polarized higher order subtyping
1999
Signatur: D12677
    Datensatz exportieren als...
  • BibTeX
Computer science
Reprint, 1982
Signatur: TVA1871
    Datensatz exportieren als...
  • BibTeX
Lindenmayer systems : impacts on theoretical computer science, computer graphics, and developmental biology
1992
Signatur: TVA2233
    Datensatz exportieren als...
  • BibTeX
Praktische Informatik : ein Lehr- und Arbeitsbuch
Bsv-Mathematik
1974
Signatur: TVA1342
    Datensatz exportieren als...
  • BibTeX
Mathematische Grundlagen der Informatik
Informatik : 6 (Alle Bände)
1992
Signatur: TVA2209
    Datensatz exportieren als...
  • BibTeX
Logic : a foundation for computer science
International computer science series
1991
Signatur: TVA2178
    Datensatz exportieren als...
  • BibTeX
Introduction to computer theory
Rev. print, 1991
Signatur: TVA2021
    Datensatz exportieren als...
  • BibTeX
Lehrbuch Grundlagen der Informatik : Konzepte und Notationen in UML 2, Java 5, C++ und C#, Algorithmik und Software-Technik, Anwendungen ; mit CD-ROM und e-learning-Online-Kurs
Lehrbücher der Informatik
2. Aufl, 2005
Signatur: TVA2843(2)
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : Grundlagen und praktische Anwendungen
Vieweg : Lehrbuch Informatik
1995
Signatur: TVA2322
    Datensatz exportieren als...
  • BibTeX
Using model checking for system verification
2000
Signatur: DQ2379
    Datensatz exportieren als...
  • BibTeX
Introducing formal methods : a less mathematical approach
Ellis Horwood series in computers and their applications
1993
Signatur: TVA2283
    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
Problem - Algorithmus - Programm
Grundkurs angewandte Informatik : 2 (Alle Bände), Leitfäden der angewandten Informatik
1993
Signatur: TVA2275
    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
Systemanalyse
1967-
Signatur: TVA1025-...
    Datensatz exportieren als...
  • BibTeX
Precision of probabilistic deduction under taxonomic knowledge
1996
Signatur: D11651
    Datensatz exportieren als...
  • BibTeX
Die Rechenmaschine und das Gehirn
Scientia Nova
4. Aufl, 1980
Signatur: TVA1774(4)
    Datensatz exportieren als...
  • BibTeX
Switching and finite automata theory
McGraw-Hill computer science series
2. ed, 1978
Signatur: TVA1033(2)
51 – 75 von 141
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen