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
Algorithmen und Datenstrukturen : eine Einführung mit Java
6., überarbeitete und erweiterte Auflage, 2021
Signatur: TVH2589(6)
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie
5., überarb. Aufl, 2014
Signatur: TVH2602(5)
    Datensatz exportieren als...
  • BibTeX
Algorithmen und Datenstrukturen : eine Einführung mit Java
4., überarb. Aufl, 2010
Signatur: TVH2589(4)
    Datensatz exportieren als...
  • BibTeX
A second course in formal languages and automata theory
2009
Signatur: TVH2733
    Datensatz exportieren als...
  • BibTeX
The space and motion of communicating agents
2009
Signatur: TVH2741
    Datensatz exportieren als...
  • BibTeX
Elements of automata theory
2009
Signatur: TVH2767
    Datensatz exportieren als...
  • BibTeX
Quantum computing for computer scientists
2008
Signatur: TVP1729
    Datensatz exportieren als...
  • BibTeX
Algorithmen und Datenstrukturen : eine systematische Einführung in die Programmierung
It, Informatik
2008
Signatur: TVH2717
    Datensatz exportieren als...
  • BibTeX
Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie
2007
Signatur: TVH2694
    Datensatz exportieren als...
  • BibTeX
Lectures on quantum information
Physics textbook
2007
Signatur: UHE2523
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie
Leitfäden der Informatik, Lehrbuch : Informatik
3., überarb. und erw. Aufl, 2007
Signatur: TVH2602(3)
    Datensatz exportieren als...
  • BibTeX
Algorithmen in Java
2. Aufl, 2006
Signatur: TVH2636(2)
    Datensatz exportieren als...
  • BibTeX
Automata theory with modern applications
2006
Signatur: TVH2678
    Datensatz exportieren als...
  • BibTeX
Algorithmen und Datenstrukturen : eine Einführung mit Java
Dpunkt-Lehrbuch
3., überarb. Aufl, 2006
Signatur: TVH2589(3)
    Datensatz exportieren als...
  • BibTeX
A modern perspective on type theory : from its origins until today
Applied logic series : 29 (Alle Bände)
2004
Signatur: TVH2660
    Datensatz exportieren als...
  • BibTeX
Infinite words : automata, semigroups, logic and games
Pure and applied mathematics : 141 (Alle Bände)
1. ed, 2004
Signatur: TVH2652
    Datensatz exportieren als...
  • BibTeX
Algorithmen in Java
2003
Signatur: TVH2636
    Datensatz exportieren als...
  • BibTeX
Introduction to evolutionary computing : with 29 tables
Natural computing series
2003
Signatur: TVU9065
    Datensatz exportieren als...
  • BibTeX
A new kind of science
1. ed., 3. print, 2002
Signatur: TVH2759
    Datensatz exportieren als...
  • BibTeX
Distributed bucket processing : a paradigm for parallel image processing
ASCI dissertation series : 68 (Alle Bände)
2001
Signatur: TVV17247
    Datensatz exportieren als...
  • BibTeX
Algorithmen zur Planung und Optimierung moderner Kommunikationsnetze
2001
Signatur: D13140
    Datensatz exportieren als...
  • BibTeX
Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie
2000
Signatur: TVH2555
    Datensatz exportieren als...
  • BibTeX
Realization of the highly integrated distributed real time safety critical system MELODY
1999
Signatur: DQ2231
    Datensatz exportieren als...
  • BibTeX
Formale Semantik von Konnektoren
1999
Signatur: D12554
    Datensatz exportieren als...
  • BibTeX
A temporal logic for the specification and verification of distributed behaviour
1998
Signatur: DQ2252
1 – 25 von 136
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen