Theoretische Informatik: Eine problemorientierte Einführung
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | German |
Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1996
|
Schriftenreihe: | Springer-Lehrbuch
|
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | Das vorliegende Lehrbuch basiert auf einer vierstündigen Vorlesung mit dem Titel "Grundlagen der Theoretischen Informatik". Die Autoren führen an exemplarischen Problemstellungen der Theoretischen Informatik deren Lösungen mit Rechnern von der Analyse des Problems bis zu seiner Implementation in einer prozeduralen Programmiersprache mit syntaktischer und semantischer Analyse vor, auch unter dem Aspekt der Verbindung von theoretischer Strenge und Praxisrelevanz. Mit Aufgaben und Lösungshinweisen bzw. Lösungen |
Beschreibung: | 1 Online-Ressource (VIII, 193S.) |
ISBN: | 9783642801303 9783540608608 |
ISSN: | 0937-7433 |
DOI: | 10.1007/978-3-642-80130-3 |
Internformat
MARC
LEADER | 00000nmm a2200000zc 4500 | ||
---|---|---|---|
001 | BV042433328 | ||
003 | DE-604 | ||
005 | 20190425 | ||
007 | cr|uuu---uuuuu | ||
008 | 150320s1996 |||| o||u| ||||||ger d | ||
020 | |a 9783642801303 |c Online |9 978-3-642-80130-3 | ||
020 | |a 9783540608608 |c Print |9 978-3-540-60860-8 | ||
024 | 7 | |a 10.1007/978-3-642-80130-3 |2 doi | |
035 | |a (OCoLC)863807346 | ||
035 | |a (DE-599)BVBBV042433328 | ||
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-860 |a DE-1046 |a DE-Aug4 | ||
082 | 0 | |a 005.1015113 |2 23 | |
084 | |a TEC 000 |2 stub | ||
084 | |a DAT 000 |2 stub | ||
100 | 1 | |a Sperschneider, Volker |e Verfasser |4 aut | |
245 | 1 | 0 | |a Theoretische Informatik |b Eine problemorientierte Einführung |c von Volker Sperschneider, Barbara Hammer |
264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1996 | |
300 | |a 1 Online-Ressource (VIII, 193S.) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Springer-Lehrbuch |x 0937-7433 | |
500 | |a Das vorliegende Lehrbuch basiert auf einer vierstündigen Vorlesung mit dem Titel "Grundlagen der Theoretischen Informatik". Die Autoren führen an exemplarischen Problemstellungen der Theoretischen Informatik deren Lösungen mit Rechnern von der Analyse des Problems bis zu seiner Implementation in einer prozeduralen Programmiersprache mit syntaktischer und semantischer Analyse vor, auch unter dem Aspekt der Verbindung von theoretischer Strenge und Praxisrelevanz. Mit Aufgaben und Lösungshinweisen bzw. Lösungen | ||
650 | 4 | |a Computer science | |
650 | 4 | |a Logic design | |
650 | 4 | |a Computer Science | |
650 | 4 | |a Logics and Meanings of Programs | |
650 | 4 | |a Informatik | |
650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
655 | 7 | |8 1\p |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
689 | 0 | |8 2\p |5 DE-604 | |
700 | 1 | |a Hammer, Barbara |d 1970- |e Sonstige |0 (DE-588)13377435X |4 oth | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-80130-3 |x Verlag |3 Volltext |
912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
940 | 1 | |q ZDB-2-STI_Archive | |
940 | 1 | |q ZDB-2-STI_1990/1999 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-027868658 | ||
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 |
Datensatz im Suchindex
_version_ | 1804153118589452289 |
---|---|
any_adam_object | |
author | Sperschneider, Volker |
author_GND | (DE-588)13377435X |
author_facet | Sperschneider, Volker |
author_role | aut |
author_sort | Sperschneider, Volker |
author_variant | v s vs |
building | Verbundindex |
bvnumber | BV042433328 |
classification_tum | TEC 000 DAT 000 |
collection | ZDB-2-STI ZDB-2-BAD |
ctrlnum | (OCoLC)863807346 (DE-599)BVBBV042433328 |
dewey-full | 005.1015113 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.1015113 |
dewey-search | 005.1015113 |
dewey-sort | 15.1015113 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Technik Technik Informatik |
doi_str_mv | 10.1007/978-3-642-80130-3 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02474nmm a2200529zc 4500</leader><controlfield tag="001">BV042433328</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190425 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1996 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642801303</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-80130-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540608608</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-60860-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-80130-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863807346</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042433328</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-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sperschneider, Volker</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="b">Eine problemorientierte Einführung</subfield><subfield code="c">von Volker Sperschneider, Barbara Hammer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 193S.)</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">Springer-Lehrbuch</subfield><subfield code="x">0937-7433</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Das vorliegende Lehrbuch basiert auf einer vierstündigen Vorlesung mit dem Titel "Grundlagen der Theoretischen Informatik". Die Autoren führen an exemplarischen Problemstellungen der Theoretischen Informatik deren Lösungen mit Rechnern von der Analyse des Problems bis zu seiner Implementation in einer prozeduralen Programmiersprache mit syntaktischer und semantischer Analyse vor, auch unter dem Aspekt der Verbindung von theoretischer Strenge und Praxisrelevanz. Mit Aufgaben und Lösungshinweisen bzw. Lösungen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hammer, Barbara</subfield><subfield code="d">1970-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)13377435X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-80130-3</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="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027868658</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></record></collection> |
genre | 1\p (DE-588)4123623-3 Lehrbuch gnd-content |
genre_facet | Lehrbuch |
id | DE-604.BV042433328 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T01:21:31Z |
institution | BVB |
isbn | 9783642801303 9783540608608 |
issn | 0937-7433 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868658 |
oclc_num | 863807346 |
open_access_boolean | |
owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
physical | 1 Online-Ressource (VIII, 193S.) |
psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
publishDate | 1996 |
publishDateSearch | 1996 |
publishDateSort | 1996 |
publisher | Springer Berlin Heidelberg |
record_format | marc |
series2 | Springer-Lehrbuch |
spelling | Sperschneider, Volker Verfasser aut Theoretische Informatik Eine problemorientierte Einführung von Volker Sperschneider, Barbara Hammer Berlin, Heidelberg Springer Berlin Heidelberg 1996 1 Online-Ressource (VIII, 193S.) txt rdacontent c rdamedia cr rdacarrier Springer-Lehrbuch 0937-7433 Das vorliegende Lehrbuch basiert auf einer vierstündigen Vorlesung mit dem Titel "Grundlagen der Theoretischen Informatik". Die Autoren führen an exemplarischen Problemstellungen der Theoretischen Informatik deren Lösungen mit Rechnern von der Analyse des Problems bis zu seiner Implementation in einer prozeduralen Programmiersprache mit syntaktischer und semantischer Analyse vor, auch unter dem Aspekt der Verbindung von theoretischer Strenge und Praxisrelevanz. Mit Aufgaben und Lösungshinweisen bzw. Lösungen Computer science Logic design Computer Science Logics and Meanings of Programs Informatik Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf 1\p (DE-588)4123623-3 Lehrbuch gnd-content Theoretische Informatik (DE-588)4196735-5 s 2\p DE-604 Hammer, Barbara 1970- Sonstige (DE-588)13377435X oth https://doi.org/10.1007/978-3-642-80130-3 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 |
spellingShingle | Sperschneider, Volker Theoretische Informatik Eine problemorientierte Einführung Computer science Logic design Computer Science Logics and Meanings of Programs Informatik Theoretische Informatik (DE-588)4196735-5 gnd |
subject_GND | (DE-588)4196735-5 (DE-588)4123623-3 |
title | Theoretische Informatik Eine problemorientierte Einführung |
title_auth | Theoretische Informatik Eine problemorientierte Einführung |
title_exact_search | Theoretische Informatik Eine problemorientierte Einführung |
title_full | Theoretische Informatik Eine problemorientierte Einführung von Volker Sperschneider, Barbara Hammer |
title_fullStr | Theoretische Informatik Eine problemorientierte Einführung von Volker Sperschneider, Barbara Hammer |
title_full_unstemmed | Theoretische Informatik Eine problemorientierte Einführung von Volker Sperschneider, Barbara Hammer |
title_short | Theoretische Informatik |
title_sort | theoretische informatik eine problemorientierte einfuhrung |
title_sub | Eine problemorientierte Einführung |
topic | Computer science Logic design Computer Science Logics and Meanings of Programs Informatik Theoretische Informatik (DE-588)4196735-5 gnd |
topic_facet | Computer science Logic design Computer Science Logics and Meanings of Programs Informatik Theoretische Informatik Lehrbuch |
url | https://doi.org/10.1007/978-3-642-80130-3 |
work_keys_str_mv | AT sperschneidervolker theoretischeinformatikeineproblemorientierteeinfuhrung AT hammerbarbara theoretischeinformatikeineproblemorientierteeinfuhrung |