Spring naar hoofdinhoud

TrefwoordTheoretische Informatik

Bevat: Theoretische Informatik, theoretische Informatik, theoretische_informatik, theoretische informatik

Werken met dit trefwoord

Meest gemerkt | Gewogen | Recent populair | Recent gepubliceerd — Filter: Geen (bewerk)

Introduction to Automata Theory, Languages, and Computation door John E. Hopcroft (3 keer)
Theoretische Informatik door Dirk W. Hoffmann (2 keer)
Gems of Theoretical Computer Science door Uwe Schöning (2 keer)
Theoretische Informatik - eine algorithmenorientierte Einführung door Ingo Wegner (2 keer)
Theoretische Informatik - kurzgefasst. door Uwe Schöning (2 keer)
Theoretische Informatik: Eine umfassende Einführung door Lutz Priese (1 keer)
Anwendungsentwicklung mit Datenbanken (eXamen.press) door Michael Unterstein (1 keer)
Relationale Datenbanken und SQL in Theorie und Praxis (eXamen.press) door Michael Unterstein (1 keer)
Logic in Computer Science: Modelling and Reasoning about Systems door Michael Huth (1 keer)
Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? door Michael Schenke (1 keer)
Automatentheorie und Logik door Martin Hofmann (1 keer)
Formale Sprachen : endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse door Hans-Joachim Böckenhauer (1 keer)
Keine Angst vor Linux/Unix: Ein Lehrbuch für Linux- und Unix-Anwender (Xpert.press) door Christine Wolfinger (1 keer)
Understanding Computation: From Simple Machines to Impossible Programs door Tom Stuart (1 keer)
Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung door Christian Wagenknecht (1 keer)
Berechenbarkeit: Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit door Juraj Hromkovic (1 keer)
Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien door Wolfgang Reisig (1 keer)
Selected Papers on Design of Algorithms door Donald E. Knuth (1 keer)
Petri-Netze door Lutz Priese (1 keer)
Computational Complexity: A Modern Approach door Sanjeev Arora (1 keer)
Systems and Software Verification: Model-Checking Techniques and Tools door B. Berard (1 keer)
A Second Course in Formal Languages and Automata Theory door Jeffrey Shallit (1 keer)
Principles of Model Checking door Christel Baier (1 keer)
Grundkurs Theoretische Informatik: Eine anwendungsbezogene Einführung. Für Studierende in allen Informatik-Studiengängen door Gottfried Vossen (1 keer)
Theoretische Informatik door Juraj Hromkovic (1 keer)

Titels Omslagen

Gebruik van het trefwoord

pascal.weisser (21), kaixo (6), AFBorchert (5), Arno_Nym (2), lehrbuecher (1), Niederbe (1), baisemain (1)

Google Books Ngram Viewer

Data van Google's Boeken Ngram Kijker

Gerelateerde trefwoorden

Laden......

Gerelateerde reeks(en)

Addison-Wesley Series in Computer Science

Texts and Monographs in Computer Science

Series of Books in the Mathematical Sciences

Progress in Computer Science and Applied Logic

EATCS Monographs in Theoretical Computer Science

Structural Complexity

XLeitfäden der Informatik

CSLI Lecture Notes

Studienbücher Informatik

Gerelateerde trefwoordmix

computer science, logic (13)

algorithms, computer science (5)

computer science, math (5)

computer science, textbook (5)

algorithms, programming (4)

complexity, math (4)

computation, logic (4)

math, programming (4)

computer science, programming (3)

AI, computers (2)

AI, non-fiction, programming (2)

algorithms, software development (2)

complexity, linguistics (2)

computer science, technology (2)

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Onze site gebruikt cookies om diensten te leveren, prestaties te verbeteren, voor analyse en (indien je niet ingelogd bent) voor advertenties. Door LibraryThing te gebruiken erken je dat je onze Servicevoorwaarden en Privacybeleid gelezen en begrepen hebt. Je gebruik van de site en diensten is onderhevig aan dit beleid en deze voorwaarden.