{"@context":{"owl":"http://www.w3.org/2002/07/owl#","bibo":"http://purl.org/ontology/bibo/","foaf":"http://xmlns.com/foaf/0.1/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/"},"@id":"https://ci.nii.ac.jp/ncid/BB06207920.json","@graph":[{"@id":"https://ci.nii.ac.jp/ncid/BB06207920#entity","@type":"bibo:Book","foaf:isPrimaryTopicOf":{"@id":"https://ci.nii.ac.jp/ncid/BB06207920.json"},"dc:title":[{"@value":"Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings"}],"dc:creator":"Luca Aceto, Monika Henzinger, Jiřį́ Sgall, (eds.)","dc:publisher":[{"@value":"Springer"}],"dcterms:extent":"2 v.","cinii:size":"24 cm","dc:language":"eng","dc:date":"2011","cinii:ncid":"BB06207920","cinii:ownerCount":"8","foaf:maker":[{"@id":"https://ci.nii.ac.jp/author/DA00338437#entity","@type":"foaf:Person","foaf:name":[{"@value":"International Colloquium on Automata, Languages and Programming"}]},{"@id":"https://ci.nii.ac.jp/author/DA06994573#entity","@type":"foaf:Person","foaf:name":[{"@value":"Aceto, Luca"}]},{"@type":"foaf:Person","foaf:name":[{"@value":"Henzinger, Monika"}]},{"@id":"https://ci.nii.ac.jp/author/DA13218507#entity","@type":"foaf:Person","foaf:name":[{"@value":"Sgall, Jiřį́"}]}],"bibo:owner":[{"@id":"https://ci.nii.ac.jp/library/FA001991","@type":"foaf:Organization","foaf:name":"電気通信大学 附属図書館","rdfs:seeAlso":{"@id":"https://www.lib.uec.ac.jp/mylimedio/search/search.do?mode=comp&taget=local&ncid=BB06207920"}},{"@id":"https://ci.nii.ac.jp/library/FA002553","@type":"foaf:Organization","foaf:name":"豊橋技術科学大学 附属図書館","rdfs:seeAlso":{"@id":"https://opac.lib.tut.ac.jp/mylimedio/search/search.do?target=local&mode=comp&category-mgz=1&category-book=1&annex=all&ncid=BB06207920"}},{"@id":"https://ci.nii.ac.jp/library/FA002564","@type":"foaf:Organization","foaf:name":"三重大学 附属図書館","rdfs:seeAlso":{"@id":"https://opac.lib.mie-u.ac.jp/opc/"}},{"@id":"https://ci.nii.ac.jp/library/FA002677","@type":"foaf:Organization","foaf:name":"京都大学 理学部","rdfs:seeAlso":{"@id":"https://kuline.kulib.kyoto-u.ac.jp/opac/opac_openurl/?ncid=BB06207920"}},{"@id":"https://ci.nii.ac.jp/library/FA003035","@type":"foaf:Organization","foaf:name":"神戸大学 附属図書館 自然科学系図書館","rdfs:seeAlso":{"@id":"https://op.lib.kobe-u.ac.jp/opac/opac_openurl/?rfe_dat=ncid/BB06207920"}},{"@id":"https://ci.nii.ac.jp/library/FA003261","@type":"foaf:Organization","foaf:name":"広島大学 図書館 東図書館","rdfs:seeAlso":{"@id":"https://opac.lib.hiroshima-u.ac.jp/iwjs0027opc/cattab.do?sp_srh_flg=true&tab_num=0&ncid=BB06207920"}},{"@id":"https://ci.nii.ac.jp/library/FA003308","@type":"foaf:Organization","foaf:name":"山口大学 図書館 工学部図書館","rdfs:seeAlso":{"@id":"https://opac.lib.yamaguchi-u.ac.jp/opac/opac_openurl/?ncid=BB06207920"}},{"@id":"https://ci.nii.ac.jp/library/FA005686","@type":"foaf:Organization","foaf:name":"中央大学 図書館 理工学部分館","rdfs:seeAlso":{"@id":"https://opac.library.chuo-u.ac.jp/"}}],"bibo:lccn":["2011930001"],"rdfs:seeAlso":[{"@id":"https://lccn.loc.gov/2011930001"}],"prism:publicationDate":["c2011"],"cinii:note":["Includes bibliographical references and index"],"dc:subject":["SG:004","DC23:005.1","LCC:QA267"],"foaf:topic":[{"@id":"https://ci.nii.ac.jp/books/search?q=Machine+theory+--+Congresses","dc:title":"Machine theory -- Congresses"},{"@id":"https://ci.nii.ac.jp/books/search?q=Formal+languages+--+Congresses","dc:title":"Formal languages -- Congresses"},{"@id":"https://ci.nii.ac.jp/books/search?q=Computer+programming+--+Congresses","dc:title":"Computer programming -- Congresses"},{"@id":"https://ci.nii.ac.jp/books/search?q=Computer+algorithms+--+Congresses","dc:title":"Computer algorithms -- Congresses"},{"@id":"https://ci.nii.ac.jp/books/search?q=Automata","dc:title":"Automata"},{"@id":"https://ci.nii.ac.jp/books/search?q=Languages","dc:title":"Languages"},{"@id":"https://ci.nii.ac.jp/books/search?q=Programming","dc:title":"Programming"},{"@id":"https://ci.nii.ac.jp/books/search?q=ICALP","dc:title":"ICALP"},{"@id":"https://ci.nii.ac.jp/books/search?q=Th%C3%A9orie+des+automates+--+Congr%C3%A8s","dc:title":"Théorie des automates -- Congrès"},{"@id":"https://ci.nii.ac.jp/books/search?q=Langages+formels+--+Congr%C3%A8s","dc:title":"Langages formels -- Congrès"},{"@id":"https://ci.nii.ac.jp/books/search?q=Programmation+%28Informatique%29+--+Congr%C3%A8s","dc:title":"Programmation (Informatique) -- Congrès"},{"@id":"https://ci.nii.ac.jp/books/search?q=Algorithmes+--+Congr%C3%A8s","dc:title":"Algorithmes -- Congrès"},{"@id":"https://ci.nii.ac.jp/books/search?q=Computer+algorithms+fast","dc:title":"Computer algorithms fast"},{"@id":"https://ci.nii.ac.jp/books/search?q=Computer+programming+fast","dc:title":"Computer programming fast"},{"@id":"https://ci.nii.ac.jp/books/search?q=Formal+languages+fast","dc:title":"Formal languages fast"},{"@id":"https://ci.nii.ac.jp/books/search?q=Machine+theory+fast","dc:title":"Machine theory fast"},{"@id":"https://ci.nii.ac.jp/books/search?q=Conference+papers+and+proceedings+fast","dc:title":"Conference papers and proceedings fast"}],"dcterms:isPartOf":[{"@id":"https://ci.nii.ac.jp/ncid/BA00009279#entity","dc:title":"Lecture notes in computer science, 6755-6756 . Advanced research in computing and software science","@type":"bibo:Book"}],"dcterms:hasPart":[{"@id":"urn:isbn:9783642220050","dc:title":"pt. 1"},{"@id":"urn:isbn:9783642220111","dc:title":"pt. 2"}]}]}