2006, ISBN: 9783540499954
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkat… Plus…
Buch.ch No. 43944556 Frais d'envoizzgl. Versandkosten, Livraison non-comprise Details... |
2006, ISBN: 9783540499954
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkat… Plus…
Orellfuessli.ch No. 43944556. Frais d'envoiZzgl. Versandkosten. (EUR 15.61) Details... |
2006, ISBN: 9783540499954
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science - 26th International Conference Kolkata India December 13-15 2006 Proceedings: ab 53.49 € eBooks > Fachthe… Plus…
eBook.de Frais d'envoiin stock, , , zzgl. Versandkosten., Livraison non-comprise Details... |
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science : 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings - nouveau livre
2006, ISBN: 9783540499954
; PDF \ Alexei Solovchenko; Computing > Computing: general, Springer Berlin Heidelberg
hive.co.uk No. 9783540499954 Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten, Livraison non-comprise Details... |
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science : 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings - nouveau livre
2006, ISBN: 9783540499954
; PDF; Computing > Computing: general, Steinkopff
hive.co.uk No. 9783540499954. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise Details... |
2006, ISBN: 9783540499954
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkat… Plus…
Springer:
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science - nouveau livre2006, ISBN: 9783540499954
This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkat… Plus…
2006
ISBN: 9783540499954
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science - 26th International Conference Kolkata India December 13-15 2006 Proceedings: ab 53.49 € eBooks > Fachthe… Plus…
Données bibliographiques du meilleur livre correspondant
Informations détaillées sur le livre - FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540499954
Date de parution: 2006
Editeur: Springer Berlin Heidelberg
Livre dans la base de données depuis 2015-11-09T18:01:03+01:00 (Zurich)
Page de détail modifiée en dernier sur 2023-12-02T15:34:37+01:00 (Zurich)
ISBN/EAN: 9783540499954
ISBN - Autres types d'écriture:
978-3-540-49995-4
Autres types d'écriture et termes associés:
Auteur du livre: garg
Titre du livre: the science and technology the, india, international conference software, computer science
Données de l'éditeur
Auteur: S. Arun-Kumar; Naveen Garg
Titre: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science - 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
Editeur: Springer; Springer Berlin
434 Pages
Date de parution: 2006-11-30
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIII, 434 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Anwendungs-Software; Angewandte Informatik; Verstehen; Automat; automata; automata theory; complexity; complexity theory; computer; computer science; formal method; logic; mathematical logic; programming; algorithm analysis and problem complexity; C; Computer and Information Systems Applications; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Algorithms; Theory of Computation; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Algorithmen und Datenstrukturen; BC
Invited Papers.- Shared-Variable Concurrency: A Proposal.- Hennessy-Plotkin-Brookes Revisited.- Approximation Algorithms for 2-Stage Stochastic Optimization Problems.- The Number of Crossing Free Configurations on Finite Point Sets in the Plane.- Contributed Papers – Track A.- Normal and Feature Approximations from Noisy Point Clouds.- Coresets for Discrete Integration and Clustering.- Self-assemblying Classes of Shapes with a Minimum Number of Tiles, and in Optimal Time.- One-Input-Face MPCVP Is Hard for L, But in LogDCFL.- Hardness of Approximation Results for the Problem of Finding the Stopping Distance in Tanner Graphs.- Multi-stack Boundary Labeling Problems.- Computing a Center-Transversal Line.- On Obtaining Pseudorandomness from Error-Correcting Codes.- Fast Edge Colorings with Fixed Number of Colors to Minimize Imbalance.- Zero Error List-Decoding Capacity of the q/(q–1) Channel.- Fast Exponential Algorithms for Maximum r-Regular Induced Subgraph Problems.- Solving Connected Dominating Set Faster Than 2 n .- Linear-Time Algorithms for Two Subtree-Comparison Problems on Phylogenetic Trees with Different Species.- Computationally Sound Symbolic Secrecy in the Presence of Hash Functions.- Some Results on Average-Case Hardness Within the Polynomial Hierarchy.- Unbiased Rounding of Rational Matrices.- Contributed Papers – Track B.- Rational Behaviour and Strategy Construction in Infinite Multiplayer Games.- The Anatomy of Innocence Revisited.- Testing Probabilistic Equivalence Through Reinforcement Learning.- On Decidability of LTL Model Checking for Process Rewrite Systems.- Monitoring of Real-Time Properties.- A Proof System for the Linear Time ?-Calculus.- Tree Automata Make Ordinal Theory Easy.- Context-Sensitive Dependency Pairs.- On Reduction Criteriafor Probabilistic Reward Models.- Distributed Synthesis for Well-Connected Architectures.- The Meaning of Ordered SOS.- Almost Optimal Strategies in One Clock Priced Timed Games.- Expressivity Properties of Boolean BI Through Relational Models.- On Continuous Timed Automata with Input-Determined Guards.- Safely Freezing LTL.- Branching Pushdown Tree Automata.- Validity Checking for Finite Automata over Linear Arithmetic Constraints.- Game Semantics for Higher-Order Concurrency.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
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.))
< pour archiver...