FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Algorithm Analysis and Problem Complexity Computation by Abstract Devices Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Theory of Computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page
container_issue
container_start_page
container_title
container_volume	3821
description
doi_str_mv	10.1007/11590156
format	Conference Proceeding
fullrecord	<record><control><sourceid>springer</sourceid><recordid>TN_cdi_springer_books_10_1007_11590156</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>127876</sourcerecordid><originalsourceid>FETCH-LOGICAL-a20944-ca53a12b3c35bfd03c3a8d543cfcdcf691a24023385ca86aba88900e6d17331b3</originalsourceid><addsrcrecordid>eNo1kEtLxDAUheMLHMeCPyErd9V7c5M2cSfFUWFAocVtSdN0plqboe0g_nvr62y-AwfO4mPsAuEKAdJrRGUAVXLAzkhJICHRyEO2wAQxJpLmiEUm1T8bSKPwmC3mJmKTSjpl0Ti-whzCVKNasOdVXhRZzgWAuuGrsO9rO7WhH3loeB6a6cMOnhfebfvQhc0nt33Ni60Pg59aZzuehffdfvIDz13re-fP2Ulju9FHf1yyl9VdkT3E66f7x-x2HVsBRsrYWUUWRUWOVNXUMNPqWklyjatdkxi0QoIg0spZndjKam0AfFJjSoQVLdnl7_G4G9p-44eyCuFtLBHKb1Hlvyj6Ath2U20</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings</title><source>Springer Books</source><contributor>Sarukkai, Sundar ; Sen, Sandeep</contributor><creatorcontrib>Sarukkai, Sundar ; Sen, Sandeep</creatorcontrib><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 9783540304951</identifier><identifier>ISBN: 3540304959</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540324194</identifier><identifier>EISBN: 9783540324195</identifier><identifier>DOI: 10.1007/11590156</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><subject>Algorithm Analysis and Problem Complexity ; Computation by Abstract Devices ; Computer Science ; Logics and Meanings of Programs ; Programming Languages, Compilers, Interpreters ; Software Engineering/Programming and Operating Systems ; Theory of Computation</subject><creationdate>2005</creationdate><rights>Springer-Verlag Berlin Heidelberg 2005</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://media.springernature.com/w306/springer-static/cover-hires/book/978-3-540-32419-5</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/11590156$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/11590156$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,776,780,785,4036,27902,38232,41418,42487</link.rule.ids></links><search><contributor>Sarukkai, Sundar</contributor><contributor>Sen, Sandeep</contributor><title>FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings</title><subject>Algorithm Analysis and Problem Complexity</subject><subject>Computation by Abstract Devices</subject><subject>Computer Science</subject><subject>Logics and Meanings of Programs</subject><subject>Programming Languages, Compilers, Interpreters</subject><subject>Software Engineering/Programming and Operating Systems</subject><subject>Theory of Computation</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>9783540304951</isbn><isbn>3540304959</isbn><isbn>3540324194</isbn><isbn>9783540324195</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2005</creationdate><recordtype>conference_proceeding</recordtype><sourceid/><recordid>eNo1kEtLxDAUheMLHMeCPyErd9V7c5M2cSfFUWFAocVtSdN0plqboe0g_nvr62y-AwfO4mPsAuEKAdJrRGUAVXLAzkhJICHRyEO2wAQxJpLmiEUm1T8bSKPwmC3mJmKTSjpl0Ti-whzCVKNasOdVXhRZzgWAuuGrsO9rO7WhH3loeB6a6cMOnhfebfvQhc0nt33Ni60Pg59aZzuehffdfvIDz13re-fP2Ulju9FHf1yyl9VdkT3E66f7x-x2HVsBRsrYWUUWRUWOVNXUMNPqWklyjatdkxi0QoIg0spZndjKam0AfFJjSoQVLdnl7_G4G9p-44eyCuFtLBHKb1Hlvyj6Ath2U20</recordid><startdate>2005</startdate><enddate>2005</enddate><general>Springer Berlin Heidelberg</general><scope/></search><sort><creationdate>2005</creationdate><title>FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science</title></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a20944-ca53a12b3c35bfd03c3a8d543cfcdcf691a24023385ca86aba88900e6d17331b3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Algorithm Analysis and Problem Complexity</topic><topic>Computation by Abstract Devices</topic><topic>Computer Science</topic><topic>Logics and Meanings of Programs</topic><topic>Programming Languages, Compilers, Interpreters</topic><topic>Software Engineering/Programming and Operating Systems</topic><topic>Theory of Computation</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Sarukkai, Sundar</au><au>Sen, Sandeep</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings</atitle><date>2005</date><risdate>2005</risdate><volume>3821</volume><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>9783540304951</isbn><isbn>3540304959</isbn><eisbn>3540324194</eisbn><eisbn>9783540324195</eisbn><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/11590156</doi></addata></record>
fulltext	fulltext
identifier	ISSN: 0302-9743
ispartof
issn	0302-9743 1611-3349
language	eng
recordid	cdi_springer_books_10_1007_11590156
source	Springer Books
subjects	Algorithm Analysis and Problem Complexity Computation by Abstract Devices Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Theory of Computation
title	FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-01T08%3A31%3A08IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-springer&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=FSTTCS%202005:%20Foundations%20of%20Software%20Technology%20and%20Theoretical%20Computer%20Science:%2025th%20International%20Conference,%20Hyderabad,%20India,%20December%2015-18,%202005.%20Proceedings&rft.au=Sarukkai,%20Sundar&rft.date=2005&rft.volume=3821&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=9783540304951&rft.isbn_list=3540304959&rft_id=info:doi/10.1007/11590156&rft_dat=%3Cspringer%3E127876%3C/springer%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540324194&rft.eisbn_list=9783540324195&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true