Verfügbarkeit: Logic, computation and rigorous methods

Logic, computation and rigorous methods: essays dedicated to Egon Börger on the occasion of his 75th birthday

Gespeichert in:

Bibliographische Detailangaben
Weitere beteiligte Personen:	Raschke, Alexander (HerausgeberIn), Riccobene, Elvinia (HerausgeberIn), Schewe, Klaus-Dieter (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham, Switzerland Springer [2021]
Schriftenreihe:	Programming and software engineering 12750
Schlagwörter:	Software Engineering/Programming and Operating Systems Professional Computing Theory of Computation Business Information Systems Mathematical Logic and Foundations Software engineering Computer software Computers Management information systems Mathematical logic Mathematische Logik Software Engineering Festschrift
Links:	https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5 https://doi.org/10.1007/978-3-030-76020-5
Umfang:	1 Online-Ressource Illustrationen, Diagramme
ISBN:	9783030760205
DOI:	10.1007/978-3-030-76020-5

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV047389643
003	DE-604
005	20241004
007	cr\|uuu---uuuuu
008	210728s2021 xx a\|\|\| o\|\|\|\| 01\|\|\| eng d
020			\|a 9783030760205 \|c Online \|9 978-3-030-76020-5
024	7		\|a 10.1007/978-3-030-76020-5 \|2 doi
035			\|a (ZDB-2-SCS)9783030760205
035			\|a (ZDB-2-LNC)9783030760205
035			\|a (OCoLC)1263284707
035			\|a (DE-599)BVBBV047389643
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-860 \|a DE-19 \|a DE-858 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-188 \|a DE-523 \|a DE-473 \|a DE-29 \|a DE-863 \|a DE-1050 \|a DE-20 \|a DE-862 \|a DE-92 \|a DE-384 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-706 \|a DE-739 \|a DE-634 \|a DE-91 \|a DE-355
082	0		\|a 005.1 \|2 23
084			\|a QB 920 \|0 (DE-625)141232: \|2 rvk
084			\|a DAT 540 \|2 stub
245	1	0	\|a Logic, computation and rigorous methods \|b essays dedicated to Egon Börger on the occasion of his 75th birthday \|c Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.)
264		1	\|a Cham, Switzerland \|b Springer \|c [2021]
300			\|a 1 Online-Ressource \|b Illustrationen, Diagramme
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 12750 \|a Programming and software engineering
650		4	\|a Software Engineering/Programming and Operating Systems
650		4	\|a Professional Computing
650		4	\|a Theory of Computation
650		4	\|a Business Information Systems
650		4	\|a Mathematical Logic and Foundations
650		4	\|a Software engineering
650		4	\|a Computer software
650		4	\|a Computers
650		4	\|a Management information systems
650		4	\|a Mathematical logic
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software Engineering \|0 (DE-588)4116521-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4016928-5 \|a Festschrift \|2 gnd-content
689	0	0	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	0	1	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
700	1		\|a Raschke, Alexander \|0 (DE-588)140308342 \|4 edt
700	1		\|a Riccobene, Elvinia \|4 edt
700	1		\|a Schewe, Klaus-Dieter \|0 (DE-588)1206593148 \|4 edt
700	1		\|a Börger, Egon \|d 1946- \|0 (DE-588)174088558 \|4 hnr
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-76019-9
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-76021-2
830		0	\|a Programming and software engineering \|v 12750 \|w (DE-604)BV014880109 \|9 12750
856	4	0	\|u https://doi.org/10.1007/978-3-030-76020-5 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2021
940	1		\|q ZDB-2-LNC_2021
943	1		\|a oai:aleph.bib-bvb.de:BVB01-032790978
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-858 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-Aug4 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-1050 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-573 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-898 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-860 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-861 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-863 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-862 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-523 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-91 \|p ZDB-2-LNC \|q ZDB-2-LNC_2021 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-76020-5 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-TUM_katkey	2594292
_version_	1821935585640579072
adam_text
any_adam_object
author2	Raschke, Alexander Riccobene, Elvinia Schewe, Klaus-Dieter
author2_role	edt edt edt
author2_variant	a r ar e r er k d s kds
author_GND	(DE-588)140308342 (DE-588)1206593148 (DE-588)174088558
author_facet	Raschke, Alexander Riccobene, Elvinia Schewe, Klaus-Dieter
building	Verbundindex
bvnumber	BV047389643
classification_rvk	QB 920
classification_tum	DAT 540
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(ZDB-2-SCS)9783030760205 (ZDB-2-LNC)9783030760205 (OCoLC)1263284707 (DE-599)BVBBV047389643
dewey-full	005.1
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1
dewey-search	005.1
dewey-sort	15.1
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Wirtschaftswissenschaften
doi_str_mv	10.1007/978-3-030-76020-5
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV047389643</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241004</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">210728s2021 xx a\|\|\| o\|\|\|\| 01\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030760205</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-76020-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-76020-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030760205</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-LNC)9783030760205</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1263284707</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047389643</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-860</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QB 920</subfield><subfield code="0">(DE-625)141232:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, computation and rigorous methods</subfield><subfield code="b">essays dedicated to Egon Börger on the occasion of his 75th birthday</subfield><subfield code="c">Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield><subfield code="b">Illustrationen, Diagramme</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12750</subfield><subfield code="a">Programming and software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Professional Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Business Information Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Management information systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Raschke, Alexander</subfield><subfield code="0">(DE-588)140308342</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Riccobene, Elvinia</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schewe, Klaus-Dieter</subfield><subfield code="0">(DE-588)1206593148</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Börger, Egon</subfield><subfield code="d">1946-</subfield><subfield code="0">(DE-588)174088558</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-76019-9</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-76021-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Programming and software engineering</subfield><subfield code="v">12750</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">12750</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2021</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2021</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032790978</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-858</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2021</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-76020-5</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)4016928-5 Festschrift gnd-content
genre_facet	Festschrift
id	DE-604.BV047389643
illustrated	Illustrated
indexdate	2025-01-11T19:09:33Z
institution	BVB
isbn	9783030760205
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-032790978
oclc_num	1263284707
open_access_boolean
owner	DE-860 DE-19 DE-BY-UBM DE-858 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-91 DE-BY-TUM DE-355 DE-BY-UBR
owner_facet	DE-860 DE-19 DE-BY-UBM DE-858 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-91 DE-BY-TUM DE-355 DE-BY-UBR
physical	1 Online-Ressource Illustrationen, Diagramme
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2021 ZDB-2-LNC_2021 ZDB-2-LNC ZDB-2-LNC_2021
publishDate	2021
publishDateSearch	2021
publishDateSort	2021
publisher	Springer
record_format	marc
series	Programming and software engineering
series2	Lecture notes in computer science Programming and software engineering
spellingShingle	Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday Programming and software engineering Software Engineering/Programming and Operating Systems Professional Computing Theory of Computation Business Information Systems Mathematical Logic and Foundations Software engineering Computer software Computers Management information systems Mathematical logic Mathematische Logik (DE-588)4037951-6 gnd Software Engineering (DE-588)4116521-4 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4116521-4 (DE-588)4016928-5
title	Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday
title_auth	Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday
title_exact_search	Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday
title_full	Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.)
title_fullStr	Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.)
title_full_unstemmed	Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.)
title_short	Logic, computation and rigorous methods
title_sort	logic computation and rigorous methods essays dedicated to egon borger on the occasion of his 75th birthday
title_sub	essays dedicated to Egon Börger on the occasion of his 75th birthday
topic	Software Engineering/Programming and Operating Systems Professional Computing Theory of Computation Business Information Systems Mathematical Logic and Foundations Software engineering Computer software Computers Management information systems Mathematical logic Mathematische Logik (DE-588)4037951-6 gnd Software Engineering (DE-588)4116521-4 gnd
topic_facet	Software Engineering/Programming and Operating Systems Professional Computing Theory of Computation Business Information Systems Mathematical Logic and Foundations Software engineering Computer software Computers Management information systems Mathematical logic Mathematische Logik Software Engineering Festschrift
url	https://doi.org/10.1007/978-3-030-76020-5
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT raschkealexander logiccomputationandrigorousmethodsessaysdedicatedtoegonborgerontheoccasionofhis75thbirthday AT riccobeneelvinia logiccomputationandrigorousmethodsessaysdedicatedtoegonborgerontheoccasionofhis75thbirthday AT scheweklausdieter logiccomputationandrigorousmethodsessaysdedicatedtoegonborgerontheoccasionofhis75thbirthday AT borgeregon logiccomputationandrigorousmethodsessaysdedicatedtoegonborgerontheoccasionofhis75thbirthday

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen