Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
66 | Michael Prasse, Peter Rittgen |
Bemerkungen zu Peter Wegners Ausführungen über Interaktion und Berechenbarkeit. |
Inform. Spektrum |
1998 |
DBLP DOI BibTeX RDF |
Interaktionsmaschine, Turingmaschine, Churchsche These, Berechenbarkeit, Algorithmus |
30 | Michael Tieber |
Die Berechenbarkeit des Übersetzens: Translationskonzepte in der Computerlinguistik. |
|
2023 |
RDF |
|
30 | Johannes Reich |
Verwirrende Informatik I - Systeme, Informationen, Berechenbarkeit und Daten. |
Inform. Spektrum |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Uwe Schöning, Wolfgang Thomas |
Turings Arbeiten über Berechenbarkeit - eine Einführung und Lesehilfe. |
Inform. Spektrum |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Markus Steinert |
Grenzen der Berechenbarkeit - Entdeckendes und forschendes Lernen in der Praxis. |
LOG IN |
2011 |
DBLP BibTeX RDF |
|
30 | Juraj Hromkovic |
Theoretische Informatik - formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie, 3. Auflage. |
|
2007 |
RDF |
|
30 | Norbert Blum |
Einführung in formale Sprachen, Berechenbarkeit, Informations- und Lerntheorie. |
|
2007 |
RDF |
|
30 | Maike Buchin |
On the Computability of the Frechet Distance Between Triangulated Surfaces (Über die Berechenbarkeit des Frechet-Abstands zwischen triangulierten Flächen) |
|
2007 |
RDF |
|
30 | Martin Ziegler 0001 |
Zur Berechenbarkeit reeller geometrischer Probleme. |
|
2003 |
RDF |
|
30 | Alexander Asteroth, Christel Baier |
Theoretische Informatik - eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen. |
|
2002 |
RDF |
|
30 | Juraj Hromkovic |
Algorithmischen Konzepte der Informatik - Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kryptographie |
|
2001 |
RDF |
|
30 | Longin Jan Latecki, Ralf Röhrig |
Räumliches Schließen und Berechenbarkeit. |
Künstliche Intell. |
1993 |
DBLP BibTeX RDF |
|
30 | Walter Felscher |
Berechenbarkeit - rekursive und programmierbare Funktionen. |
|
1993 |
RDF |
|
30 | Manfred Bretz |
Algorithmen und Berechenbarkeit - eine Einführung in die Algorithmentheorie der Softwaretechnik für Studenten der Informatik. |
|
1992 |
RDF |
|
30 | Egon Börger |
Berechenbarkeit, Komplexität und Logik - Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität (3. Aufl.). |
|
1992 |
RDF |
|
30 | Wilfried Brauer |
Grenzen machineller Berechenbarkeit. |
Inform. Spektrum |
1990 |
DBLP BibTeX RDF |
|
30 | Egon Börger |
Computability, Complexity, Logic (English translation of "Berechenbarkeit, Komplexität, Logik" from 1985) |
|
1989 |
RDF |
|
30 | Thomas Deil |
Darstellungen und Berechenbarkeit reeller Zahlen. |
|
1983 |
RDF |
|
30 | Ernst Pohlen |
Erprobung reaktorphysikalischer Rechenverfahren am kritischen Experiment zum HTR (KAHTER) im Hinblick auf die Güte der Berechenbarkeit des Einflusses des oberen Hohlraumes. |
|
1982 |
RDF |
|
30 | Jürgen Hauck |
Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis. |
Math. Log. Q. |
1981 |
DBLP DOI BibTeX RDF |
|
30 | Klaus Wagner |
Turing-Berechenbarkeit in linearer Zeit. |
Acta Cybern. |
1975 |
DBLP BibTeX RDF |
|
30 | Klaus W. Wagner |
Zellulare Berechenbarkeit von Funktionen über n-dimensionalen Zeichensystemen. |
J. Inf. Process. Cybern. |
1974 |
DBLP BibTeX RDF |
|