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
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
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
The nature of computation
2011
Signatur: TVA3350
    Datensatz exportieren als...
  • BibTeX
Models of computation : an introduction to computability theory
Undergraduate topics in computer science
2009
Signatur: TVA3239
    Datensatz exportieren als...
  • BibTeX
Computational complexity : a modern approach
Reprinted, 2009
Signatur: TVA3263
    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
Elements of computation theory
Texts in computer science
2009
Signatur: TVA3297
    Datensatz exportieren als...
  • BibTeX
Information theory, inference, and learning algorithms
8. print, 2009
Signatur: TVA3205
    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
Introduction to the theory of computation
2. ed., internat. ed., [Nachdr.], the content of this text differs form the U.S. version, [20]08
Signatur: TVA2623(2)
    Datensatz exportieren als...
  • BibTeX
Information theory, inference, and learning algorithms
6. print, 2007
Signatur: TVA3205
    Datensatz exportieren als...
  • BibTeX
Introduction to the theory of computation
2. ed., internat. ed, 2006
Signatur: TVA2623(2)
    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
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
Computability theory
Chapman & Hall/CRC mathematics
2004
Signatur: TVI4455
    Datensatz exportieren als...
  • BibTeX
The pi-calculus : a theory of mobile processes
1. paperback ed, 2003
Signatur: TVA3182
    Datensatz exportieren als...
  • BibTeX
Cryptanalysis of number theoretic ciphers
Computational mathematics series
2003
Signatur: TVB4002
    Datensatz exportieren als...
  • BibTeX
Elliptic curves : number theory and cryptography
Discrete mathematics and its applications
2003
Signatur: TVB3975
    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
1 – 25 von 101
Suche als RSS-Feed
Aktive Filter
SchlagwortTheoretische Informatik
Suchergebnisse filtern
Filter anzeigen