Verfügbarkeit: Logic for concurrency and synchronisation

Logic for concurrency and synchronisation:

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	English
Veröffentlicht:	Dordrecht u.a. Kluwer Academic Publishers 2003
Schriftenreihe:	Trends in logic 18
Schlagworte:	Modality (Logic) Parallel programming (Computer science) Proof theory Temporale Logik Nebenläufigkeit
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	Includes bibliographical references
Beschreibung:	xxi, 284 p. ill. : 25 cm
ISBN:	1402012705

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV017087541
003	DE-604
005	20040728
007	t
008	030422s2003 ne a\|\|\| \|\|\|\| 00\|\|\| eng d
010			\|a 2003045807
020			\|a 1402012705 \|c alk. paper \|9 1-402-01270-5
035			\|a (OCoLC)52047536
035			\|a (DE-599)BVBBV017087541
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a ne \|c NL
049			\|a DE-384 \|a DE-11
050		0	\|a QA9.54
082	0		\|a 511.3 \|2 21
084			\|a CC 2500 \|0 (DE-625)17609: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 125 \|0 (DE-625)143586: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
245	1	0	\|a Logic for concurrency and synchronisation \|c edited by Ruy J. G. B. de Queiroz
264		1	\|a Dordrecht u.a. \|b Kluwer Academic Publishers \|c 2003
300			\|a xxi, 284 p. \|b ill. : 25 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Trends in logic \|v 18
500			\|a Includes bibliographical references
650		4	\|a Modality (Logic)
650		4	\|a Parallel programming (Computer science)
650		4	\|a Proof theory
650	0	7	\|a Temporale Logik \|0 (DE-588)4137542-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|2 gnd \|9 rswk-swf
689	0	0	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	0	1	\|a Temporale Logik \|0 (DE-588)4137542-7 \|D s
689	0		\|5 DE-604
700	1		\|a Queiroz, Ruy J. G. B. de \|e Sonstige \|4 oth
830		0	\|a Trends in logic \|v 18 \|w (DE-604)BV011512969 \|9 18
856	4	2	\|m SWB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010306354&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-010306354

Datensatz im Suchindex

_version_	1804129970243502080
adam_text	INHALT A. REZENSIERTE PHILOSOPHIE 1. DIE SCHOENE UNTERNEHMERSEELE UND DIE IUSTITIA DISTRIBUTIVA GOTTES - MIT KOSLOWSKI AUF DEM MARKT 11 2. MONTAIGNE HAETTE ES RICHTEN KOENNEN - STEPHEN TOULMIN UEBER DIE ILLEGITIMITAET DER NEUZEIT 17 3. GERECHTIGKEITSGEMEINSCHAFT - JOHN RAWLS SUCHT DIE LIBERALE MITTELLAGE 21 4. SPHAERENHARMONIE - MICHAEL WALZER FINDET DIE GERECHTIGKEIT IN DER HOEHLE 31 5. MORALISCHER KATHEDERSOZIALISMUS AUS NEW YORK - THOMAS NAGEL WILL VIEL MEHR GLEICHHEIT 35 6. HEILIGKEIT VERLEIHT KEINE RECHTE - RONALD DWORKINS POLITISCHE PHILOSOPHIE DER ABTREIBUNG UND EUTHANASIE 54 7. DIE MENSCHLICHE NATUR IST GUT, NUR DIE INTELLEKTUELLEN SIND SCHLECHT - JAMES WILSONS MORALPOPULISTISCHE AUFRUESTUNG DER ANSTAENDIGEN IM LANDE 61 8. LIST UND TUECKE DER NEUTRALITAET - CHARLES LARMORES VERSION DES POLITISCHEN LIBERALISMUS 66 9. MATTE MODERNITAETSKRITIK, ERSCHOEPFTE THEORIE - MICHAEL SANDELS KOMMUNITARISMUS HAT ABGEWIRTSCHAFTET 74 10. DER HUETER DER MODERNE - JUERGEN HABERMAS UEBER DIE VERGANGENHEIT DES NATIONALSTAATS UND DIE ZUKUNFT DER NATUR 80 11. EIN VOLK VON TEUFELN AUF DEM MARKT DER TUGEND - MICHAEL BAURMANN ENTDECKT DIE LIBERALE GESELLSCHAFT ALS MORALISCHE ANSTALT 99 12. UEBER DIE VERNUENFTIGKEIT DER WIRKLICHKEIT - RUEDIGER BUBNER KRITISIERT DAS POLITIKMISSVERSTAENDNIS DER MODERNE 105 13. DER MENSCH IST AUCH NUR EIN TIER - DANIEL DENNETT ZWISCHEN GRZIMEK UND KANT 113 14. DIE VERNUNFT SPRICHT SICH AUS - ROBERT BRANDOM IST EIN SPRACHPRAGMATISCHER HEGEL REDIVIVUS 117 6 INHALT B. ESSAYS UND VORTRAEGE 15. PLAEDOYER FUER EINEN NUECHTERNEN UNIVERSALISMUS 129 16. PHILOSOPHIE UND GESELLSCHAFTLICHE SELBSTVERSTAENDIGUNG 144 17. DIE ZUMUTUNGEN DER FREIHEIT - UEBER DIE SCHWIERIGKEITEN, IN DER MODERNE ZU LEBEN 164 18. UEBER EIN LEBEN MIT EIGENBETEILIGUNG - UNZUSAMMENHAENGENDE BEMERKUNGEN ZUM GEGENWAERTIGEN INTERESSE AN DER LEBENSKUNST 179 19. EIN MENSCHENRECHT AUF UNTERHALTUNG 211
any_adam_object	1
building	Verbundindex
bvnumber	BV017087541
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9.54
callnumber-search	QA9.54
callnumber-sort	QA 19.54
callnumber-subject	QA - Mathematics
classification_rvk	CC 2500 SK 130 ST 125 ST 130
ctrlnum	(OCoLC)52047536 (DE-599)BVBBV017087541
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01830nam a2200493zcb4500</leader><controlfield tag="001">BV017087541</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040728 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030422s2003 ne a\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2003045807</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1402012705</subfield><subfield code="c">alk. paper</subfield><subfield code="9">1-402-01270-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)52047536</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017087541</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">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">ne</subfield><subfield code="c">NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</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="245" ind1="1" ind2="0"><subfield code="a">Logic for concurrency and synchronisation</subfield><subfield code="c">edited by Ruy J. G. B. de Queiroz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht u.a.</subfield><subfield code="b">Kluwer Academic Publishers</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxi, 284 p.</subfield><subfield code="b">ill. : 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="490" ind1="1" ind2=" "><subfield code="a">Trends in logic</subfield><subfield code="v">18</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</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">Queiroz, Ruy J. G. B. de</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in logic</subfield><subfield code="v">18</subfield><subfield code="w">(DE-604)BV011512969</subfield><subfield code="9">18</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">SWB 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=010306354&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-010306354</subfield></datafield></record></collection>
id	DE-604.BV017087541
illustrated	Illustrated
indexdate	2024-07-09T19:13:36Z
institution	BVB
isbn	1402012705
language	English
lccn	2003045807
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-010306354
oclc_num	52047536
open_access_boolean
owner	DE-384 DE-11
owner_facet	DE-384 DE-11
physical	xxi, 284 p. ill. : 25 cm
publishDate	2003
publishDateSearch	2003
publishDateSort	2003
publisher	Kluwer Academic Publishers
record_format	marc
series	Trends in logic
series2	Trends in logic
spelling	Logic for concurrency and synchronisation edited by Ruy J. G. B. de Queiroz Dordrecht u.a. Kluwer Academic Publishers 2003 xxi, 284 p. ill. : 25 cm txt rdacontent n rdamedia nc rdacarrier Trends in logic 18 Includes bibliographical references Modality (Logic) Parallel programming (Computer science) Proof theory Temporale Logik (DE-588)4137542-7 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 s Temporale Logik (DE-588)4137542-7 s DE-604 Queiroz, Ruy J. G. B. de Sonstige oth Trends in logic 18 (DE-604)BV011512969 18 SWB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010306354&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Logic for concurrency and synchronisation Trends in logic Modality (Logic) Parallel programming (Computer science) Proof theory Temporale Logik (DE-588)4137542-7 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
subject_GND	(DE-588)4137542-7 (DE-588)4115352-2
title	Logic for concurrency and synchronisation
title_auth	Logic for concurrency and synchronisation
title_exact_search	Logic for concurrency and synchronisation
title_full	Logic for concurrency and synchronisation edited by Ruy J. G. B. de Queiroz
title_fullStr	Logic for concurrency and synchronisation edited by Ruy J. G. B. de Queiroz
title_full_unstemmed	Logic for concurrency and synchronisation edited by Ruy J. G. B. de Queiroz
title_short	Logic for concurrency and synchronisation
title_sort	logic for concurrency and synchronisation
topic	Modality (Logic) Parallel programming (Computer science) Proof theory Temporale Logik (DE-588)4137542-7 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
topic_facet	Modality (Logic) Parallel programming (Computer science) Proof theory Temporale Logik Nebenläufigkeit
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010306354&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV011512969
work_keys_str_mv	AT queirozruyjgbde logicforconcurrencyandsynchronisation

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge