- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 93,08, Mittelwert: € 72,32
1
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science - Jaikumar Radhakrishnan
Bestellen
bei booklooker.de
€ 93,08
Versand: € 2,701
Bestellengesponserter Link
Jaikumar Radhakrishnan:

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science - Taschenbuch

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…

Versandkosten:Versand nach Deutschland. (EUR 2.70) AHA-BUCH GmbH
2
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science - Pandya, Paritosh K.|Radhakrishnan, Jaikumar
Bestellen
bei AbeBooks.de
€ 81,49
Versand: € 0,001
Bestellengesponserter Link

Pandya, Paritosh K.|Radhakrishnan, Jaikumar:

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science - Taschenbuch

2003, ISBN: 3540206809

[EAN: 9783540206804], Neubuch, [PU: Springer Berlin Heidelberg], INFORMATIK ALGORITHM ALGORITHMICS ALGORITHMS COMPLEXILYTHEORY COMPUTERSCIENCE COMPUTINGTHEORY DISTRIBUTEDALGORITHMS FORMAL… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
3
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings - Radhakrishnan, Jaikumar (Herausgeber); Pandya, Paritosh K (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellengesponserter Link
Radhakrishnan, Jaikumar (Herausgeber); Pandya, Paritosh K (Herausgeber):
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…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science - Pandya, Paritosh K. Radhakrishnan, Jaikumar
Bestellen
bei booklooker.de
€ 77,95
Versand: € 0,001
Bestellengesponserter Link
Pandya, Paritosh K. Radhakrishnan, Jaikumar:
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science - Erstausgabe

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…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
5
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 3,951
Bestellengesponserter Link
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science - Taschenbuch

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…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., zzgl. Versandkosten. (EUR 3.95)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

This book constitutes the refereed proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2003, held in Mumbai, India in December 2003.The 23 revised full papers presented together with 4 invited papers and the abstract of an invited paper were carefully reviewed and selected from 160 submissions. A broad variety of current topics from the theory of computing are addressed, ranging from algorithmics and discrete mathematics to logics and programming theory.

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)


< zum Archiv...