Holdings: FSTTCS 2005: Foundations of software technology and theoretical computer science

FSTTCS 2005: Foundations of software technology and theoretical computer science: 25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings

Saved in:

Bibliographic Details
Corporate Author:	FSTTCS Hyderabad (Author)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 2005
Series:	Lecture Notes in Computer Science 3821
Subjects:	Theoretische Informatik Programmierung Konferenzschrift > 2005 > Hyderabad Andhra Pradesh
Online Access:	Inhaltsverzeichnis
Physical Description:	XIV, 566 S. Ill., graph. Darst.
ISBN:	9783540304951 3540304959

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV021237257
003	DE-604
005	20080311
007	t\|
008	051123s2005 gw ad\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 05,N48,0024 \|2 dnb
016	7		\|a 977011747 \|2 DE-101
020			\|a 9783540304951 \|9 978-3-540-30495-1
020			\|a 3540304959 \|c : EUR 94.16 (freier Pr.), sfr 149.00 (freier Pr.) \|9 3-540-30495-9
024	3		\|a 9783540304951
028	5	2	\|a 11590156
035			\|a (OCoLC)255028228
035			\|a (DE-599)BVBBV021237257
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-824 \|a DE-739 \|a DE-91G \|a DE-473 \|a DE-706 \|a DE-83
082	0		\|a 005.3
084			\|a 004 \|2 sdnb
084			\|a DAT 310f \|2 stub
084			\|a DAT 500f \|2 stub
111	2		\|a FSTTCS \|n 25 \|d 2005 \|c Hyderabad \|j Verfasser \|0 (DE-588)10122895-8 \|4 aut
245	1	0	\|a FSTTCS 2005: Foundations of software technology and theoretical computer science \|b 25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings \|c R. Ramanujam ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2005
300			\|a XIV, 566 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 3821
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierung \|0 (DE-588)4076370-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2005 \|z Hyderabad Andhra Pradesh \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	1		\|5 DE-604
700	1		\|a Ramanujam, Ramaswamy \|e Sonstige \|0 (DE-588)115473734 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 3821 \|w (DE-604)BV000000607 \|9 3821
856	4	2	\|m Digitalisierung UBPassau \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014279996&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-014279996

Record in the Search Index

_version_	1820874972112879616
adam_text	Table of Contents Invited Papers Semiperfect-Information Games. 1 Krishnendu Chatterjee and Thomas A. Henzinger Computational Complexity Since 1980. 19 Russell Impagliazzo Developments in Data Structure Research During the First 25 Years of FSTTCS . 48 Raimund Seidel Inference Systems for Logical Algorithms . 60 Natarajan Shankar From Logic to Games. 79 Igor Walukiewicz Proving Lower Bounds Via Pseudo-random Generators. 92 Manindra Agrawal Erdos Magic. 106 Joel Spencer Contributed Papers No Coreset, No Cry: II . 107 Michael Edwards and Kasturi Varadarajan Improved Bounds on the Union Complexity of Fat Objects. 116 Mark de Berg On the Bisimulation Congruence in x-Calculus. 128 Taolue Chen, Tingting Han, and Jian Lu Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names . 140 Jens Chr. Godskesen and Thomas HUdebrandt Approximation Algorithms for Wavelength Assignment. 152 Vijay Kumar and Atri Rudra The Set Cover with Pairs Problem. 164 Refael Hassin and Danny Segev XII Table of Contents Non-disclosure for Distributed Mobile Code. 177 Ana Almeida Matos Quantitative Models and Implicit Complexity. 189 Ugo Dal Logo and Martin Hofmann The MSO Theory of Connectedly Communicating Processes. 201 P. Madhusudan, P.S. Thiagarajan, and Shaofa Yang Reachability of Hennessy-Milner Properties for Weakly Extended PRS . 213 Mojmir KfeUnsky, VojUch Aehdk, and Jan StrejSek Decision Procedures for Queues with Integer Constraints . 225 Ting Zhang, Henny B. Sipma, and Zohar Manna The Directed Planar Reachability Problem . 238 Eric Allender, Samir Datta, and Sambuddha Roy Dimensions of Copeland-Erdos Sequences. 250 Xiaoyang Gu, Jack H. Lutz, and PhUippe Moser Refining the Undecidability Frontier of Hybrid Automata. 261 Venkatesh Mysore and Amir Pnueli When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?. 273 Beatrice B4rard, Franck Cassez, Serge Haddad, Didier Lime, and Olivier H. Roux Subquadratic Algorithms for Workload-Aware Haar Wavelet Synopses . 285 S. Muthvkrishnan Practical Algorithms for Tracking Database Join Sizes. 297 Sumit Ganguly, Deepanjan Kesh, 'and Chandan Saha On Sampled Semantics of Timed Systems. 310 Pavel Kr£dl and Radek Peldnek Eventual Timed Automata. 322 Deepak D 'Souza and M. Raj Mohan Causal Closure for MSC Languages. 335 Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, and Vasumathi Narayanan Reachability Analysis of Multithreaded Software with Asynchronous Communication. 348 Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, and Jan Strejdek Table of Contents XIII Probabilistic Analysis for a Multiple Depot Vehicle Routing Problem . 360 Andreas Baltz, Devdatt Dubhashi, Libertad Tansini, Anand Srivastav, and Soren Werth Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains.-----. 372 TomdS BrdzdU and Antonin Kudera Towards a CTL* Tableau. 384 Mark Reynolds Bisimulation Quantified Logics: Undecidability. 396 Tim French Logarithmic-Time Single Deleter, Multiple Inserter Wait-Eree Queues and Stacks . 408 Prasad Jayanti and Srdjan Petrovic Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems. 420 Sathya Peri and Neeraj Mittal On the Expressiveness of TPTL and MTL. 432 Patricia Bouyer, Fabrice Chevalier, and Nicolas Markey Modal Strength Reduction in Quantified Discrete Duration Calculus. 444 Shankara Narayanan Krishna and Paritosh K. Pandya Comparing Trees Via Crossing Minimization. 457 Henning Fernau, Michael Kauflnann, and Mabhias Poths On Counting the Number of Consistent Genotype Assignments for Pedigrees. 470 JMSrba Fixpoint Logics on Hierarchical Structures. 483 Stefan Goller and Markus Lohrey The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable. 495 Joost Engelfriet and Sebastian Maneth Market Equilibrium for CES Exchange Economies: Existence, Multiplicity, and Computation . 505 Bruno Codenotti, Benton McCune, Siiram Penumatcha, and Kasturi Varadarajan Testing Concurrent Systems: An Interpretation of Intuitionistic Logic---- 517 Radha Jagadeesan, Gopalan Nadathur, and Vijay Saraswat XIV Table of Contents Proofs of Termination of Rewrite Systems for Polytime Functions. 529 Toshiyasu Ami and Georg Moser On the Controller Synthesis for Finite-State Markov Decision Processes . 541 Antonin Ku6era and OldHch Strazovsky Reasoning About Quantum Knowledge. 553 Elite D'Hondt and Prakash Panangaden Author Index . 565
adam_txt	Table of Contents Invited Papers Semiperfect-Information Games. 1 Krishnendu Chatterjee and Thomas A. Henzinger Computational Complexity Since 1980. 19 Russell Impagliazzo Developments in Data Structure Research During the First 25 Years of FSTTCS . 48 Raimund Seidel Inference Systems for Logical Algorithms . 60 Natarajan Shankar From Logic to Games. 79 Igor Walukiewicz Proving Lower Bounds Via Pseudo-random Generators. 92 Manindra Agrawal Erdos Magic. 106 Joel Spencer Contributed Papers No Coreset, No Cry: II . 107 Michael Edwards and Kasturi Varadarajan Improved Bounds on the Union Complexity of Fat Objects. 116 Mark de Berg On the Bisimulation Congruence in x-Calculus. 128 Taolue Chen, Tingting Han, and Jian Lu Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names . 140 Jens Chr. Godskesen and Thomas HUdebrandt Approximation Algorithms for Wavelength Assignment. 152 Vijay Kumar and Atri Rudra The Set Cover with Pairs Problem. 164 Refael Hassin and Danny Segev XII Table of Contents Non-disclosure for Distributed Mobile Code. 177 Ana Almeida Matos Quantitative Models and Implicit Complexity. 189 Ugo Dal Logo and Martin Hofmann The MSO Theory of Connectedly Communicating Processes. 201 P. Madhusudan, P.S. Thiagarajan, and Shaofa Yang Reachability of Hennessy-Milner Properties for Weakly Extended PRS . 213 Mojmir KfeUnsky, VojUch Aehdk, and Jan StrejSek Decision Procedures for Queues with Integer Constraints . 225 Ting Zhang, Henny B. Sipma, and Zohar Manna The Directed Planar Reachability Problem . 238 Eric Allender, Samir Datta, and Sambuddha Roy Dimensions of Copeland-Erdos Sequences. 250 Xiaoyang Gu, Jack H. Lutz, and PhUippe Moser Refining the Undecidability Frontier of Hybrid Automata. 261 Venkatesh Mysore and Amir Pnueli When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?. 273 Beatrice B4rard, Franck Cassez, Serge Haddad, Didier Lime, and Olivier H. Roux Subquadratic Algorithms for Workload-Aware Haar Wavelet Synopses . 285 S. Muthvkrishnan Practical Algorithms for Tracking Database Join Sizes. 297 Sumit Ganguly, Deepanjan Kesh, 'and Chandan Saha On Sampled Semantics of Timed Systems. 310 Pavel Kr£dl and Radek Peldnek Eventual Timed Automata. 322 Deepak D 'Souza and M. Raj Mohan Causal Closure for MSC Languages. 335 Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, and Vasumathi Narayanan Reachability Analysis of Multithreaded Software with Asynchronous Communication. 348 Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, and Jan Strejdek Table of Contents XIII Probabilistic Analysis for a Multiple Depot Vehicle Routing Problem . 360 Andreas Baltz, Devdatt Dubhashi, Libertad Tansini, Anand Srivastav, and Soren Werth Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains.-----. 372 TomdS BrdzdU and Antonin Kudera Towards a CTL* Tableau. 384 Mark Reynolds Bisimulation Quantified Logics: Undecidability. 396 Tim French Logarithmic-Time Single Deleter, Multiple Inserter Wait-Eree Queues and Stacks . 408 Prasad Jayanti and Srdjan Petrovic Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems. 420 Sathya Peri and Neeraj Mittal On the Expressiveness of TPTL and MTL. 432 Patricia Bouyer, Fabrice Chevalier, and Nicolas Markey Modal Strength Reduction in Quantified Discrete Duration Calculus. 444 Shankara Narayanan Krishna and Paritosh K. Pandya Comparing Trees Via Crossing Minimization. 457 Henning Fernau, Michael Kauflnann, and Mabhias Poths On Counting the Number of Consistent Genotype Assignments for Pedigrees. 470 JMSrba Fixpoint Logics on Hierarchical Structures. 483 Stefan Goller and Markus Lohrey The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable. 495 Joost Engelfriet and Sebastian Maneth Market Equilibrium for CES Exchange Economies: Existence, Multiplicity, and Computation . 505 Bruno Codenotti, Benton McCune, Siiram Penumatcha, and Kasturi Varadarajan Testing Concurrent Systems: An Interpretation of Intuitionistic Logic---- 517 Radha Jagadeesan, Gopalan Nadathur, and Vijay Saraswat XIV Table of Contents Proofs of Termination of Rewrite Systems for Polytime Functions. 529 Toshiyasu Ami and Georg Moser On the Controller Synthesis for Finite-State Markov Decision Processes . 541 Antonin Ku6era and OldHch Strazovsky Reasoning About Quantum Knowledge. 553 Elite D'Hondt and Prakash Panangaden Author Index . 565
any_adam_object	1
any_adam_object_boolean	1
author_GND	(DE-588)115473734
author_corporate	FSTTCS Hyderabad
author_corporate_role	aut
author_facet	FSTTCS Hyderabad
author_sort	FSTTCS Hyderabad
building	Verbundindex
bvnumber	BV021237257
classification_rvk	SS 4800
classification_tum	DAT 310f DAT 500f
ctrlnum	(OCoLC)255028228 (DE-599)BVBBV021237257
dewey-full	005.3
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.3
dewey-search	005.3
dewey-sort	15.3
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
format	Conference Proceeding Book
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">BV021237257</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080311</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">051123s2005 gw ad\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N48,0024</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">977011747</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540304951</subfield><subfield code="9">978-3-540-30495-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540304959</subfield><subfield code="c">: EUR 94.16 (freier Pr.), sfr 149.00 (freier Pr.)</subfield><subfield code="9">3-540-30495-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540304951</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11590156</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255028228</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021237257</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FSTTCS</subfield><subfield code="n">25</subfield><subfield code="d">2005</subfield><subfield code="c">Hyderabad</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10122895-8</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">FSTTCS 2005: Foundations of software technology and theoretical computer science</subfield><subfield code="b">25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings</subfield><subfield code="c">R. Ramanujam ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 566 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">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">Lecture Notes in Computer Science</subfield><subfield code="v">3821</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">2005</subfield><subfield code="z">Hyderabad Andhra Pradesh</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ramanujam, Ramaswamy</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)115473734</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">3821</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3821</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</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=014279996&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014279996</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2005 Hyderabad Andhra Pradesh gnd-content
genre_facet	Konferenzschrift 2005 Hyderabad Andhra Pradesh
id	DE-604.BV021237257
illustrated	Illustrated
index_date	2024-07-02T13:30:07Z
indexdate	2025-01-10T15:08:12Z
institution	BVB
institution_GND	(DE-588)10122895-8
isbn	9783540304951 3540304959
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-014279996
oclc_num	255028228
open_access_boolean
owner	DE-824 DE-739 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-706 DE-83
owner_facet	DE-824 DE-739 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-706 DE-83
physical	XIV, 566 S. Ill., graph. Darst.
publishDate	2005
publishDateSearch	2005
publishDateSort	2005
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	FSTTCS 25 2005 Hyderabad Verfasser (DE-588)10122895-8 aut FSTTCS 2005: Foundations of software technology and theoretical computer science 25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings R. Ramanujam ... (eds.) Berlin [u.a.] Springer 2005 XIV, 566 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 3821 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 Hyderabad Andhra Pradesh gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Programmierung (DE-588)4076370-5 s Ramanujam, Ramaswamy Sonstige (DE-588)115473734 oth Lecture Notes in Computer Science 3821 (DE-604)BV000000607 3821 Digitalisierung UBPassau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014279996&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	FSTTCS 2005: Foundations of software technology and theoretical computer science 25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings Lecture Notes in Computer Science Theoretische Informatik (DE-588)4196735-5 gnd Programmierung (DE-588)4076370-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4076370-5 (DE-588)1071861417
title	FSTTCS 2005: Foundations of software technology and theoretical computer science 25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings
title_auth	FSTTCS 2005: Foundations of software technology and theoretical computer science 25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings
title_exact_search	FSTTCS 2005: Foundations of software technology and theoretical computer science 25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings
title_exact_search_txtP	FSTTCS 2005: Foundations of software technology and theoretical computer science 25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings
title_full	FSTTCS 2005: Foundations of software technology and theoretical computer science 25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings R. Ramanujam ... (eds.)
title_fullStr	FSTTCS 2005: Foundations of software technology and theoretical computer science 25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings R. Ramanujam ... (eds.)
title_full_unstemmed	FSTTCS 2005: Foundations of software technology and theoretical computer science 25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings R. Ramanujam ... (eds.)
title_short	FSTTCS 2005: Foundations of software technology and theoretical computer science
title_sort	fsttcs 2005 foundations of software technology and theoretical computer science 25th international conference hyderabad india december 15 18 2005 proceedings
title_sub	25th International Conference, Hyderabad, India, December 15 - 18, 2005 ; proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd Programmierung (DE-588)4076370-5 gnd
topic_facet	Theoretische Informatik Programmierung Konferenzschrift 2005 Hyderabad Andhra Pradesh
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014279996&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT fsttcshyderabad fsttcs2005foundationsofsoftwaretechnologyandtheoreticalcomputerscience25thinternationalconferencehyderabadindiadecember15182005proceedings AT ramanujamramaswamy fsttcs2005foundationsofsoftwaretechnologyandtheoreticalcomputerscience25thinternationalconferencehyderabadindiadecember15182005proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items