2004, ISBN: 9783540240587
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is t… Plus…
BookDepository.com Frais d'envoiVersandkostenfrei. (EUR 0.00) Details... |
2004, ISBN: 9783540240587
Editor: Lodaya, Kamal, Editor: Mahajan, Meena, Springer, Paperback, Auflage: 2005, 548 Seiten, Publiziert: 2004-12-02T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, port. … Plus…
amazon.co.uk BookColor Frais d'envoiUsually dispatched within 3 to 4 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) Details... |
2004, ISBN: 9783540240587
Editor: Lodaya, Kamal, Editor: Mahajan, Meena, Springer, Paperback, Auflage: 2005, 548 Seiten, Publiziert: 2004-12-02T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, port. … Plus…
amazon.co.uk Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) Details... |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, ... Notes in Computer Science, 3328, Band 3328) - Livres de poche
2008, ISBN: 9783540240587
Springer, Taschenbuch, Auflage: 2005, 556 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, port. 1.7 kg, Informatik, IT-Ausbildung & -Berufe, … Plus…
amazon.de Frais d'envoiDie angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings - nouveau livre
2004, ISBN: 3540240586
2005 Kartoniert / Broschiert Informatik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automat; automata; automatatheory; complexity; complexitytheory; compute… Plus…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2004, ISBN: 9783540240587
Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], The international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is t… Plus…
2004, ISBN: 9783540240587
Editor: Lodaya, Kamal, Editor: Mahajan, Meena, Springer, Paperback, Auflage: 2005, 548 Seiten, Publiziert: 2004-12-02T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, port. … Plus…
2004
ISBN: 9783540240587
Editor: Lodaya, Kamal, Editor: Mahajan, Meena, Springer, Paperback, Auflage: 2005, 548 Seiten, Publiziert: 2004-12-02T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, port. … Plus…
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, ... Notes in Computer Science, 3328, Band 3328) - Livres de poche
2008, ISBN: 9783540240587
Springer, Taschenbuch, Auflage: 2005, 556 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, port. 1.7 kg, Informatik, IT-Ausbildung & -Berufe, … Plus…
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings - nouveau livre
2004, ISBN: 3540240586
2005 Kartoniert / Broschiert Informatik, Compiler und Übersetzer, Software Engineering, Theoretische Informatik, Automat; automata; automatatheory; complexity; complexitytheory; compute… Plus…
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - 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)
EAN (ISBN-13): 9783540240587
ISBN (ISBN-10): 3540240586
Version reliée
Livre de poche
Date de parution: 2004
Editeur: Springer
556 Pages
Poids: 0,830 kg
Langue: eng/Englisch
Livre dans la base de données depuis 2007-10-18T12:20:37+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-01-26T14:33:37+01:00 (Zurich)
ISBN/EAN: 9783540240587
ISBN - Autres types d'écriture:
3-540-24058-6, 978-3-540-24058-7
Autres types d'écriture et termes associés:
Auteur du livre: kamal, mahajan, john reynolds
Titre du livre: international conference computer science, foundations software technology and theoretical computer science
Données de l'éditeur
Auteur: Kamal Lodaya; Meena Mahajan
Titre: Lecture Notes in Computer Science; FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science - 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings
Editeur: Springer; Springer Berlin
532 Pages
Date de parution: 2004-12-02
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XVI, 532 p.
BC; 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; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Algorithms; Theoretische Informatik; Compiler und Übersetzer; Algorithmen und Datenstrukturen; EA
Invited Papers.- Genome Halving Problem Revisited.- Verifying Probabilistic Procedural Programs.- Streaming Algorithms for Geometric Problems.- Toward a Grainless Semantics for Shared-Variable Concurrency.- Regular Languages, Unambiguous Concatenation and Computational Complexity.- Contributed Papers.- Decidability of Zenoness, Syntactic Boundedness and Token-Liveness for Dense-Timed Petri Nets.- On the Urgency Expressiveness.- Asynchronous Automata-Theoretic Characterization of Aperiodic Trace Languages.- A Decidable Fragment of Separation Logic.- Approximate Range Searching Using Binary Space Partitions.- Representable Disjoint NP-Pairs.- Symbolic Reachability Analysis of Higher-Order Context-Free Processes.- Optimal Strategies in Priced Timed Game Automata.- A Calculus for Trust Management.- Short-Cuts on Star, Source and Planar Unfoldings.- Subdividing Alpha Complex.- Real-Counter Automata and Their Decision Problems.- Adjunct Elimination Through Games in Static Ambient Logic.- On the Bisimulation Invariant Fragment of Monadic ?1 in the Finite.- On the Complexity of Hilbert’s 17th Problem.- Who is Pointing When to Whom?.- An Almost Linear Time Approximation Algorithm for the Permanent of a Random (0-1) Matrix.- Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems.- Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS.- Minimum Weight Pseudo-Triangulations.- Join Algorithms for the Theory of Uninterpreted Functions.- No, Coreset, No Cry.- Hardness Hypotheses, Derandomization, and Circuit Complexity.- Improved Approximation Algorithms for Maximum Graph Partitioning Problems Extended Abstract.- Learning Languages from Positive Data and a Finite Number of Queries.- The Complexity of the Local Hamiltonian Problem.-Quantum and Classical Communication-Space Tradeoffs from Rectangle Bounds.- Adaptive Stabilization of Reactive Protocols.- Visibly Pushdown Games.- Refinement and Separation Contexts.- Decidability of MSO Theories of Tree Structures.- Distributed Algorithms for Coloring and Domination in Wireless Ad Hoc Networks.- Monotone Multilinear Boolean Circuits for Bipartite Perfect Matching Require Exponential Size.- Testing Geometric Convexity.- Complexity of Linear Connectivity Problems in Directed Hypergraphs.- Actively Learning to Verify Safety for FIFO Automata.- Reasoning About Game Equilibria Using Temporal Logic.- Alternation in Equational Tree Automata Modulo XOR.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540324195 FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (R. Ramanujam; Sandeep Sen)
- 9783540324195 FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (R. Ramanujam; Sandeep Sen)
- 9783540305385 FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Kamal Lodaya; Meena Mahajan)
- 9783540499954 FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Springer)
- 9783540304951 Fsttcs 2005: Foundations Of Software Technology And Theoretical Computer Science: 25th International Conference, (R. Ramanujam)
- 9783540499947 FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (S. Arun-Kumar; Naveen Garg)
< pour archiver...