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
Communicating and mobile systems : the pi-calculus
5. print, 2004
Signatur: TVA3174
    Datensatz exportieren als...
  • BibTeX
Functional verification coverage measurement and analysis
2004
Signatur: TWQ11511
    Datensatz exportieren als...
  • BibTeX
Computability theory
Chapman & Hall/CRC mathematics
2004
Signatur: TVI4455
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen
I, Theoretische Informatik, I, Informatik
[Nachdr.], 2003
Signatur: TVA3124
    Datensatz exportieren als...
  • BibTeX
The pi-calculus : a theory of mobile processes
1. paperback ed, 2003
Signatur: TVA3182
    Datensatz exportieren als...
  • BibTeX
Elliptic curves : number theory and cryptography
Discrete mathematics and its applications
2003
Signatur: TVB3975
    Datensatz exportieren als...
  • BibTeX
Cryptanalysis of number theoretic ciphers
Computational mathematics series
2003
Signatur: TVB4002
    Datensatz exportieren als...
  • BibTeX
Theoretische Grundlagen der Informatik : mit 16 Tabellen, 26 Beispielen
Informatik interaktiv
2003
Signatur: TVA3116
    Datensatz exportieren als...
  • BibTeX
Ideen der Informatik : grundlegende Modelle und Konzepte
2002
Signatur: TVA3077
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : eine umfassende Einführung
Springer-Lehrbuch
2., erw. Aufl, 2002
Signatur: TVA2877(2)
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 33rd Annual ACM Symposium on Theory of Computing : Hersonissos, Crete, Greece, July 6 - 8, 2001
2001
Signatur: TTQ012024
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 8th ACM Conference on Computer and Communications Security : (CCS 8), November 5 - 8, 2001, Philadelphia, Pennsylvania, USA
2001
Signatur: TTQ012236
    Datensatz exportieren als...
  • BibTeX
Computerlogik : so einfach arbeiten Computer
1. Aufl, 2001
Signatur: TVA2932
    Datensatz exportieren als...
  • BibTeX
Mathematik für Informatiker : Einführung an praktischen Beispielen aus der Welt der Computer
2001
Signatur: TVA3001
    Datensatz exportieren als...
  • BibTeX
Linux-Kernelprogrammierung : Algorithmen und Strukturen der Version 2.4
Linux-Specials
6., aktualisierte und erw. Aufl, 2001
Signatur: TVA2526(6)
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : eine anwendungsorientierte Einführung
2., überarb. Aufl, 2001
Signatur: TVA3035(2)
    Datensatz exportieren als...
  • BibTeX
Systems and software verification : model checking techniques and tools
Updated version of the French language ed, 2001
Signatur: TVA2982
    Datensatz exportieren als...
  • BibTeX
Extremal combinatorics : with applications in computer science
Texts in theoretical computer science
2001
Signatur: TVA3289
    Datensatz exportieren als...
  • BibTeX
Using model checking for system verification
2000
Signatur: DQ2379
    Datensatz exportieren als...
  • BibTeX
Proceedings / 41st Annual Symposium on Foundations of Computer Science : 12 - 14 November 2000, Redondo Beach, California
2000
Signatur: TTQ002540
    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
Polarized higher order subtyping
1999
Signatur: D12677
    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
Theoretische Informatik : eine algorithmenorientierte Einführung
Leitfäden der Informatik
2., durchges. Aufl, 1999
Signatur: TVA2225(2)
    Datensatz exportieren als...
  • BibTeX
Lehrbuch Grundlagen der Informatik : Konzepte und Notationen in UML, Java und C++ ; Algorithmik und Software-Technik ; Anwendungen ; mit 2 CD-ROMs
Lehrbücher der Informatik
1999
Signatur: TVA2843
26 – 50 von 141
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen