2005, ISBN: 9783540324195
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science ab 106.99 € als pdf eBook: 25th International Conference Hyderabad India December 15-18 2005 Proceedings. … Mehr…
Hugendubel.de Nr. 25407615. Versandkosten:, , DE. (EUR 0.00) Details... |
2005, ISBN: 9783540324195
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science - 25th International Conference Hyderabad India December 15-18 2005 Proceedings: ab 106.99 € Medien > Büch… Mehr…
eBook.de Nr. 25407615. Versandkosten:, , DE. (EUR 0.00) Details... |
2005, ISBN: 9783540324195
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science ab 106.99 EURO 25th International Conference Hyderabad India December 15-18 2005 Proceedings Medien > Büch… Mehr…
eBook.de Nr. 25407615. Versandkosten:, , DE. (EUR 0.00) Details... |
2005, ISBN: 9783540324195
25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2005
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2005, ISBN: 9783540324195
There is currently no description available Books > Computer Science eBook, Springer Shop
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
2005, ISBN: 9783540324195
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science ab 106.99 € als pdf eBook: 25th International Conference Hyderabad India December 15-18 2005 Proceedings. … Mehr…
2005, ISBN: 9783540324195
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science - 25th International Conference Hyderabad India December 15-18 2005 Proceedings: ab 106.99 € Medien > Büch… Mehr…
2005
ISBN: 9783540324195
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science ab 106.99 EURO 25th International Conference Hyderabad India December 15-18 2005 Proceedings Medien > Büch… Mehr…
2005, ISBN: 9783540324195
25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2005
2005, ISBN: 9783540324195
There is currently no description available Books > Computer Science eBook, Springer Shop
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540324195
Erscheinungsjahr: 2005
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2016-05-10T13:50:28+02:00 (Zurich)
Detailseite zuletzt geändert am 2021-10-04T19:17:18+02:00 (Zurich)
ISBN/EAN: 9783540324195
ISBN - alternative Schreibweisen:
978-3-540-32419-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ramanujam
Titel des Buches: international conference software
Daten vom Verlag:
Autor/in: R. Ramanujam; Sandeep Sen
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science - 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
Verlag: Springer; Springer Berlin
566 Seiten
Erscheinungsjahr: 2005-12-06
Berlin; Heidelberg; DE
Sprache: Englisch
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XIV, 566 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Automat; automata; automata theory; complexity; complexity theory; computer; computer science; design; formal method; logic; mathematical logic; programming; algorithm analysis and problem complexity; C; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Algorithms; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Algorithmen und Datenstrukturen; BC
Invited Papers.- Semiperfect-Information Games.- Computational Complexity Since 1980.- Developments in Data Structure Research During the First 25 Years of FSTTCS.- Inference Systems for Logical Algorithms.- From Logic to Games.- Proving Lower Bounds Via Pseudo-random Generators.- Erd?s Magic.- Contributed Papers.- No Coreset, No Cry: II.- Improved Bounds on the Union Complexity of Fat Objects.- On the Bisimulation Congruence in ?-Calculus.- Extending Howe’s Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names.- Approximation Algorithms for Wavelength Assignment.- The Set Cover with Pairs Problem.- Non-disclosure for Distributed Mobile Code.- Quantitative Models and Implicit Complexity.- The MSO Theory of Connectedly Communicating Processes.- Reachability of Hennessy-Milner Properties for Weakly Extended PRS.- Decision Procedures for Queues with Integer Constraints.- The Directed Planar Reachability Problem.- Dimensions of Copeland-Erdös Sequences.- Refining the Undecidability Frontier of Hybrid Automata.- When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?.- Subquadratic Algorithms for Workload-Aware Haar Wavelet Synopses.- Practical Algorithms for Tracking Database Join Sizes.- On Sampled Semantics of Timed Systems.- Eventual Timed Automata.- Causal Closure for MSC Languages.- Reachability Analysis of Multithreaded Software with Asynchronous Communication.- Probabilistic Analysis for a Multiple Depot Vehicle Routing Problem.- Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains.- Towards a CTL* Tableau.- Bisimulation Quantified Logics: Undecidability.- Logarithmic-Time Single Deleter, Multiple Inserter Wait-Free Queues and Stacks.- Monitoring Stable Properties in DynamicPeer-to-Peer Distributed Systems.- On the Expressiveness of TPTL and MTL.- Modal Strength Reduction in Quantified Discrete Duration Calculus.- Comparing Trees Via Crossing Minimization.- On Counting the Number of Consistent Genotype Assignments for Pedigrees.- Fixpoint Logics on Hierarchical Structures.- The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable.- Market Equilibrium for CES Exchange Economies: Existence, Multiplicity, and Computation.- Testing Concurrent Systems: An Interpretation of Intuitionistic Logic.- Proofs of Termination of Rewrite Systems for Polytime Functions.- On the Controller Synthesis for Finite-State Markov Decision Processes.- Reasoning About Quantum Knowledge.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780387587158 Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994 : Proceedings (P. S. Thiagarajan)
- 9780387587158 Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994 : Proceedings (P. S. Thiagarajan)
- 9780387138831 Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science) (Editor-Mathai Joseph)
- 9780387534879 Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings (Lecture Notes in Computer Science) (Kesav V. Nori)
- 9780387549675 Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (S. Biswas; Editor-Kesav V. Nori)
- 9780387171791 Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18-20, 1986 Proceedings (Editor-Kesav V. Nori)
- 9780387575292 Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15-17, 1993 : Proceedings (R. K. Shyamasundar)
- FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science. 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings. (Hariharan, Ramesh et al. (Eds.))
< zum Archiv...