Berechenbarkeitstheorie


««« zurück123vor »

  • Theoretische Informatik - kurz gefasst

    • Gottfried Vossen
    • Kurt-Ulrich Witt
    • Grundkurs Theoretische Informatik
    • Broschiertes Buch 
    • Eine anwendungsbezogene Einführung. Für Studierende in allen Informatik-Studiengängen
    • 5., durchges. Aufl., Juni 2012, Vieweg+Teubner, 85045820
  • Grundkurs Theoretische Informatik

    • Roger Penrose
    • Computerdenken
    • Broschiertes Buch 
    • Die Debatte um Künstliche Intelligenz, Bewusstsein und die Gesetze der Physik
    • Januar 2002, Spektrum Akademischer Verlag, 12134595
  • Computerdenken

  • Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit

    • Renate Winter
    • Theoretische Informatik
    • Broschiertes Buch 
    • Grundlagen mit Übungsaufgaben und Lösungen
    • Januar 2002, Oldenbourg
  • Theoretische Informatik

  • Einführung in Formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie

    • Katrin Erk
    • Lutz Priese
    • Theoretische Informatik
    • Broschiertes Buch 
    • Eine umfassende Einführung
    • 3. Aufl., März 2008, Springer, Berlin, 12124749
  • Theoretische Informatik

    • Charles Petzold
    • The Annotated Turing
    • Broschiertes Buch 
    • A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
    • Juni 2008, Wiley & Sons, 14522905000
  • The Annotated Turing

  • Das Affenpuzzle und weitere bad news aus der Computerwelt

    • Marco Block
    • Adrian Neumann
    • Haskell-Intensivkurs
    • Broschiertes Buch 
    • Ein kompakter Einstieg in die funktionale Programmierung
    • Januar 2011, Springer, Berlin, 12769216
  • Haskell-Intensivkurs

    • Juraj Hromkovic
    • Theoretische Informatik
    • Broschiertes Buch 
    • Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie
    • 4., aktualis. Aufl., November 2010, Vieweg+Teubner, 85037370
  • Theoretische Informatik

  • Bedeutende Theorien des 20. Jahrhunderts

  • Numerische Methoden in der Berechnung elektromagnetischer Felder

  • Automata and Computability

  • Berechenbarkeit, formale Sprachen, Spezifikationen. Vorlesungen über Informatik

  • Systemstrukturen und Theoretische Informatik. Informatik

    • Gheorghe Paun
    • Grzegorz Rozenberg
    • Arto Salomaa
    • DNA Computing
    • Gebundenes Buch 
    • New Computing Paradigms
    • 1998., Mai 2002, Springer, Berlin, 10672469
  • DNA Computing

    • Klaus Weihrauch
    • Computable Analysis
    • Gebundenes Buch 
    • An Introduction
    • 2000., Januar 2001, Springer, Berlin, 10694615
  • Computable Analysis

  • Formale Beschreibungsverfahren der Informatik

  • Analysis of Dynamical and Cognitive Systems

    • Gregory J. Chaitin
    • Exploring RANDOMNESS
    • Gebundenes Buch 
    • 1st ed 2001. Corr. 2nd printing, März 2001, Springer, Berlin, 10790225
  • Exploring RANDOMNESS

  • Rekursive Funktionen

    • Andrzej Ehrenfeucht
    • Tero Harju
    • Ion Petre
    • David M. Prescott
    • Grzegorz Rozenberg
    • Computation in Living Cells
    • Gebundenes Buch 
    • Gene Assembly in Ciliates
    • November 2003, Springer, Berlin, 10948903
  • Computation in Living Cells

  • Grammatical Picture Generation, w. CD-ROM

  • Theoretical and Experimental DNA Computation



    ««« zurück123vor »
    InformatikTheoretische InformatikAlgorithmikAutomatentheorie und formale SprachenBerechenbarkeitstheorieCompilerbauDatenbanktheorieGraphentheorieInformationstheorieKomplexitätstheorieKryptologieLogikSpieltheorie