Holdings: The nature of computation

The nature of computation: logic, algorithms, applications ; 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1 - 5, 2013 ; proceedings

Saved in:

Bibliographic Details
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 2013
Series:	Lecture notes in computer science 7921
Subjects:	Berechenbarkeit Berechnungstheorie Berechnungskomplexität Konferenzschrift > 2013 > Mailand
Online Access:	Volltext Abstract
Physical Description:	1 Online-Ressource (XVIII, 446 S.) Ill., graph. Darst.
ISBN:	9783642390524 9783642390531
DOI:	10.1007/978-3-642-39053-1

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV041412805
003	DE-604
005	20170502
007	cr\|uuu---uuuuu
008	131113s2013 xx ad\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783642390524 \|9 978-3-642-39052-4
020			\|a 9783642390531 \|c eISBN \|9 978-3-642-39053-1
024	7		\|a 10.1007/978-3-642-39053-1 \|2 doi
035			\|a (OCoLC)855543947
035			\|a (DE-599)BVBBV041412805
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-473 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-Aug4 \|a DE-92 \|a DE-29 \|a DE-859 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-634 \|a DE-355
082	0		\|a 004.0151
084			\|a DAT 517f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a The nature of computation \|b logic, algorithms, applications ; 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1 - 5, 2013 ; proceedings \|c Paola Bonizzoni ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (XVIII, 446 S.) \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7921
650	0	7	\|a Berechenbarkeit \|0 (DE-588)4138368-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechnungskomplexität \|0 (DE-588)4134751-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Mailand \|2 gnd-content
689	0	0	\|a Berechnungskomplexität \|0 (DE-588)4134751-1 \|D s
689	0	1	\|a Berechnungstheorie \|0 (DE-588)4005581-4 \|D s
689	0	2	\|a Berechenbarkeit \|0 (DE-588)4138368-0 \|D s
689	0		\|5 DE-604
700	1		\|a Bonizzoni, Paola \|e Sonstige \|4 oth
711	2		\|a CiE \|n 9 \|d 2013 \|c Mailand \|j Sonstige \|0 (DE-588)103840231X \|4 oth
830		0	\|a Lecture notes in computer science \|v 7921 \|w (DE-604)BV014880109 \|9 7921
856	4	0	\|u https://doi.org/10.1007/978-3-642-39053-1 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026860061&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026860061

Record in the Search Index

_version_	1820875519626838016
adam_text	THE NATURE OF COMPUTATION. LOGIC, ALGORITHMS, APPLICATIONS / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 9TH CONFERENCE ON COMPUTABILITY IN EUROPE, CIE 2013, HELD IN MILAN, ITALY, IN JULY 2013. THE 48 REVISED PAPERS PRESENTED TOGETHER WITH 1 INVITED LECTURE AND 2 TUTORIALS WERE CAREFULLY REVIEWED AND SELECTED WITH AN ACCEPTANCE RATE OF UNDER 31,7%. BOTH THE CONFERENCE SERIES AND THE ASSOCIATION PROMOTE THE DEVELOPMENT OF COMPUTABILITY-RELATED SCIENCE, RANGING OVER MATHEMATICS, COMPUTER SCIENCE AND APPLICATIONS IN VARIOUS NATURAL AND ENGINEERING SCIENCES SUCH AS PHYSICS AND BIOLOGY, AND ALSO INCLUDING THE PROMOTION OF RELATED NON-SCIENTIFIC FIELDS SUCH AS PHILOSOPHY AND HISTORY OF COMPUTING DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
building	Verbundindex
bvnumber	BV041412805
classification_rvk	SS 4800
classification_tum	DAT 517f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)855543947 (DE-599)BVBBV041412805
dewey-full	004.0151
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.0151
dewey-search	004.0151
dewey-sort	14.0151
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-642-39053-1
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041412805</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170502</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">131113s2013 xx ad\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642390524</subfield><subfield code="9">978-3-642-39052-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642390531</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-39053-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-39053-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)855543947</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041412805</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 517f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The nature of computation</subfield><subfield code="b">logic, algorithms, applications ; 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1 - 5, 2013 ; proceedings</subfield><subfield code="c">Paola Bonizzoni ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVIII, 446 S.)</subfield><subfield code="b">Ill., 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">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">7921</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Mailand</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</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">Bonizzoni, Paola</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CiE</subfield><subfield code="n">9</subfield><subfield code="d">2013</subfield><subfield code="c">Mailand</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)103840231X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7921</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7921</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-39053-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026860061&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026860061</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Mailand gnd-content
genre_facet	Konferenzschrift 2013 Mailand
id	DE-604.BV041412805
illustrated	Illustrated
indexdate	2025-01-10T15:16:54Z
institution	BVB
institution_GND	(DE-588)103840231X
isbn	9783642390524 9783642390531
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026860061
oclc_num	855543947
open_access_boolean
owner	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XVIII, 446 S.) Ill., graph. Darst.
psigel	ZDB-2-SCS ZDB-2-LNC
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	The nature of computation logic, algorithms, applications ; 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1 - 5, 2013 ; proceedings Paola Bonizzoni ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XVIII, 446 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7921 Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Mailand gnd-content Berechnungskomplexität (DE-588)4134751-1 s Berechnungstheorie (DE-588)4005581-4 s Berechenbarkeit (DE-588)4138368-0 s DE-604 Bonizzoni, Paola Sonstige oth CiE 9 2013 Mailand Sonstige (DE-588)103840231X oth Lecture notes in computer science 7921 (DE-604)BV014880109 7921 https://doi.org/10.1007/978-3-642-39053-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026860061&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	The nature of computation logic, algorithms, applications ; 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1 - 5, 2013 ; proceedings Lecture notes in computer science Berechenbarkeit (DE-588)4138368-0 gnd Berechnungstheorie (DE-588)4005581-4 gnd Berechnungskomplexität (DE-588)4134751-1 gnd
subject_GND	(DE-588)4138368-0 (DE-588)4005581-4 (DE-588)4134751-1 (DE-588)1071861417
title	The nature of computation logic, algorithms, applications ; 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1 - 5, 2013 ; proceedings
title_auth	The nature of computation logic, algorithms, applications ; 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1 - 5, 2013 ; proceedings
title_exact_search	The nature of computation logic, algorithms, applications ; 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1 - 5, 2013 ; proceedings
title_full	The nature of computation logic, algorithms, applications ; 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1 - 5, 2013 ; proceedings Paola Bonizzoni ... (eds.)
title_fullStr	The nature of computation logic, algorithms, applications ; 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1 - 5, 2013 ; proceedings Paola Bonizzoni ... (eds.)
title_full_unstemmed	The nature of computation logic, algorithms, applications ; 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1 - 5, 2013 ; proceedings Paola Bonizzoni ... (eds.)
title_short	The nature of computation
title_sort	the nature of computation logic algorithms applications 9th conference on computability in europe cie 2013 milan italy july 1 5 2013 proceedings
title_sub	logic, algorithms, applications ; 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1 - 5, 2013 ; proceedings
topic	Berechenbarkeit (DE-588)4138368-0 gnd Berechnungstheorie (DE-588)4005581-4 gnd Berechnungskomplexität (DE-588)4134751-1 gnd
topic_facet	Berechenbarkeit Berechnungstheorie Berechnungskomplexität Konferenzschrift 2013 Mailand
url	https://doi.org/10.1007/978-3-642-39053-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026860061&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT bonizzonipaola thenatureofcomputationlogicalgorithmsapplications9thconferenceoncomputabilityineuropecie2013milanitalyjuly152013proceedings AT ciemailand thenatureofcomputationlogicalgorithmsapplications9thconferenceoncomputabilityineuropecie2013milanitalyjuly152013proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items