Berechnungstheorie für Informatiker:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1988
|
| Schriftenreihe: | Leitfäden und Monographien der Informatik
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Der Inhalt dieses Buches entspricht weitgehend dem Stoff, den die beiden Autoren seit mehreren Jahren in einem zweisemestrigen Kurs für Informatiker an der ETH Zürich vermitteln. Vieles davon ist bereits früher in der Form von provisorischen Notizen von E. Engeler als "Kleines Repetitorium der Berechnungstheorie" an die Studenten abgegeben worden. Bei der Niederschrift des nun vorliegenden Textes hat sich immer deutlicher gezeigt, dass sich eine weitgehend unabhängige Redaktion der beiden, jetzt auch im Inhaltsverzeichnis abgegrenzten Teile, sowohl arbeitstechnisch als auch von der Stoffbehandlung her, als durchaus natürlich aufdrängte. So hat denn P. Läuchli den ersten, E. Engeier den zweiten Teil selbständig betreut. Wir haben uns zwar punkto Notation weitgehend abgesprochen, nehmen jedoch eine gewisse Verschiedenheit im Stil bewusst in Kauf. Für die Lektüre des Buches wird vorausgesetzt, dass der Leser über das mathematische Rüstzeug verfügt, welches etwa in einem elementaren Kurs "Diskrete Mathematik" in den unteren Semestern eines Hochschulstudiums, Richtung Informatik oder Elektrotechnik, angeboten wird. Dazu gehören jedenfalls Grundbegriffe bezüglich Mengen, Funktionen, Relationen etc. Der erste Teil, im allgemeinen elementarer formuliert, entspricht ungefahr der oben erwähnten ersten Vorlesung ("Berechnungstheorie" , 4. Semester), in welcher vor allem der Berechenbarkeitsbegriff herausgearbeitet und eine erste Bekanntschaft mit der Erzeugung, bzw. Erkennung von formalen Sprachen anhand der ausführlich diskutierten regulären Sprachen vermittelt wird. Die anschliessend eingefuhrte Fixpunkttheorie soll dem Studenten ein theoretisches Werkzeug in die Hand geben, welches ihm erlaubt, verschiedene Gegenstände von einem einheitlichen Standpunkt aus zu betrachten |
| Beschreibung: | 1 Online-Ressource (121 S.) |
| ISBN: | 9783322930859 9783519022589 |
| DOI: | 10.1007/978-3-322-93085-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042430724 | ||
| 003 | DE-604 | ||
| 005 | 20170830 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1988 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322930859 |c Online |9 978-3-322-93085-9 | ||
| 020 | |a 9783519022589 |c Print |9 978-3-519-02258-9 | ||
| 024 | 7 | |a 10.1007/978-3-322-93085-9 |2 doi | |
| 035 | |a (OCoLC)863884990 | ||
| 035 | |a (DE-599)BVBBV042430724 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Engeler, Erwin |d 1930- |e Verfasser |0 (DE-588)1089102372 |4 aut | |
| 245 | 1 | 0 | |a Berechnungstheorie für Informatiker |c von Erwin Engeler, Peter Läuchli |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1988 | |
| 300 | |a 1 Online-Ressource (121 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Leitfäden und Monographien der Informatik | |
| 500 | |a Der Inhalt dieses Buches entspricht weitgehend dem Stoff, den die beiden Autoren seit mehreren Jahren in einem zweisemestrigen Kurs für Informatiker an der ETH Zürich vermitteln. Vieles davon ist bereits früher in der Form von provisorischen Notizen von E. Engeler als "Kleines Repetitorium der Berechnungstheorie" an die Studenten abgegeben worden. Bei der Niederschrift des nun vorliegenden Textes hat sich immer deutlicher gezeigt, dass sich eine weitgehend unabhängige Redaktion der beiden, jetzt auch im Inhaltsverzeichnis abgegrenzten Teile, sowohl arbeitstechnisch als auch von der Stoffbehandlung her, als durchaus natürlich aufdrängte. So hat denn P. Läuchli den ersten, E. Engeier den zweiten Teil selbständig betreut. Wir haben uns zwar punkto Notation weitgehend abgesprochen, nehmen jedoch eine gewisse Verschiedenheit im Stil bewusst in Kauf. Für die Lektüre des Buches wird vorausgesetzt, dass der Leser über das mathematische Rüstzeug verfügt, welches etwa in einem elementaren Kurs "Diskrete Mathematik" in den unteren Semestern eines Hochschulstudiums, Richtung Informatik oder Elektrotechnik, angeboten wird. Dazu gehören jedenfalls Grundbegriffe bezüglich Mengen, Funktionen, Relationen etc. Der erste Teil, im allgemeinen elementarer formuliert, entspricht ungefahr der oben erwähnten ersten Vorlesung ("Berechnungstheorie" , 4. Semester), in welcher vor allem der Berechenbarkeitsbegriff herausgearbeitet und eine erste Bekanntschaft mit der Erzeugung, bzw. Erkennung von formalen Sprachen anhand der ausführlich diskutierten regulären Sprachen vermittelt wird. Die anschliessend eingefuhrte Fixpunkttheorie soll dem Studenten ein theoretisches Werkzeug in die Hand geben, welches ihm erlaubt, verschiedene Gegenstände von einem einheitlichen Standpunkt aus zu betrachten | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Läuchli, Peter |d 1928- |e Sonstige |0 (DE-588)1089100523 |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-93085-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027866055 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153113012076544 |
|---|---|
| any_adam_object | |
| author | Engeler, Erwin 1930- |
| author_GND | (DE-588)1089102372 (DE-588)1089100523 |
| author_facet | Engeler, Erwin 1930- |
| author_role | aut |
| author_sort | Engeler, Erwin 1930- |
| author_variant | e e ee |
| building | Verbundindex |
| bvnumber | BV042430724 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863884990 (DE-599)BVBBV042430724 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-93085-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03962nmm a2200565zc 4500</leader><controlfield tag="001">BV042430724</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170830 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1988 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322930859</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-93085-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519022589</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02258-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-93085-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863884990</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042430724</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Engeler, Erwin</subfield><subfield code="d">1930-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1089102372</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Berechnungstheorie für Informatiker</subfield><subfield code="c">von Erwin Engeler, Peter Läuchli</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (121 S.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Leitfäden und Monographien der Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Der Inhalt dieses Buches entspricht weitgehend dem Stoff, den die beiden Autoren seit mehreren Jahren in einem zweisemestrigen Kurs für Informatiker an der ETH Zürich vermitteln. Vieles davon ist bereits früher in der Form von provisorischen Notizen von E. Engeler als "Kleines Repetitorium der Berechnungstheorie" an die Studenten abgegeben worden. Bei der Niederschrift des nun vorliegenden Textes hat sich immer deutlicher gezeigt, dass sich eine weitgehend unabhängige Redaktion der beiden, jetzt auch im Inhaltsverzeichnis abgegrenzten Teile, sowohl arbeitstechnisch als auch von der Stoffbehandlung her, als durchaus natürlich aufdrängte. So hat denn P. Läuchli den ersten, E. Engeier den zweiten Teil selbständig betreut. Wir haben uns zwar punkto Notation weitgehend abgesprochen, nehmen jedoch eine gewisse Verschiedenheit im Stil bewusst in Kauf. Für die Lektüre des Buches wird vorausgesetzt, dass der Leser über das mathematische Rüstzeug verfügt, welches etwa in einem elementaren Kurs "Diskrete Mathematik" in den unteren Semestern eines Hochschulstudiums, Richtung Informatik oder Elektrotechnik, angeboten wird. Dazu gehören jedenfalls Grundbegriffe bezüglich Mengen, Funktionen, Relationen etc. Der erste Teil, im allgemeinen elementarer formuliert, entspricht ungefahr der oben erwähnten ersten Vorlesung ("Berechnungstheorie" , 4. Semester), in welcher vor allem der Berechenbarkeitsbegriff herausgearbeitet und eine erste Bekanntschaft mit der Erzeugung, bzw. Erkennung von formalen Sprachen anhand der ausführlich diskutierten regulären Sprachen vermittelt wird. Die anschliessend eingefuhrte Fixpunkttheorie soll dem Studenten ein theoretisches Werkzeug in die Hand geben, welches ihm erlaubt, verschiedene Gegenstände von einem einheitlichen Standpunkt aus zu betrachten</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Läuchli, Peter</subfield><subfield code="d">1928-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1089100523</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-93085-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027866055</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042430724 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:26Z |
| institution | BVB |
| isbn | 9783322930859 9783519022589 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027866055 |
| oclc_num | 863884990 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| physical | 1 Online-Ressource (121 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Leitfäden und Monographien der Informatik |
| spelling | Engeler, Erwin 1930- Verfasser (DE-588)1089102372 aut Berechnungstheorie für Informatiker von Erwin Engeler, Peter Läuchli Wiesbaden Vieweg+Teubner Verlag 1988 1 Online-Ressource (121 S.) txt rdacontent c rdamedia cr rdacarrier Leitfäden und Monographien der Informatik Der Inhalt dieses Buches entspricht weitgehend dem Stoff, den die beiden Autoren seit mehreren Jahren in einem zweisemestrigen Kurs für Informatiker an der ETH Zürich vermitteln. Vieles davon ist bereits früher in der Form von provisorischen Notizen von E. Engeler als "Kleines Repetitorium der Berechnungstheorie" an die Studenten abgegeben worden. Bei der Niederschrift des nun vorliegenden Textes hat sich immer deutlicher gezeigt, dass sich eine weitgehend unabhängige Redaktion der beiden, jetzt auch im Inhaltsverzeichnis abgegrenzten Teile, sowohl arbeitstechnisch als auch von der Stoffbehandlung her, als durchaus natürlich aufdrängte. So hat denn P. Läuchli den ersten, E. Engeier den zweiten Teil selbständig betreut. Wir haben uns zwar punkto Notation weitgehend abgesprochen, nehmen jedoch eine gewisse Verschiedenheit im Stil bewusst in Kauf. Für die Lektüre des Buches wird vorausgesetzt, dass der Leser über das mathematische Rüstzeug verfügt, welches etwa in einem elementaren Kurs "Diskrete Mathematik" in den unteren Semestern eines Hochschulstudiums, Richtung Informatik oder Elektrotechnik, angeboten wird. Dazu gehören jedenfalls Grundbegriffe bezüglich Mengen, Funktionen, Relationen etc. Der erste Teil, im allgemeinen elementarer formuliert, entspricht ungefahr der oben erwähnten ersten Vorlesung ("Berechnungstheorie" , 4. Semester), in welcher vor allem der Berechenbarkeitsbegriff herausgearbeitet und eine erste Bekanntschaft mit der Erzeugung, bzw. Erkennung von formalen Sprachen anhand der ausführlich diskutierten regulären Sprachen vermittelt wird. Die anschliessend eingefuhrte Fixpunkttheorie soll dem Studenten ein theoretisches Werkzeug in die Hand geben, welches ihm erlaubt, verschiedene Gegenstände von einem einheitlichen Standpunkt aus zu betrachten Engineering Engineering, general Ingenieurwissenschaften Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 s 1\p DE-604 Berechnungstheorie (DE-588)4005581-4 s 2\p DE-604 Theoretische Informatik (DE-588)4196735-5 s 3\p DE-604 Läuchli, Peter 1928- Sonstige (DE-588)1089100523 oth https://doi.org/10.1007/978-3-322-93085-9 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Engeler, Erwin 1930- Berechnungstheorie für Informatiker Engineering Engineering, general Ingenieurwissenschaften Berechenbarkeit (DE-588)4138368-0 gnd Theoretische Informatik (DE-588)4196735-5 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| subject_GND | (DE-588)4138368-0 (DE-588)4196735-5 (DE-588)4005581-4 |
| title | Berechnungstheorie für Informatiker |
| title_auth | Berechnungstheorie für Informatiker |
| title_exact_search | Berechnungstheorie für Informatiker |
| title_full | Berechnungstheorie für Informatiker von Erwin Engeler, Peter Läuchli |
| title_fullStr | Berechnungstheorie für Informatiker von Erwin Engeler, Peter Läuchli |
| title_full_unstemmed | Berechnungstheorie für Informatiker von Erwin Engeler, Peter Läuchli |
| title_short | Berechnungstheorie für Informatiker |
| title_sort | berechnungstheorie fur informatiker |
| topic | Engineering Engineering, general Ingenieurwissenschaften Berechenbarkeit (DE-588)4138368-0 gnd Theoretische Informatik (DE-588)4196735-5 gnd Berechnungstheorie (DE-588)4005581-4 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Berechenbarkeit Theoretische Informatik Berechnungstheorie |
| url | https://doi.org/10.1007/978-3-322-93085-9 |
| work_keys_str_mv | AT engelererwin berechnungstheoriefurinformatiker AT lauchlipeter berechnungstheoriefurinformatiker |