The item you selected is unavailable, but we found something similar.

Picture 1 of 1

Stock photo

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Scienc - Picture 1 of 1

Lecture Notes in Computer Science Ser.: FST TCS 2003 - Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai India, December 2003 - Proceedings by Jaikumar Radhakrishnan (2003, Trade Paperback)

Be the first towrite a review.

grandeagleretail (918690)
98.2% positive feedback

Price:

$67.88

Free shipping

Estimated delivery Wed, May 22 - Sat, May 25

Returns:

30 days returns. Buyer pays for return shipping.

Condition:

Brand New

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science by Paritosh K. Pandya, Jaikumar Radhakrishnan. 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.

About this product

Product Information

Over the past two decades, the Foundations of Software Technology and Th- retical Computer Science (FSTTCS) conferences have been providing an - nual forum in India for the presentation and publication of results in computer science from around the world. This volume contains the proceedings of the 23rd FSTTCS, organized under the aegis of the Indian Association for Research in Computing Science (IARCS). FSTTCS 2003 attracted over 160 submissions from 29 countries. After obt- ning521refereereportswithinaperiodofonemonth,theprogrammecommittee accepted33contributedpapers,themaximumthatcould'tintoatwo-and-ha- day programme. Unfortunately, many good papers had to be turned away. We thankalltheauthorsforsubmittingtheirpaperstoFSTTCS2003.Wethankthe reviewers for the tremendous support they provided to the conference through theirinformedandthoroughreviewsofthepapers.Wesincerelythankthem- bers of the programme committee for lending their names to the conference and for meeting the challenge arising out of the increased number of submissions this year. We are especially grateful to Kamal Lodaya who came down to Mumbai to assist us during the PC meeting. FSTTCS programmes have always featured highly eminent computer sci- tists as invited speakers. It is our great pleasure to thank the invited speakers of FSTTCS 2003, Randal Bryant, Moni Naor, Joseph Sifakis, Osamu Wat- abe and Avi Wigderson, who graciously agreed to speak at the conference and contribute to this volume. For several years now, topical workshops have been organized together with FSTTCS conferences. This year, the conference was preceded by a workshop on Advances in Model Checking, and was followed by a workshop on Algorithms for ProcessingMassiveDataSets.Wethanktheorganizersandspeakersforagreeing to come and share their expertise.

Product Identifiers

Publisher
Springer Berlin / Heidelberg
ISBN-10
3540206809
ISBN-13
9783540206804
eBay Product ID (ePID)
30471770

Product Key Features

Author
Jaikumar Radhakrishnan
Publication Name
FST TCS 2003 - Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai India, December 2003 - Proceedings
Format
Trade Paperback
Language
English
Publication Year
2003
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
Xiv, 454 Pages

Dimensions

Item Length
9.2in
Item Width
6.1in
Item Weight
50.4 Oz

Additional Product Features

Series Volume Number
2914
Number of Volumes
1 Vol.
Lc Classification Number
Qa75.5-76.95
Table of Content
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.
Copyright Date
2003
Topic
Software Development & Engineering / General, Computer Science, Enterprise Applications / General, Compilers
Dewey Decimal
005
Intended Audience
Scholarly & Professional
Dewey Edition
22
Illustrated
Yes
Genre
Computers

Best Selling in Textbooks

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Textbooks

Desk Reference to the Diagnostic Criteria from DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
5.0 out of 5 stars based on 7 product ratings
$12.18 New
$11.50 Used
Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)
4.6 out of 5 stars based on 15 product ratings
$35.70 New
$34.00 Used
Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)
5.0 out of 5 stars based on 14 product ratings
$39.99 New
$32.00 Used
Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)
5.0 out of 5 stars based on 1 product rating
$19.98 New
$10.00 Used
Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)
4.2 out of 5 stars based on 5 product ratings
$21.00 New
$18.00 Used
Diagnostic and Statistical Manual of Mental Disorders : DSM-5-TR by American Psychiatric Association (2022, Hardcover)
4.9 out of 5 stars based on 8 product ratings
$41.45 New
$38.99 Used
Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)
5.0 out of 5 stars based on 4 product ratings
$18.95 New
$17.66 Used

Save on Textbooks

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new
$32.00
Trending at $42.75
National Electrical Code Handbook, 2023 Edition
$62.99
Trending at $67.45
Designing Data-Intensive Applications : The Big Ideas Behind Reliable Brand New
$15.00
Trending at $18.95
New 2022 NFPA 72 National Fire Alarm and Signaling Code USA STOCK Free Shipping
$52.24
Trending at $56.50
The Pocket Guide to the DSM-5-TR Diagnostic Exam by Abraham M..........
$12.95
Trending at $13.10
Applied Behavior Analysis by Timothy Heron,3rd Edition Hardcover Free shipping
$60.99
Trending at $61.99

Shop by category

Picture 1 of 1

Lecture Notes in Computer Science Ser.: FST TCS 2003 - Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai India, December 2003 - Proceedings by Jaikumar Radhakrishnan (2003, Trade Paperback)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Textbooks

Desk Reference to the Diagnostic Criteria from DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)

Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)

Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)

Diagnostic and Statistical Manual of Mental Disorders : DSM-5-TR by American Psychiatric Association (2022, Hardcover)

Cognitive Behavior Therapy : Basics and Beyond by Judith S. Beck (2020, Hardcover)

Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Brand new

National Electrical Code Handbook, 2023 Edition

Designing Data-Intensive Applications : The Big Ideas Behind Reliable Brand New

New 2022 NFPA 72 National Fire Alarm and Signaling Code USA STOCK Free Shipping

The Pocket Guide to the DSM-5-TR Diagnostic Exam by Abraham M..........

Applied Behavior Analysis by Timothy Heron,3rd Edition Hardcover Free shipping

You may also like

Computer Science Paperback Textbooks

Computer Science Textbooks

Computer Science Textbooks in English

Computer Science Hardcover Textbooks

Science Fiction Fiction Trade Paperbacks Books

Science Fiction Fiction Paperbacks Books