Holdings: Theoretische Informatik

Theoretische Informatik: eine umfassende Einführung

Saved in:

Bibliographic Details
Main Authors:	Erk, Katrin (Author), Priese, Lutz 1947- (Author)
Format:	Book
Language:	German
Published:	Berlin [u.a.] Springer 2000
Series:	Springer-Lehrbuch
Subjects:	Theoretische Informatik Lehrbuch
Online Access:	Inhaltsverzeichnis
Physical Description:	X, 433 S. graph. Darst.
ISBN:	3540661921 9783540661924

Staff View

MARC


LEADER	00000nam a22000008c 4500
001	BV013048534
003	DE-604
005	20181121
007	t
008	000316s2000 gw d\|\|\| \|\|\|\| 00\|\|\| ger d
016	7		\|a 958421374 \|2 DE-101
020			\|a 3540661921 \|c brosch. : DM 59.00, sfr 54.00, S 431.00, ffr 223.00, L 20.50, lire 651500,00, $ 31.90 \|9 3-540-66192-1
020			\|a 9783540661924 \|9 978-3-540-66192-4
035			\|a (OCoLC)76131260
035			\|a (DE-599)BVBBV013048534
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-70 \|a DE-473 \|a DE-739 \|a DE-20 \|a DE-1046 \|a DE-703 \|a DE-29T \|a DE-863 \|a DE-91G \|a DE-522 \|a DE-634 \|a DE-188
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a DAT 500f \|2 stub
100	1		\|a Erk, Katrin \|e Verfasser \|0 (DE-588)136003753 \|4 aut
245	1	0	\|a Theoretische Informatik \|b eine umfassende Einführung \|c Katrin Erk ; Lutz Priese
264		1	\|a Berlin [u.a.] \|b Springer \|c 2000
300			\|a X, 433 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Springer-Lehrbuch
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
655		7	\|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		\|5 DE-604
700	1		\|a Priese, Lutz \|d 1947- \|e Verfasser \|0 (DE-588)13599697X \|4 aut
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008890634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-008890634

Record in the Search Index

DE-BY-863_location	1911
DE-BY-FWS_call_number	1911/2015:0238
DE-BY-FWS_katkey	176610
DE-BY-FWS_media_number	083100687431
_version_	1824553791983190016
adam_text	INHALTSV ERZEIC HNIS 1. EINLEITUNG :: :::: :::::: :::: :::::: :::: :::::: :::: :::::: :::::: 1 2. BEGRIE UND NOTATIONEN :: :::::: :::: :::::: :::: :::::: :::::: 3 2.1 LOGISC HE F ORMELN UND KONNEKTOREN . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 GRUNDK O N Z E P T E A U S D E R M E N G E N L E H R E .... .... ...... .... .... 6 2.2.1 R E L A T I O N E N .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 9 2.2.2 F U N K T I O N E N . .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 11 2.2.3 ISOMORPHIE, ABZ AHLBARK E I T . .... ...... .... ...... .... 13 2.3 GRUNDB EGRIE AUS DER ALGEBRA .. .. .. .. .. .. .. .. .. .. .. .. . .. 17 2.4 GRUNDB EGRIE AUS DER GRAPHEN THEORIE . . . . . . . . . . . . . . . . . . . . . 22 2.5 GRUNDB EGRIE AUS DER INFORMATIK . . . . . . . . . . . . . . . . . . . . . . . . . 27 2.6 PROBLEME UND ALGORITHMEN .... .... ...... .... ...... ...... 32 2.7 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 33 3. EINE KURZE EINF UHRUNG IN DIE AUSSAGENLOGIK :: :::::: :::::: 35 3.1 SYN TAX DER AUSSAGENLOGIK .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 35 3.2 SEMAN TIK DER AUSSAGENLOGIK .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 37 3.3 W AHRHEITSTAFELN .... .... ...... .... ...... .... ...... ...... 40 3.4 SA T UND T A U T .. ...... .... ...... .... ...... .... ........ 41 3.5 AQUIV ALENZ V ON F O R M E L N . .... .... ...... .... ...... .... .... 42 3.6 KONJUNKTIV E UND DISJUNKTIV E N O R M A L F O R M . . ...... .... ...... 45 3.7 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 48 T EIL I. F ORMALE SPRAC HEN 4. GRAMMATIK EN UND FORMALE SPRAC HEN : : :::: :::: :::::: :::::: 53 4.1 GRAMMATIK E N .... .... ...... .... ...... .... ...... .... .... 53 4.2 DIE SPRAC HKLASSEN DER CHOMSKY-HIERARC HIE .... ...... ...... 56 4.3 AUTOMATEN .. ...... .... ...... .... ...... .... ...... ...... 60 4.4 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 61 VI I I INHALTSV ERZEIC HNIS 5. REGUL ARE SPRAC HEN UND ENDLIC HE AUTOMATEN :: :::::: :::::: 63 5.1 V ERSC HIEDENE AUTOMATEN T YP EN .. .. .. .. .. .. .. .. .. .. .. .. . .. 63 5.1.1 ENDLIC H E A U T O M A T E N ...... .... ...... .... ...... .... 63 5.1.2 INDETERMINIERTE ENDLIC HE AUTOMATEN .... ...... ...... 67 5.1.3 AUTOMATEN MIT -KAN T E N ... .. .. .. .. .. .. .. .. .. .. . .. 75 5.1.4 ENDLIC HE AUTOMATEN MIT AUSGAB E: GSM .. .. .. .. .. . .. 77 5.2 RATIONALE SPRAC HEN UND L 3 .... .... ...... .... ...... ...... 81 5.3 ABSC HLUEIGENSC HAFTEN V ON L 3 .. .... ...... .... ...... ...... 82 5.4 EINE W EITERE CHARAKTERISIERUNG V ON L 3 : UB ER REGUL ARE AUSDR UC K E 83 5.5 EINE W EITERE CHARAKTERISIERUNG V ON L 3 : UB ER DIE KONGRUENZ L . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 87 5.6 MINIMALE AUTOMATEN .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 92 5.7 DAS PUMPING-LEMMA F UR L 3 .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 102 5.8 EN TSC HEIDBARE PROBLEME F UR L 3 .. .. .. .. .. .. .. .. .. .. .. .. . .. 105 5.9 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 106 6. KON TEXTFREIE SPRAC HEN :::: :::::: :::: :::::: :::: :::::: :::::: 109 6.1 DARSTELLUNG V ON K ON TEXTFREIEN ABLEITUNGEN IN BAUMFORM . . . . . 109 6.2 UMFORM UNG V ON GRAMMATIK EN .. .. .. .. .. .. .. .. .. .. .. .. . .. 113 6.3 CHOMSKY- UND GREIBAC H-NORMALFORM .. .. .. .. .. .. .. .. .. . .. 121 6.4 DAS PUMPING-LEMMA F UR L 2 .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 128 6.5 ABSC HLUEIGENSC HAFTEN V ON L 2 .. .... ...... .... ...... ...... 132 6.6 PUSH-DO WN-AUTOMATEN (PD A ) .. .. .. .. .. .. .. .. .. .. .. .. . .. 133 6.7 DETERMINIERT K ON TEXTFREIE SPRAC HEN (DCFL) .. .. .. .. .. .. . .. 144 6.8 PROBLEME UND ALGORITHMEN ZU CF-SPRAC H E N . .... ...... ...... 154 6.8.1 DAS W ORTPROBLEM ...... .... ...... .... ...... ...... 154 6.8.2 A N D E R E P R O B L E M E . . .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 159 6.9 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 163 7. T URING-MASC HINEN :::: :::: :::::: :::: :::::: :::: :::::: :::::: 165 7.1 DETERMINIERTE T URING-MASC HINEN .. .. .. .. .. .. .. .. .. .. .. . .. 166 7.2 TM-FLUDIAGRAMME .... ...... .... ...... .... ...... ...... 169 7.3 EN TSC HEIDBARK EIT, AKZEPTIERBARK EIT, AUFZ AHLBARK EIT .. .. .. . .. 172 7.4 V ARIATIONEN V ON T URING-MASC HINEN . . . . . . . . . . . . . . . . . . . . . . . . 174 7.5 UNIV ERSELLE T URING-MASC HINEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183 7.5.1 G ODELISIERUNG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184 7.5.2 EINE K ONKRETE UNIV ERSELLE T URING-MASC HINE . . . . . . . . . . . 186 7.6 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 192 8. DIE SPRAC HKLASSEN L , L 0 UND L 1 :::: :::::: :::: :::::: :::::: 195 8.1 L 1 UND B ESC HR ANKTE GRAMMATIK E N ...... .... ...... .... .... 195 8.2 LINEAR B ESC HR ANKTE AUTOMATEN UND T URING-MASC HINEN ...... 196 8.3 EN TSC HEIDBARE SPRAC HEN .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 202 8.4 L 0 UND L . . .. ...... .... ...... .... ...... .... ...... ...... 207 8.5 T YP-1-SPRAC HEN SIND ABGESC HLOSSEN GEGEN KOMPLEMEN T. . . . . . 208 INHALTSV ERZEIC HNIS IX 8.6 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 214 9. ABSC HLUEIGENSC HAFTEN V ON SPRAC HKLASSEN : : :: :: :: :: :: :: : :: 215 9.1 UB ERBLIC K . .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 215 9.2 BEW EISE DER ABSC HLUEIGENSC HAFTEN .. .. .. .. .. .. .. .. .. .. . .. 216 9.3 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 223 T EIL I I. BEREC HEN BARK EIT 10. EINLEITUNG :: :::: :::::: :::: :::::: :::: :::::: :::: :::::: :::::: 227 10.1 IMMER M AC H TIGERE AUTOMATEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227 10.2 DIE CH URC HSC H E T H E S E . .. ...... .... ...... .... ...... ...... 228 10.3 W AS ES AUER T URING-MASC HINEN NO C HG I B T .. .. .. .. .. .. .. . .. 228 10.4 UNEN TSC HEIDBARE PROBLEME . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229 10.5 KOMPLEXIT ATSTHEORIE .... ...... .... ...... .... ...... ...... 230 10.6 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 231 11. REGISTERMASC HINEN : ::: :::: :::::: :::: :::::: :::: :::::: :::::: 233 11.1 REGISTERMASC HINEN UND LOOP-PROGRAMME . . . . . . . . . . . . . . . . . 234 11.2 WHILE-PROGRAMME .... ...... .... ...... .... ...... ...... 238 11.3 GOTO-PROGRAMME . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 241 11.4 GOTO-PROGRAMME UND T URING-MASC H I N E N . .. .... ...... .... 244 11.5 LOOP-PROGRAMME UND T URING-MASC HINEN . . . . . . . . . . . . . . . . . 247 11.6 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 251 12. REKURSIV E F UNKTIONEN :::: :::::: :::: :::::: :::: :::::: :::::: 253 12.1 PRIMITIV REKURSIV EF UNKTIONEN . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254 12.2 ARITHMETISC HE F UNKTIONEN, PRIMITIV REKURSIV AUSGEDR UC KT .... 255 12.3 } UND LOOP ...... .... ...... .... ...... .... ...... ...... 262 12.4 -REKURSIV EF U N K T I O N E N........ .... ...... .... ...... ...... 271 12.5 -REKURSIV EF UNKTIONEN GLEIC HM AC H TIG WIE T URING-MASC HINEN . 274 12.6 UB ERSIC H T UB ER DIE V ERSC HIEDENEN BEREC HEN BARK EITSB EGRIE ... 286 12.7 EINE W EITERE UNIV ERSELLE T URING-MASC HINE, DIE AUS KLEENES T H E O R E M B A S I E R T ... .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 287 12.8 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 288 13. UNEN TSC HEIDBARE PROBLEME :: :: :: :: :: :: :: :: :: :: :: :: :: :: : :: 291 13.1 EN TSC HEIDBARK EIT, AKZEPTIERBARK EIT, AUFZ AHLBARK EIT .. .. .. . .. 292 13.2 EINE LISTE UNEN TSC HEIDBARER TM-PROBLEME . . . . . . . . . . . . . . . . . 294 13.3 DAS SP EZIELLE HALTEPROBLEM .... .... ...... .... ...... ...... 297 13.4 UNEN TSC HEIDBARK EITS-BEW EISE VIA REDUKTION . . . . . . . . . . . . . . . . 298 13.5 DER SATZ V ON RICE .. .... ...... .... ...... .... ...... ...... 303 13.6 UNEN TSC HEIDBARK EIT UND FORMALE SPRAC HEN .. .. .. .. .. .. .. . .. 306 13.6.1 SEMI-TH UE-SYSTEME UND P OSTSC HE NORMALSYSTEME .... 307 X INHALTSV ERZEIC HNIS 13.6.2 DAS PCP UND UNEN TSC HEIDBARE PROBLEME F UR L 2 ...... 315 13.6.3 EN TSC HEIDBARE UND UNEN TSC HEIDBARE PROBLEME F UR L 2 .. 320 13.6.4 EINE W EITERE AN W ENDUNG DER UNEN TSC HEIDBARK EIT V ON K 0 .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 321 13.7 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 323 14. ALTERNATIV E BEREC HN UNGSMO DELLE : : :: :::::: :::: :::::: :::::: 325 14.1 EIN-REGISTER-MASC HINEN .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 325 14.2 ZW EI-REGISTER-MASC HINEN ...... .... ...... .... ...... ...... 330 14.3 V ARIATIONEN UB ER ZW EI-REGISTER-MASC H I N E N . .. .... ...... .... 334 14.3.1 T URING-MASC HINEN MIT EINGESC HR ANKTEM ALPHAB ET . . . . . 334 14.3.2 EIN SYSTEM MIT ZW EI STAP ELN V ON LEEREN BL ATTERN . . . . . 335 14.3.3 PUSH-DO WN-AUTOMATEN MIT QUEUE O DER ZW EI STAP ELN . 335 14.3.4 EIN STEIN IM N 2 .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 336 14.4 W ANG-MASC HINEN .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 336 14.5 T A G - S Y S T E M E .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 340 14.6 R ODDING-NETZE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 349 14.7 EINE UNIV ERSELLE ZW EIDIMENSIONALE T URING-MASC HINE .. .. .. . .. 376 14.8 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 385 15. KOMPLEXIT AT :::: :::::: :::: :::::: :::: :::::: :::: :::::: :::::: 387 15.1 ABSC H ATZUNG MIT DEM O-KALK U L .. .... ...... .... ...... .... 387 15.2 AUFW ANDB EREC HN UNG UND T URING-MASC H I N E N . .. .. .. .. .. .. . .. 390 15.3 ABSC H ATZUNG F UR DETERMINIERTE UND INDETERMINIERTE MASC HINEN 394 15.4 NP-V OLLST ANDIGE PROBLEME .. .. .. .. .. .. .. .. .. .. .. .. .. .. . .. 398 15.5 ZUSAMMENFASSUNG .. .... ...... .... ...... .... ...... ...... 420 BIBLIOGRAPHISC HE HIN W EISE :::: :::::: :::: :::::: :::: :::::: :::::: 421 LITERATURV ERZEIC HNIS :::::: :::: :::::: :::: :::::: :::: :::::: :::::: 423 SAC H V ERZEIC HNIS :: :: :: :: :: :: :: :: :: :: :: :: :: :: :: :: :: :: :: :: :: :: : :: 429
any_adam_object	1
author	Erk, Katrin Priese, Lutz 1947-
author_GND	(DE-588)136003753 (DE-588)13599697X
author_facet	Erk, Katrin Priese, Lutz 1947-
author_role	aut aut
author_sort	Erk, Katrin
author_variant	k e ke l p lp
building	Verbundindex
bvnumber	BV013048534
classification_rvk	ST 120 ST 130
classification_tum	DAT 500f
ctrlnum	(OCoLC)76131260 (DE-599)BVBBV013048534
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01713nam a22004098c 4500</leader><controlfield tag="001">BV013048534</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181121 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000316s2000 gw d\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">958421374</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540661921</subfield><subfield code="c">brosch. : DM 59.00, sfr 54.00, S 431.00, ffr 223.00, L 20.50, lire 651500,00, $ 31.90</subfield><subfield code="9">3-540-66192-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540661924</subfield><subfield code="9">978-3-540-66192-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76131260</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013048534</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-70</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Erk, Katrin</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136003753</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="b">eine umfassende Einführung</subfield><subfield code="c">Katrin Erk ; Lutz Priese</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 433 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Springer-Lehrbuch</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="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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Priese, Lutz</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)13599697X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008890634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008890634</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV013048534
illustrated	Illustrated
indexdate	2025-02-20T06:41:30Z
institution	BVB
isbn	3540661921 9783540661924
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-008890634
oclc_num	76131260
open_access_boolean
owner	DE-70 DE-473 DE-BY-UBG DE-739 DE-20 DE-1046 DE-703 DE-29T DE-863 DE-BY-FWS DE-91G DE-BY-TUM DE-522 DE-634 DE-188
owner_facet	DE-70 DE-473 DE-BY-UBG DE-739 DE-20 DE-1046 DE-703 DE-29T DE-863 DE-BY-FWS DE-91G DE-BY-TUM DE-522 DE-634 DE-188
physical	X, 433 S. graph. Darst.
publishDate	2000
publishDateSearch	2000
publishDateSort	2000
publisher	Springer
record_format	marc
series2	Springer-Lehrbuch
spellingShingle	Erk, Katrin Priese, Lutz 1947- Theoretische Informatik eine umfassende Einführung Theoretische Informatik (DE-588)4196735-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4123623-3
title	Theoretische Informatik eine umfassende Einführung
title_auth	Theoretische Informatik eine umfassende Einführung
title_exact_search	Theoretische Informatik eine umfassende Einführung
title_full	Theoretische Informatik eine umfassende Einführung Katrin Erk ; Lutz Priese
title_fullStr	Theoretische Informatik eine umfassende Einführung Katrin Erk ; Lutz Priese
title_full_unstemmed	Theoretische Informatik eine umfassende Einführung Katrin Erk ; Lutz Priese
title_short	Theoretische Informatik
title_sort	theoretische informatik eine umfassende einfuhrung
title_sub	eine umfassende Einführung
topic	Theoretische Informatik (DE-588)4196735-5 gnd
topic_facet	Theoretische Informatik Lehrbuch
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008890634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT erkkatrin theoretischeinformatikeineumfassendeeinfuhrung AT prieselutz theoretischeinformatikeineumfassendeeinfuhrung

Holdings

Indexes

THWS Würzburg Magazin

Holdings details from THWS Würzburg Magazin
Call Number:	1911 2015:0238
Copy 1	bestellbar aus dem Magazin Available Place a Hold

MARC

Record in the Search Index

THWS Würzburg Magazin

Similar Items