2003, ISBN: 9783540206804
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - Over the past two decades, the Foundations of Software Technology and Th- retical Computer Science (FSTTCS) conferences have… Mehr…
booklooker.de |
2003, ISBN: 3540206809
[EAN: 9783540206804], Neubuch, [PU: Springer Berlin Heidelberg], INFORMATIK ALGORITHM ALGORITHMICS ALGORITHMS COMPLEXILYTHEORY COMPUTERSCIENCE COMPUTINGTHEORY DISTRIBUTEDALGORITHMS FORMAL… Mehr…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings - neues Buch
2003, ISBN: 3540206809
2003 Kartoniert / Broschiert Informatik, Compiler und Übersetzer, Angewandte Informatik, Theoretische Informatik, algorithm; algorithmics; algorithms; complexilytheory; computerscience;… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2003, ISBN: 9783540206804
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contributed Papers.- A Cr… Mehr…
booklooker.de |
2003, ISBN: 9783540206804
*FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science* - 23rd Conference Mumbai India December 15-17 2003 Proceedings. Auflage 2003 / Taschenbuch für 53.49 € … Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., zzgl. Versandkosten. (EUR 3.95) Details... |
2003, ISBN: 9783540206804
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - Over the past two decades, the Foundations of Software Technology and Th- retical Computer Science (FSTTCS) conferences have… Mehr…
Pandya, Paritosh K.|Radhakrishnan, Jaikumar:
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science - Taschenbuch2003, ISBN: 3540206809
[EAN: 9783540206804], Neubuch, [PU: Springer Berlin Heidelberg], INFORMATIK ALGORITHM ALGORITHMICS ALGORITHMS COMPLEXILYTHEORY COMPUTERSCIENCE COMPUTINGTHEORY DISTRIBUTEDALGORITHMS FORMAL… Mehr…
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings - neues Buch
2003
ISBN: 3540206809
2003 Kartoniert / Broschiert Informatik, Compiler und Übersetzer, Angewandte Informatik, Theoretische Informatik, algorithm; algorithmics; algorithms; complexilytheory; computerscience;… Mehr…
2003, ISBN: 9783540206804
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contributed Papers.- A Cr… Mehr…
2003, ISBN: 9783540206804
*FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science* - 23rd Conference Mumbai India December 15-17 2003 Proceedings. Auflage 2003 / Taschenbuch für 53.49 € … Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540206804
ISBN (ISBN-10): 3540206809
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg
464 Seiten
Gewicht: 0,696 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-10-18T12:20:37+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-12-02T15:34:46+01:00 (Zurich)
ISBN/EAN: 9783540206804
ISBN - alternative Schreibweisen:
3-540-20680-9, 978-3-540-20680-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: radhakrishnan, ito, pandy
Titel des Buches: fst tcs 2003 foundations software technology theoretical computer science, mumbai, lecture notes computer science, foundations software technology and theoretical computer science, foundation, the science and technology the, proceedings all india
Daten vom Verlag:
Autor/in: Paritosh K Pandya; Jaikumar Radhakrishnan
Titel: Lecture Notes in Computer Science; FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science - 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings
Verlag: Springer; Springer Berlin
454 Seiten
Erscheinungsjahr: 2003-12-03
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIV, 454 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; algorithm; algorithmics; algorithms; complexily theory; computer; computer science; computing theory; distributed algorithms; formal methods; optimization; program semantics; programming; programming calculs; programming theory; theoretical computer science; algorithm analysis and problem complexity; Theory of Computation; Computer and Information Systems Applications; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Algorithms; Angewandte Informatik; Compiler und Übersetzer; Algorithmen und Datenstrukturen; EA
Contributed Papers.- A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol.- Constructions of Sparse Asymmetric Connectors.- A Separation Logic for Resource Distribution.- An Equational Theory for Transactions.- Axioms for Regular Words.- 1-Bounded TWA Cannot Be Determinized.- Reachability Analysis of Process Rewrite Systems.- Pushdown Games with Unboundedness and Regular Conditions.- Real-Time Model-Checking: Parameters Everywhere.- The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata.- Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents.- Subtyping Constraints in Quasi-lattices.- An Improved Approximation Scheme for Computing Arrow-Debreu Prices for the Linear Case.- Word Equations over Graph Products.- Analysis and Experimental Evaluation of a Simple Algorithm for Collaborative Filtering in Planted Partition Models.- Comparing Sequences with Segment Rearrangements.- On Logically Defined Recognizable Tree Languages.- Randomized Time-Space Tradeoffs for Directed Graph Connectivity.- Distance-Preserving Approximations of Polygonal Paths.- Joint Separation of Geometric Clusters and the Extreme Irregularities of Regular Polyhedra.- On the Covering Steiner Problem.- Minimality Results for the Spatial Logics.- Algorithms for Non-uniform Size Data Placement on Parallel Disks.- Efficient Algorithms for Abelian Group Isomorphism and Related Problems.- Quasi-polynomial Time Approximation Algorithm for Low-Degree Minimum-Cost Steiner Trees.- Model Checking and Satisfiability for Sabotage Modal Logic.- Merging and Sorting By Strip Moves.- The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase.- Distributed Games.- Maintenance of Multidimensional Histograms.- Tagging Makes Secrecy Decidable with Unbounded Nonces as Well.- Quantum and Classical Complexity Classes: Separations, Collapses, and Closure Properties.- On the Greedy Superstring Conjecture.- Invited Papers.- Reasoning about Infinite State Systems Using Boolean Methods.- Stringent Relativization.- Component-Based Construction of Deadlock-Free Systems.- Moderately Hard Functions: From Complexity to Spam Fighting.- Zigzag Products, Expander Constructions, Connections, and Applications.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...