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
Theoretische Informatik
5., aktualisierte Auflage, [2022]
Signatur: TVA3213(5)
    Datensatz exportieren als...
  • BibTeX
Handbook of model checking
[2018]
Signatur: TVA3328
    Datensatz exportieren als...
  • BibTeX
Programmieren für Ingenieure und Naturwissenschaftler : intelligente Algorithmen und digitale Technologien
eXamen.press
[2018]
Signatur: TVA3336
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik
4., aktualisierte Auflage, [2018]
Signatur: TVA3213(4)
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik - ganz praktisch
De Gruyter Oldenbourg Studium
[2016]
Signatur: TVA3344
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : mit 26 Tabellen und 109 Aufgaben
3., aktualisierte Aufl, [2015]
Signatur: TVA3213(3)
    Datensatz exportieren als...
  • BibTeX
Grundkurs Informatik : Grundlagen und Konzepte für die erfolgreiche IT-Praxis ; eine umfassende, praxisorientierte Einführung
Lehrbuch
5., vollst. überarb. Aufl, 2015
Signatur: TVA3093(5)
    Datensatz exportieren als...
  • BibTeX
Scientific applications of language methods
Mathematics, computing, language, and life: frontiers in mathematical linguistics and language theory : 2 (Alle Bände)
2011
Signatur: TVA3302
    Datensatz exportieren als...
  • BibTeX
Randomness through computation : some answers, more questions
2011
Signatur: TVA3310
    Datensatz exportieren als...
  • BibTeX
Information theory, inference, and learning algorithms
8. print, 2009
Signatur: TVA3205
    Datensatz exportieren als...
  • BibTeX
Formale Sprachen, abstrakte Automaten und Compiler : Lehr- und Arbeitsbuch für Grundstudium und Fortbildung
Studium
1. Aufl, 2009
Signatur: TVA3247
    Datensatz exportieren als...
  • BibTeX
Computational complexity : a modern approach
Reprinted, 2009
Signatur: TVA3263
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik : eine umfassende Einführung
eXamen.press
3., erw. Aufl, 2008
Signatur: TVA2877(3)
    Datensatz exportieren als...
  • BibTeX
Elliptic curves : number theory and cryptography
Discrete mathematics and its applications : 50 (Alle Bände)
2. ed, 2008
Signatur: TVB3975(2)
    Datensatz exportieren als...
  • BibTeX
Ideen der Informatik : grundlegende Modelle und Konzepte der theoretischen Informatik
3., korr. Aufl, 2008
Signatur: TVA3077(3)
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik - kurz gefasst
HochschulTaschenbuch
5. Aufl, 2008
Signatur: TVA2186(5)
    Datensatz exportieren als...
  • BibTeX
Information theory, inference, and learning algorithms
6. print, 2007
Signatur: TVA3205
    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 : eine algorithmenorientierte Einführung
Leitfäden der Informatik, Lehrbuch : Informatik
3., überarb. Aufl, 2005
Signatur: TVA2225(3)
    Datensatz exportieren als...
  • BibTeX
Technische Informatik : eine Einführung
Informatik : Technische Informatik
2005
Signatur: TVA3140
    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
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
1 – 25 von 133
Suche als RSS-Feed
Aktive Filter
SchlagwortBerechnungstheorie
Suchergebnisse filtern
Filter anzeigen