Holdings: Modellierung :: THWS Bibkatalog

Modellierung: Grundlagen und formale Methoden

Saved in:

Bibliographic Details
Main Authors:	Kastens, Uwe 1946- (Author), Kleine Büning, Hans 1948- (Author)
Format:	Book
Language:	German
Published:	München Hanser 2014
Edition:	3., überarb. Aufl.
Subjects:	Modellierung Lehrbuch
Online Access:	Inhaltstext Inhaltsverzeichnis
Physical Description:	293 S. Ill., graph. Darst. 25 cm
ISBN:	3446442464 9783446442467

Staff View

MARC


LEADER	00000nam a22000008c 4500
001	BV042064119
003	DE-604
005	20150505
007	t
008	140908s2014 gw ad\|\| \|\|\|\| 00\|\|\| ger d
015			\|a 14,N36 \|2 dnb
016	7		\|a 1056934425 \|2 DE-101
020			\|a 3446442464 \|9 3-446-44246-4
020			\|a 9783446442467 \|c Gb. : EUR 39.99 (DE), EUR 41.20 (AT), sfr 53.90 (freier Pr.) \|9 978-3-446-44246-7
024	3		\|a 9783446442467
028	5	2	\|a Best.-Nr.: 553/44246
035			\|a (OCoLC)890020239
035			\|a (DE-599)DNB1056934425
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c XA-DE-BY
049			\|a DE-M347 \|a DE-1050 \|a DE-2070s \|a DE-91G \|a DE-19 \|a DE-12 \|a DE-92 \|a DE-210 \|a DE-29T \|a DE-1043 \|a DE-863 \|a DE-824 \|a DE-11 \|a DE-Aug4 \|a DE-859 \|a DE-739 \|a DE-573 \|a DE-83
082	0		\|a 005.131 \|2 22/ger
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a 004 \|2 sdnb
084			\|a MAT 001f \|2 stub
100	1		\|a Kastens, Uwe \|d 1946- \|e Verfasser \|0 (DE-588)108476464 \|4 aut
245	1	0	\|a Modellierung \|b Grundlagen und formale Methoden \|c Uwe Kastens ; Hans Kleine Büning
250			\|a 3., überarb. Aufl.
264		1	\|a München \|b Hanser \|c 2014
300			\|a 293 S. \|b Ill., graph. Darst. \|c 25 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650	0	7	\|a Modellierung \|0 (DE-588)4170297-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4123623-3 \|a Lehrbuch \|2 gnd-content
689	0	0	\|a Modellierung \|0 (DE-588)4170297-9 \|D s
689	0		\|5 DE-604
700	1		\|a Kleine Büning, Hans \|d 1948- \|e Verfasser \|0 (DE-588)121448339 \|4 aut
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-446-44249-8
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4762656&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
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=027504930&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027504930

Record in the Search Index

DE-BY-863_location	1340
DE-BY-FWS_call_number	1340/ST 230 K19(3)
DE-BY-FWS_katkey	533867
DE-BY-FWS_media_number	083101335461
_version_	1824555703940939777
adam_text	INHALT VORWORT 9 1 EINFUEHRUNG 15 1.1 EINFUEHRENDES BEISPIEL 15 1.2 MODELLBEGRIFF 18 UEBUNGEN 23 2 MODELLIERUNG MIT WERTEBEREICHEN 25 2.1 MENGEN 27 2.2 POTENZMENGEN 29 2.3 KARTESISCHE PRODUKTE 30 2.4 VEREINIGUNG 32 2.5 FOLGEN 33 2.6 RELATIONEN 34 2.7 FUNKTIONEN 38 2.8 BEISPIEL IM ZUSAMMENHANG 42 2.9 FALLSTUDIE: GETRAENKEAUTOMAT 44 2.9.1 PRODUKTE UND VORRAT 45 2.9.2 KASSIEREN 46 2.9.3 BEDIENUNG UND ZUSTAND 46 ZUSAMMENFASSUNG 49 UEBUNGEN 49 3 TERME UND ALGEBREN 57 3.1 TERME 58 3.1.1 SORTEN UND SIGNATUREN 58 3.1.2 NOTATIONEN FUER TERME 61 3.2 SUBSTITUTION UND UNIFIKATION 64 3.2.1 SUBSTITUTION 65 3.2.2 UNIFIKATION 68 3.3 ALGEBREN 70 3.3.1 ABSTRAKTE ALGEBRA 71 3.3.2 KONKRETE ALGEBRA 72 3.4 ALGEBRAISCHE SPEZIFIKATION VON DATENSTRUKTUREN 73 3.4.1 ALGEBRAISCHE SPEZIFIKATION FUER DEN GETRAENKEAUTOMATEN 80 UEBUNGEN 81 HTTP://D-NB.INFO/1056934425 6 INHALT 4 LOGIK 87 4.1 AUSSAGENLOGIK 88 4.1.1 SYNTAX DER AUSSAGENLOGIK 88 4.1.2 SEMANTIK DER AUSSAGENLOGIK 89 4.1.3 NORMALFORMEN 95 4.1.4 AUSSAGENLOGISCHE MODELLBILDUNG 99 4.2 PRAEDIKATENLOGIK 100 4.2.1 SYNTAX DER PRAEDIKATENLOGIK 100 4.2.2 SEMANTIK DER PRAEDIKATENLOGIK 104 4.2.3 NORMALFORMEN 109 4.2.4 MODELLBILDUNG MIT DER PRAEDIKATENLOGIK 113 4.3 ELEMENTARE BEWEISTECHNIKEN 116 4.3.1 FORMALER RAHMEN UND GRUNDLAGEN 117 4.3.2 ELEMENTARE BEWEISSTRUKTUREN 120 4.3.3 QUANTOREN 123 UEBUNGEN 130 5 MODELLIERUNG MIT GRAPHEN 135 5.1 GRUNDLEGENDE DEFINITIONEN 136 5.2 WEGEPROBLEME 143 5.3 VERBINDUNGSPROBLEME 152 5.4 MODELLIERUNG MIT BAEUMEN 156 5.5 ZUORDNUNGSPROBLEME 164 5.6 ABHAENGIGKEITEN 168 UEBUNGEN 176 6 MODELLIERUNG VON STRUKTUREN 181 6.1 KONTEXTFREIE GRAMMATIKEN 183 6.2 BAUMSTRUKTUREN IN XML 194 6.2.1 XML NOTATION 195 6.2.2 XML-TEXTE ALS BAEUME 197 6.2.3 STRUKTURDEFINITION FUER XML-BAEUME 200 6.3 ENTITY-RELATIONSHIP-MODELL 202 6.3.1 ENTITY-MENGEN 203 6.3.2 ATTRIBUTE 204 6.3.3 RELATIONEN 206 6.4 KLASSENDIAGRAMME IN UML 215 6.4.1 KLASSEN MIT ATTRIBUTEN 216 6.4.2 ASSOZIATIONEN 216 UEBUNGEN 221 7 MODELLIERUNG VON ABLAEUFEN 227 7.1 ENDLICHE AUTOMATEN 228 7.1.1 ZEICHENFOLGEN UEBER ALPHABETE 230 INHALT 7 7.1.2 DETERMINISTISCHE ENDLICHE AUTOMATEN 232 7.1.3 NICHT-DETERMINISTISCHE ENDLICHE AUTOMATEN 234 7.1.4 ENDLICHE AUTOMATEN MIT AUSGABE 238 7.1.5 ENDLICHE AUTOMATEN IN UML 241 7.2 PETRI-NETZE 244 UEBUNGEN 256 8 FALLSTUDIEN 263 8.1 FALLSTUDIE AUTOWERKSTATT 263 8.1.1 INFORMATIONSSTRUKTUR UND ZUSAMMENHAENGE 264 8.1.2 BEDINGUNGEN UND REGELN 267 8.1.3 ABLAEUFE DER AUFTRAGSBEARBEITUNG 268 8.2 FALLSTUDIE GESELLSCHAFTSSPIEL 270 8.2.1 STRUKTUREN UND ZUSAMMENHAENGE 270 8.2.2 BEDINGUNGEN UND REGELN 274 8.2.3 SPIELABLAEUFE 275 UEBUNGEN 277 BIBLIOGRAPHIE 281 REFERENZEN 284 REGISTER 287
any_adam_object	1
author	Kastens, Uwe 1946- Kleine Büning, Hans 1948-
author_GND	(DE-588)108476464 (DE-588)121448339
author_facet	Kastens, Uwe 1946- Kleine Büning, Hans 1948-
author_role	aut aut
author_sort	Kastens, Uwe 1946-
author_variant	u k uk b h k bh bhk
building	Verbundindex
bvnumber	BV042064119
classification_rvk	ST 120 ST 230
classification_tum	MAT 001f
ctrlnum	(OCoLC)890020239 (DE-599)DNB1056934425
dewey-full	005.131
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.131
dewey-search	005.131
dewey-sort	15.131
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
edition	3., überarb. Aufl.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008c 4500</leader><controlfield tag="001">BV042064119</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150505</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140908s2014 gw ad\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,N36</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1056934425</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3446442464</subfield><subfield code="9">3-446-44246-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783446442467</subfield><subfield code="c">Gb. : EUR 39.99 (DE), EUR 41.20 (AT), sfr 53.90 (freier Pr.)</subfield><subfield code="9">978-3-446-44246-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783446442467</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 553/44246</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)890020239</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1056934425</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">XA-DE-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-M347</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-2070s</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</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 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 001f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kastens, Uwe</subfield><subfield code="d">1946-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)108476464</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modellierung</subfield><subfield code="b">Grundlagen und formale Methoden</subfield><subfield code="c">Uwe Kastens ; Hans Kleine Büning</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3., überarb. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Hanser</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">293 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">25 cm</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="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</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">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</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">Kleine Büning, Hans</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121448339</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-446-44249-8</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4762656&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=027504930&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027504930</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV042064119
illustrated	Illustrated
indexdate	2025-02-20T07:11:53Z
institution	BVB
isbn	3446442464 9783446442467
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027504930
oclc_num	890020239
open_access_boolean
owner	DE-M347 DE-1050 DE-2070s DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-12 DE-92 DE-210 DE-29T DE-1043 DE-863 DE-BY-FWS DE-824 DE-11 DE-Aug4 DE-859 DE-739 DE-573 DE-83
owner_facet	DE-M347 DE-1050 DE-2070s DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-12 DE-92 DE-210 DE-29T DE-1043 DE-863 DE-BY-FWS DE-824 DE-11 DE-Aug4 DE-859 DE-739 DE-573 DE-83
physical	293 S. Ill., graph. Darst. 25 cm
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Hanser
record_format	marc
spellingShingle	Kastens, Uwe 1946- Kleine Büning, Hans 1948- Modellierung Grundlagen und formale Methoden Modellierung (DE-588)4170297-9 gnd
subject_GND	(DE-588)4170297-9 (DE-588)4123623-3
title	Modellierung Grundlagen und formale Methoden
title_auth	Modellierung Grundlagen und formale Methoden
title_exact_search	Modellierung Grundlagen und formale Methoden
title_full	Modellierung Grundlagen und formale Methoden Uwe Kastens ; Hans Kleine Büning
title_fullStr	Modellierung Grundlagen und formale Methoden Uwe Kastens ; Hans Kleine Büning
title_full_unstemmed	Modellierung Grundlagen und formale Methoden Uwe Kastens ; Hans Kleine Büning
title_short	Modellierung
title_sort	modellierung grundlagen und formale methoden
title_sub	Grundlagen und formale Methoden
topic	Modellierung (DE-588)4170297-9 gnd
topic_facet	Modellierung Lehrbuch
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4762656&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027504930&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT kastensuwe modellierunggrundlagenundformalemethoden AT kleinebuninghans modellierunggrundlagenundformalemethoden

Holdings

Description

THWS Würzburg Teilbibliothek SHL, Raum I.2.11

Holdings details from THWS Würzburg Teilbibliothek SHL, Raum I.2.11
Call Number:	1340 ST 230 K19(3)
Copy 1	ausleihbar Available Place a Hold

MARC

Record in the Search Index

THWS Würzburg Teilbibliothek SHL, Raum I.2.11

Similar Items