2005, ISBN: 9783540304951
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity to express our appreciation of the foresight and commitment to… Plus…
Orellfuessli.ch Nr. A1000752912. Frais d'envoiLieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Versandfertig innert 1 - 2 Werktagen, zzgl. Versandkosten. (EUR 18.58) Details... |
2005, ISBN: 9783540304951
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity to express our appreciation of the foresight and commitmen… Plus…
Indigo.ca new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
2007, ISBN: 9783540304951
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the refereed proceedings of the 25th International Conference on the Foundations of Software Technology and … Plus…
booklooker.de |
2005, ISBN: 9783540304951
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science - 25th International Conference Hyderabad India December 15-18 2005 Proceedings. Auflage 2005: ab 117.49 €… Plus…
eBook.de Frais d'envoiin stock, , , DE. (EUR 0.00) Details... |
2005, ISBN: 9783540304951
25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2005
lehmanns.de Frais d'envoisofort lieferbar. (EUR 0.00) Details... |
2005, ISBN: 9783540304951
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity to express our appreciation of the foresight and commitment to… Plus…
2005, ISBN: 9783540304951
This year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity to express our appreciation of the foresight and commitmen… Plus…
2007
ISBN: 9783540304951
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the refereed proceedings of the 25th International Conference on the Foundations of Software Technology and … Plus…
2005, ISBN: 9783540304951
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science - 25th International Conference Hyderabad India December 15-18 2005 Proceedings. Auflage 2005: ab 117.49 €… Plus…
2005, ISBN: 9783540304951
25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2005
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Fsttcs 2005: Foundations Of Software Technology And Theoretical Computer Science: 25th International Conference,
EAN (ISBN-13): 9783540304951
ISBN (ISBN-10): 3540304959
Version reliée
Livre de poche
Date de parution: 2005
Editeur: Springer Berlin
Livre dans la base de données depuis 2007-05-26T09:20:42+02:00 (Zurich)
Page de détail modifiée en dernier sur 2022-09-15T13:43:21+02:00 (Zurich)
ISBN/EAN: 9783540304951
ISBN - Autres types d'écriture:
3-540-30495-9, 978-3-540-30495-1
Autres types d'écriture et termes associés:
Auteur du livre: paritosh sen, radhakrishnan, ramanujam, russell
Titre du livre: international conference computer science, foundations software technology and theoretical computer science, hyderabad, proceedings conference, you could have much better 2005, the science and technology the, against technology, proceedings all india
Données de l'éditeur
Auteur: R. Ramanujam; Sandeep Sen
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science - 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
Editeur: Springer; Springer Berlin
566 Pages
Date de parution: 2005-12-07
Berlin; Heidelberg; DE
Poids: 1,800 kg
Langue: Anglais
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XIV, 566 p.
BC; Software Engineering/Programming and Operating Systems; Hardcover, Softcover / 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; Theory of Computation; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Algorithms; Theoretische Informatik; Compiler und Übersetzer; Algorithmen und Datenstrukturen; EA
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 Dynamic Peer-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.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540240587 FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, ... (Lecture Notes in Computer Science, 3328) (Mahajan, Meena, Lodaya, Kamal)
- 9783540240587 FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, ... (Lecture Notes in Computer Science, 3328) (Mahajan, Meena, Lodaya, Kamal)
- 9780387160429 Foundations of Software Technology and Theoretical Computer Science (Maheshwari, S. N.)
- 9783540002253 FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science (Anil Seth)
- 9783540160427 Foundations of Software Technology and Theoretical Computer Science (S. N. Maheshwari)
- 9783540138839 Foundations of Software Technology and Theoretical Computer Science (Joseph, Mathai Shyamasundar, Rudrapatna)
< pour archiver...