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
1971-
Signatur: TVA1106
    Datensatz exportieren als...
  • BibTeX
Informatik
Signatur: TVA1627-...
    Datensatz exportieren als...
  • BibTeX
Informations- und Codierungstheorie : mathematische Grundlagen der Daten-Kompression und -Sicherung in diskreten Kommunikationssystemen ; mit 6 Tabellen
Springer-Lehrbuch
3., neu bearb. Aufl, 1995
Signatur: TVA1855(3)
    Datensatz exportieren als...
  • BibTeX
Introductory theory of computer science
Macmillan computer science series
1983
Signatur: TVA1928
    Datensatz exportieren als...
  • BibTeX
Computerlogik : so einfach arbeiten Computer
1. Aufl, 2001
Signatur: TVA2932
    Datensatz exportieren als...
  • BibTeX
Problem - Algorithmus - Programm
Grundkurs angewandte Informatik : 2 (Alle Bände), Leitfäden der Informatik
2., durchges. Aufl, 1999
Signatur: TVA2275(2)
    Datensatz exportieren als...
  • BibTeX
Computability, complexity, and languages : fundamentals of theoretical computer science
Computer science and scientific computing
2. ed, 1994
Signatur: TVA1889(2)
    Datensatz exportieren als...
  • BibTeX
Elementary computability, formal languages, and automata
1982
Signatur: TVA1863
    Datensatz exportieren als...
  • BibTeX
Informatik : eine grundlegende Einführung
Bsv-Mathematik
Signatur: TVA1350-...
    Datensatz exportieren als...
  • BibTeX
Informatik. 1. Vom Problem zum Programm, [Hauptbd.].- 1976
Informatik (Alle Bände)
Signatur: TVA1627-1
    Datensatz exportieren als...
  • BibTeX
Introduction to the theory of computation
1997
Signatur: TVA2623
    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
Communicating and mobile systems : the pi-calculus
5. print, 2004
Signatur: TVA3174
    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
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
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
Informatik : eine grundlegende Einführung. Lösungen
Informatik (Alle Bände)
1974
Signatur: TVA1350-L
26 – 50 von 101
Suche als RSS-Feed
Aktive Filter
SchlagwortTheoretische Informatik
Suchergebnisse filtern
Filter anzeigen