Availability: Formale Begriffsanalyse mit C++ | Technische Universität München

Formale Begriffsanalyse mit C++: Datenstrukturen und Algorithmen

Saved in:

Bibliographic Details
Main Author:	Vogt, Frank (Author)
Format:	Book
Language:	German
Published:	Berlin [u.a.] Springer 1996
Subjects:	C++ (Computer program language) Computer algorithms Data structures (Computer science) C++ Formale Begriffsanalyse
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007349277&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Physical Description:	X, 323 S. graph. Darst. 1 Diskette (3,5")
ISBN:	3540610715

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV010982328
003	DE-604
005	20111116
007	t\|
008	961001s1996 gw d\|\|\| \|\|\|\| 00\|\|\| gerod
016	7		\|a 946972591 \|2 DE-101
020			\|a 3540610715 \|9 3-540-61071-5
035			\|a (OCoLC)37932031
035			\|a (DE-599)BVBBV010982328
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c XA-DE-BE
049			\|a DE-91 \|a DE-29T \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-384
050		0	\|a QA76.73.C153
084			\|a ST 250 \|0 (DE-625)143626: \|2 rvk
084			\|a ST 265 \|0 (DE-625)143634: \|2 rvk
084			\|a ST 270 \|0 (DE-625)143638: \|2 rvk
084			\|a 28 \|2 sdnb
084			\|a DAT 455f \|2 stub
084			\|a DAT 358f \|2 stub
100	1		\|a Vogt, Frank \|e Verfasser \|4 aut
245	1	0	\|a Formale Begriffsanalyse mit C++ \|b Datenstrukturen und Algorithmen \|c Frank Vogt
264		1	\|a Berlin [u.a.] \|b Springer \|c 1996
300			\|a X, 323 S. \|b graph. Darst. \|e 1 Diskette (3,5")
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650		4	\|a C++ (Computer program language)
650		4	\|a Computer algorithms
650		4	\|a Data structures (Computer science)
650	0	7	\|a C++ \|0 (DE-588)4193909-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Begriffsanalyse \|0 (DE-588)4351376-1 \|2 gnd \|9 rswk-swf
689	0	0	\|a Formale Begriffsanalyse \|0 (DE-588)4351376-1 \|D s
689	0	1	\|a C++ \|0 (DE-588)4193909-8 \|D s
689	0		\|5 DE-604
856	4	2	\|m HEBIS Datenaustausch Darmstadt \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007349277&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-007349277

Record in the Search Index

DE-BY-TUM_call_number	0001 96 A 9391
DE-BY-TUM_katkey	774638
DE-BY-TUM_location	Mag
DE-BY-TUM_media_number	040001999460
_version_	1821938646722281472
adam_text	FRANK VOGT FORMALE BEGRIFFSANALYSE MIT C ++ DATENSTRUKTUREN UND ALGORITHMEN MIT DISKETTE MIT 24 ABBILDUNGEN UND 6 TABELLEN SPRINGER INHALTSVERZEICHNIS EINLEITUNG TEIL I. STRUKTUREN UND ALGORITHMEN 1. EIN EINFUEHRENDES BEISPIEL 7 2. FORMALE KONTEXTE UND BEGRIFFE 21 2.1 RELATIONEN UND FORMALE KONTEXTE 21 2.2 UMFANGE, INHALTE UND BEGRIFFE 29 2.3 PFEILRELATIONEN UND REDUZIERTE KONTEXTE 38 3. BEGRIFFSVERBAENDE UND LINIENDIAGRAMME 45 3.1 BEGRIFFSVERBAENDE FORMALER KONTEXTE 45 3.2 LINIENDIAGRAMME 50 3.3 ERZEUGUNG VON LINIENDIAGRAMMEN AUS FORMALEN KONTEXTEN . . 57 4. MEHRWERTIGE KONTEXTE UND DATENBANKEN 73 4.1 MEHRWERTIGE KONTEXTE 73 4.2 RELATIONALE DATENBANKEN 74 5. BEGRIFFLICHE SKALEN 77 5.1 ABSTRAKTE SKALEN 78 5.2 KONKRETE SKALEN 80 5.3 REALISIERTE SKALEN 83 6. BEGRIFFLICHE DATEIEN 87 6.1 BEGRIFFLICHE SCHEMATA 87 6.2 BEGRIFFLICHE DATEIEN 89 7. CONSCRIPT-DATEIEN 93 7.1 DIE REPRAESENTATION PHYSIKALISCHER DATEIEN 93 7.2 INCLUDE-DATEIEN 103 8. TEXTE, FORMATE UND KOMMENTARE 10 7 VIII INHALTSVERZEICHNIS TEIL II. TECHNISCHE DOKUMENTATION 9. ALLGEMEINES 113 10. KLASSEN FUER BEGRIFFSANALYTISCHE STRUKTUREN 117 10.1 TBASEOBJECT 117 10.2 TFCAOBJECT 119 10.3 TFCAFILE 123 10.4 TINCLUDEFILE 144 10.5 TFORMALCONTEXT 146 10.6 TLINEDIAGRAM 162 10.7 TMAP 176 10.8 TSTRINGMAP 179 10.9 TQUERYMAP 182 10.10 TIDENTIF IERMAP 183 10.11 TABSTRACTSCALE 185 10.12 TCONCRETESCALE 190 10.13 TREALIZEDSCALE 196 10.14 TDATABASE 199 10.15 TCONCEPTUALSCHEME 202 10.16 TCONCEPTUALFILE 207 10.17 TREMARK 212 11. KLASSEN FUER STRUKTUR-BESTANDTEILE 215 11.1 TRELATION 215 11.2 TOACPL 224 11.3 TOAC 226 11.4 TOBJECT 227 11.5 TATTRIBUTE 228 11.6 TCONCEPT 230 11.7 TDPOINT 231 11.8 TDLINE 232 12. KLASSEN FUER ARRAYS UND MENGEN 235 12.1 TBITARRAY . 235 12.2 TBITARRAYARRAY 242 12.3 TBITARRAYARRAYLTERATOR 246 12.4 TSTRINGARRAY 246 12.5 TSTRINGARRAYLTERATOR 247 12.6 TINTARRAY 247 12.7 TINTARRAYLTERATOR 247 12.8 TIXARRAYASVECTOR 248 12.9 TIXARRAYASVECTORITERATOR 248 12.10 TIFCAARRAY 249 INHALTSVERZEICHNIS IX 12.11 TIFCAARRAYLTERATOR 253 12.12 TISTRINGARRAY 254 12.13 TISTRINGARRAYLTERATOR 254 12.14 TILINEDIAGRAMARRAY 254 12.15 TILINEDIAGRAMARRAYLTERATOR 258 12.16 TICONCRETESCALEARRAY 258 12.17 TICONCRETESCALEARRAYLTERATOR 259 12.18 TIREALIZEDSCALEARRAY 259 12.19 TIREALIZEDSCALEARRAYLTERATOR 259 12.20 TQSVECTORIMP 260 12.21 TQSVECTORITERATORIMP 260 12.22 TQSOBJECTARRAY 261 12.23 TQSOBJECTARRAYLTERATOR 261 12.24 TQSATTRIBUTEARRAY 262 12.25 TQSATTRIBUTEARRAYLTERATOR 262 12.26 TQSCONCEPTARRAY 262 12.27 TQSCONCEPTARRAYLTERATOR 262 12.28 TQSDPOINTARRAY 263 12.29 TQSDPOINTARRAYLTERATOR 263 12.30 TQSDLINEARRAY 263 12.31 TQSDLINEARRAYLTERATOR 264 12.32 TSTRINGSET 264 12.33 TSTRINGSETLTERATOR 266 12.34 TCLASSTYPESET 267 12.35 TCLASSTYPESETLTERATOR 267 13. KLASSEN FUER FORMATE 269 13.1 TFORMAT 269 13.2 TSTRINGFORMAT 271 13.3 TPOINTFORMAT 273 13.4 TLINEFORMAT 275 14. KLASSEN DER WINDOWS-IMPLEMETATION 277 14.1 TWFCAFILE 277 14.2 TMESSAGEDIALOG 280 15. FUNKTIONEN 283 15.1 ALLGEMEINE HILFSFUNKTIONEN 283 15.2 FUNKTIONEN DER WINDOWS-DLL 284 16. TYPEN UND KONSTANTEN 287 16.1 TYPEN, DIE KEINE KLASSEN SIND 287 16.2 ALLGEMEINE KONSTANTEN UND VARIABLEN 289 16.3 KONSTANTEN DER WINDOWS-DLL 292 X INHALTSVERZEICHNIS ANHANG A. DIE SPRACHE CONSCRIPT 297 A.L META-SYNTAX 297 A.2 BASISKONSTRUKTE 297 A.3 TITEL, KOMMENTARE UND SPECIALS 298 A.4 FORMALE KONTEXTE 299 A.5 LINIENDIAGRAMME 300 A.6 ABBILDUNGEN 301 A.7 ABSTRAKTE SKALEN 302 A.8 KONKRETE SKALEN 303 A.9 REALISIERTE SKALEN 304 A.10 DATENBANK-INFORMATIONEN 304 A.LL BEGRIFFLICHE SCHEMATA 305 A.12 BEGRIFFLICHE DATEIEN 305 A.13 INCLUDE-DATEIEN 306 A.14 CONSCRIPT-DATEIEN 307 A.15 FORMATANGABEN 307 B. TECHNISCHE HINWEISE 309 B.L INSTALLATION DES QUELL-CODES 309 B.2 ERZEUGUNG DER BIBLIOTHEKEN 311 B.3 BENUTZUNG IN PROGRAMMEN 315 C. LIZENZVEREINBARUNG 317 LITERATURVERZEICHNIS 319 INDEX 321
any_adam_object	1
author	Vogt, Frank
author_facet	Vogt, Frank
author_role	aut
author_sort	Vogt, Frank
author_variant	f v fv
building	Verbundindex
bvnumber	BV010982328
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.73.C153
callnumber-search	QA76.73.C153
callnumber-sort	QA 276.73 C153
callnumber-subject	QA - Mathematics
classification_rvk	ST 250 ST 265 ST 270
classification_tum	DAT 455f DAT 358f
ctrlnum	(OCoLC)37932031 (DE-599)BVBBV010982328
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01743nam a2200469 c 4500</leader><controlfield tag="001">BV010982328</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111116 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">961001s1996 gw d\|\|\| \|\|\|\| 00\|\|\| gerod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">946972591</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540610715</subfield><subfield code="9">3-540-61071-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37932031</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010982328</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-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.C153</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 265</subfield><subfield code="0">(DE-625)143634:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 270</subfield><subfield code="0">(DE-625)143638:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 455f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 358f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Vogt, Frank</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formale Begriffsanalyse mit C++</subfield><subfield code="b">Datenstrukturen und Algorithmen</subfield><subfield code="c">Frank Vogt</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 323 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="e">1 Diskette (3,5")</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=" " ind2="4"><subfield code="a">C++ (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">C++</subfield><subfield code="0">(DE-588)4193909-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Begriffsanalyse</subfield><subfield code="0">(DE-588)4351376-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Begriffsanalyse</subfield><subfield code="0">(DE-588)4351376-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">C++</subfield><subfield code="0">(DE-588)4193909-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=007349277&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-007349277</subfield></datafield></record></collection>
id	DE-604.BV010982328
illustrated	Illustrated
indexdate	2024-12-20T10:04:16Z
institution	BVB
isbn	3540610715
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-007349277
oclc_num	37932031
open_access_boolean
owner	DE-91 DE-BY-TUM DE-29T DE-634 DE-83 DE-11 DE-384
owner_facet	DE-91 DE-BY-TUM DE-29T DE-634 DE-83 DE-11 DE-384
physical	X, 323 S. graph. Darst. 1 Diskette (3,5")
publishDate	1996
publishDateSearch	1996
publishDateSort	1996
publisher	Springer
record_format	marc
spellingShingle	Vogt, Frank Formale Begriffsanalyse mit C++ Datenstrukturen und Algorithmen C++ (Computer program language) Computer algorithms Data structures (Computer science) C++ (DE-588)4193909-8 gnd Formale Begriffsanalyse (DE-588)4351376-1 gnd
subject_GND	(DE-588)4193909-8 (DE-588)4351376-1
title	Formale Begriffsanalyse mit C++ Datenstrukturen und Algorithmen
title_auth	Formale Begriffsanalyse mit C++ Datenstrukturen und Algorithmen
title_exact_search	Formale Begriffsanalyse mit C++ Datenstrukturen und Algorithmen
title_full	Formale Begriffsanalyse mit C++ Datenstrukturen und Algorithmen Frank Vogt
title_fullStr	Formale Begriffsanalyse mit C++ Datenstrukturen und Algorithmen Frank Vogt
title_full_unstemmed	Formale Begriffsanalyse mit C++ Datenstrukturen und Algorithmen Frank Vogt
title_short	Formale Begriffsanalyse mit C++
title_sort	formale begriffsanalyse mit c datenstrukturen und algorithmen
title_sub	Datenstrukturen und Algorithmen
topic	C++ (Computer program language) Computer algorithms Data structures (Computer science) C++ (DE-588)4193909-8 gnd Formale Begriffsanalyse (DE-588)4351376-1 gnd
topic_facet	C++ (Computer program language) Computer algorithms Data structures (Computer science) C++ Formale Begriffsanalyse
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007349277&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT vogtfrank formalebegriffsanalysemitcdatenstrukturenundalgorithmen

Availability

Order (Login required)

Table of Contents
Order paper/chapter scan

Closed Stacks

Holdings details from Bibliotheksmagazin
Call Number:	0001 96 A 9391 Floor plan
Copy 1	Available for loan On Shelf