Verfügbarkeit: Information flow | Technische Universität München

Information flow: the logic of distributed systems

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Barwise, Jon 1942-2000 (VerfasserIn), Seligman, Jerry (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Cambridge [u.a.] Cambridge Univ. Press 1997
Ausgabe:	1. publ.
Schriftenreihe:	Cambridge tracts in theoretical computer science 44
Schlagwörter:	Dataprocessing Gedistribueerde gegevensverwerking Logica Datenverarbeitung Logik Electronic data processing > Distributed processing Datenverarbeitungssystem Verteiltes System Mathematische Logik Informationstheorie Aufgabensammlung
Beschreibung:	Literaturverz. S. 268 - 269
Umfang:	XV, 274 S. graph. Darst.
ISBN:	0521583861

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV022135114
003	DE-604
005	20040302000000.0
007	t\|
008	980805s1997 xx d\|\|\| \|\|\|\| 00\|\|\| eng d
020			\|a 0521583861 \|9 0-521-58386-1
035			\|a (OCoLC)35638258
035			\|a (DE-599)BVBBV022135114
040			\|a DE-604 \|b ger
041	0		\|a eng
049			\|a DE-706
050		0	\|a QA76.9.D5
082	0		\|a 003/.54 \|2 20
084			\|a ST 200 \|0 (DE-625)143611: \|2 rvk
100	1		\|a Barwise, Jon \|d 1942-2000 \|e Verfasser \|0 (DE-588)124163092 \|4 aut
245	1	0	\|a Information flow \|b the logic of distributed systems
250			\|a 1. publ.
264		1	\|a Cambridge [u.a.] \|b Cambridge Univ. Press \|c 1997
300			\|a XV, 274 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Cambridge tracts in theoretical computer science \|v 44
500			\|a Literaturverz. S. 268 - 269
650		7	\|a Dataprocessing \|2 gtt
650		7	\|a Gedistribueerde gegevensverwerking \|2 gtt
650		7	\|a Logica \|2 gtt
650		4	\|a Datenverarbeitung
650		4	\|a Logik
650		4	\|a Electronic data processing \|x Distributed processing
650	0	7	\|a Datenverarbeitungssystem \|0 (DE-588)4125229-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verteiltes System \|0 (DE-588)4238872-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informationstheorie \|0 (DE-588)4026927-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4143389-0 \|a Aufgabensammlung \|2 gnd-content
689	0	0	\|a Datenverarbeitungssystem \|0 (DE-588)4125229-9 \|D s
689	0		\|5 DE-604
689	1	0	\|a Informationstheorie \|0 (DE-588)4026927-9 \|D s
689	1	1	\|a Verteiltes System \|0 (DE-588)4238872-7 \|D s
689	1		\|8 1\p \|5 DE-604
689	2	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	2	1	\|a Verteiltes System \|0 (DE-588)4238872-7 \|D s
689	2		\|8 2\p \|5 DE-604
700	1		\|a Seligman, Jerry \|e Verfasser \|4 aut
830		0	\|a Cambridge tracts in theoretical computer science \|v 44 \|w (DE-604)BV000754528
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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015349731

Datensatz im Suchindex

_version_	1818963661594558464
any_adam_object
author	Barwise, Jon 1942-2000 Seligman, Jerry
author_GND	(DE-588)124163092
author_facet	Barwise, Jon 1942-2000 Seligman, Jerry
author_role	aut aut
author_sort	Barwise, Jon 1942-2000
author_variant	j b jb j s js
building	Verbundindex
bvnumber	BV022135114
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.9.D5
callnumber-search	QA76.9.D5
callnumber-sort	QA 276.9 D5
callnumber-subject	QA - Mathematics
classification_rvk	ST 200
ctrlnum	(OCoLC)35638258 (DE-599)BVBBV022135114
dewey-full	003/.54
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	003 - Systems
dewey-raw	003/.54
dewey-search	003/.54
dewey-sort	13 254
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
edition	1. publ.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02250nam a2200601zcb4500</leader><controlfield tag="001">BV022135114</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040302000000.0</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">980805s1997 xx d\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521583861</subfield><subfield code="9">0-521-58386-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35638258</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022135114</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003/.54</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 200</subfield><subfield code="0">(DE-625)143611:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Barwise, Jon</subfield><subfield code="d">1942-2000</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124163092</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Information flow</subfield><subfield code="b">the logic of distributed systems</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 274 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="1" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">44</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 268 - 269</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Dataprocessing</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Gedistribueerde gegevensverwerking</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitungssystem</subfield><subfield code="0">(DE-588)4125229-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationstheorie</subfield><subfield code="0">(DE-588)4026927-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)4143389-0</subfield><subfield code="a">Aufgabensammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenverarbeitungssystem</subfield><subfield code="0">(DE-588)4125229-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Informationstheorie</subfield><subfield code="0">(DE-588)4026927-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seligman, Jerry</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">44</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9"></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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015349731</subfield></datafield></record></collection>
genre	(DE-588)4143389-0 Aufgabensammlung gnd-content
genre_facet	Aufgabensammlung
id	DE-604.BV022135114
illustrated	Illustrated
indexdate	2024-12-20T12:48:46Z
institution	BVB
isbn	0521583861
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015349731
oclc_num	35638258
open_access_boolean
owner	DE-706
owner_facet	DE-706
physical	XV, 274 S. graph. Darst.
publishDate	1997
publishDateSearch	1997
publishDateSort	1997
publisher	Cambridge Univ. Press
record_format	marc
series	Cambridge tracts in theoretical computer science
series2	Cambridge tracts in theoretical computer science
spelling	Barwise, Jon 1942-2000 Verfasser (DE-588)124163092 aut Information flow the logic of distributed systems 1. publ. Cambridge [u.a.] Cambridge Univ. Press 1997 XV, 274 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 44 Literaturverz. S. 268 - 269 Dataprocessing gtt Gedistribueerde gegevensverwerking gtt Logica gtt Datenverarbeitung Logik Electronic data processing Distributed processing Datenverarbeitungssystem (DE-588)4125229-9 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Informationstheorie (DE-588)4026927-9 gnd rswk-swf (DE-588)4143389-0 Aufgabensammlung gnd-content Datenverarbeitungssystem (DE-588)4125229-9 s DE-604 Informationstheorie (DE-588)4026927-9 s Verteiltes System (DE-588)4238872-7 s 1\p DE-604 Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 Seligman, Jerry Verfasser aut Cambridge tracts in theoretical computer science 44 (DE-604)BV000754528 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	Barwise, Jon 1942-2000 Seligman, Jerry Information flow the logic of distributed systems Cambridge tracts in theoretical computer science Dataprocessing gtt Gedistribueerde gegevensverwerking gtt Logica gtt Datenverarbeitung Logik Electronic data processing Distributed processing Datenverarbeitungssystem (DE-588)4125229-9 gnd Verteiltes System (DE-588)4238872-7 gnd Mathematische Logik (DE-588)4037951-6 gnd Informationstheorie (DE-588)4026927-9 gnd
subject_GND	(DE-588)4125229-9 (DE-588)4238872-7 (DE-588)4037951-6 (DE-588)4026927-9 (DE-588)4143389-0
title	Information flow the logic of distributed systems
title_auth	Information flow the logic of distributed systems
title_exact_search	Information flow the logic of distributed systems
title_full	Information flow the logic of distributed systems
title_fullStr	Information flow the logic of distributed systems
title_full_unstemmed	Information flow the logic of distributed systems
title_short	Information flow
title_sort	information flow the logic of distributed systems
title_sub	the logic of distributed systems
topic	Dataprocessing gtt Gedistribueerde gegevensverwerking gtt Logica gtt Datenverarbeitung Logik Electronic data processing Distributed processing Datenverarbeitungssystem (DE-588)4125229-9 gnd Verteiltes System (DE-588)4238872-7 gnd Mathematische Logik (DE-588)4037951-6 gnd Informationstheorie (DE-588)4026927-9 gnd
topic_facet	Dataprocessing Gedistribueerde gegevensverwerking Logica Datenverarbeitung Logik Electronic data processing Distributed processing Datenverarbeitungssystem Verteiltes System Mathematische Logik Informationstheorie Aufgabensammlung
volume_link	(DE-604)BV000754528
work_keys_str_mv	AT barwisejon informationflowthelogicofdistributedsystems AT seligmanjerry informationflowthelogicofdistributedsystems

Verfügbarkeit

MARC

Datensatz im Suchindex

‌