FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - new book
2001, ISBN: 3540430024
2001 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Software Engineering, Angewandte Informatik, Theoretische Informatik, algorithm; algorith… More...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - Paperback
2001, ISBN: 3540430024
[EAN: 9783540430025], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INFORMATIK; ALGORITHM; ALGORITHMS; COMPLEXITY; COMPUTERSCIEN… More...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
2001, ISBN: 9783540430025
1st Edition, by Madhavan Mukund; V. Vinay; Ramesh Hariharan, PRINT ISBN: 9783540430025 E-TEXT ISBN: 9783540452942 Springer Nature eBook Other pricing structure might be available at vital… More...
VitalSource.com new in stock United States. Shipping costs:plus shipping costs. Details... |
2008, ISBN: 3540430024
[EAN: 9783540430025], Gebraucht, wie neu, [PU: Springer], Like New, Books
AbeBooks.de Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)] NOT NEW BOOK. Shipping costs: EUR 23.25 Details... |
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedin - Paperback
2001, ISBN: 3540430024
[EAN: 9783540430025], Neubuch, [PU: Springer 2001-11], Books
AbeBooks.de Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 5 (von 5)] NEW BOOK. Shipping costs: EUR 14.52 Details... |
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - new book
2001, ISBN: 3540430024
2001 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Software Engineering, Angewandte Informatik, Theoretische Informatik, algorithm; algorith… More...
Ramesh Hariharan:
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - Paperback2001, ISBN: 3540430024
[EAN: 9783540430025], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INFORMATIK; ALGORITHM; ALGORITHMS; COMPLEXITY; COMPUTERSCIEN… More...
2001
ISBN: 9783540430025
1st Edition, by Madhavan Mukund; V. Vinay; Ramesh Hariharan, PRINT ISBN: 9783540430025 E-TEXT ISBN: 9783540452942 Springer Nature eBook Other pricing structure might be available at vital… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, ... Notes in Computer Science, 2245, Band 2245)
EAN (ISBN-13): 9783540430025
ISBN (ISBN-10): 3540430024
Hardcover
Paperback
Publishing year: 2001
Publisher: Springer
364 Pages
Weight: 0,550 kg
Language: eng/Englisch
Book in our database since 2007-11-11T21:53:46+00:00 (London)
Detail page last modified on 2024-02-08T14:16:36+00:00 (London)
ISBN/EAN: 3540430024
ISBN - alternate spelling:
3-540-43002-4, 978-3-540-43002-5
Alternate spelling and related search-keywords:
Book author: hariharan, ramesh, vinay
Book title: bangalore, theoretical computer science, war 2001, the wonder that was india, software, foundations science, lecture notes computer science, science and technology, computer science 1st edition ebook
Information from Publisher
Author: Ramesh Hariharan; Madhavan Mukund; V. Vinay
Title: Lecture Notes in Computer Science; FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science - 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings
Publisher: Springer; Springer Berlin
352 Pages
Publishing year: 2001-11-28
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 352 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; algorithm; algorithms; complexity; computer; computer science; data structure; data structures; formal verification; logic; model checking; petri net; verification; Theory of Computation; Software Engineering; Computer and Information Systems Applications; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Software Engineering; Angewandte Informatik; Compiler und Übersetzer; EA
Invited Papers.- When Worlds Collide: Derandomization, Lower Bounds, and Kolmogorov Complexity.- Approximation Schemes for Geometric NP-Hard Problems: A Survey.- On Clustering Using Random Walks.- An Introduction to Decidability of DPDA Equivalence.- Semidefinite Programming Based Approximation Algorithms.- Contributed Papers.- Hard Sets and Pseudo-random Generators for Constant Depth Circuits.- The First-Order Isomorphism Theorem.- Thresholds and Optimal Binary Comparison Search Trees.- Distributed LTL Model Checking Based on Negative Cycle Detection.- Computability and Complexity Results for a Spatial Assertion Language for Data Structures.- Using Nondeterminism to Design Efficient Deterministic Algorithms.- Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.- A Mechanically Verified Compiling Specification for a Lisp Compiler.- Beyond Regular Model Checking.- Relations Between Communication Complexity, Linear Arrangements, and Computational Complexity.- Optimal, Output-Sensitive Algorithms for Constructing Upper Envelope of Line Segments in Parallel.- List Decoding from Erasures: Bounds and Code Constructions.- Verification of a Leader Election Algorithm in Timed Asynchronous Systems.- Efficient Addition on Field Programmable Gate Arrays.- The Directed Minimum-Degree Spanning Tree Problem.- I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems.- Beyond Message Sequence Graphs.- Grouping Techniques for One Machine Scheduling Subject to Precedence Constraints.- Properties of Distributed Timed-Arc Petri Nets.- From Falsification to Verification.- On Polynomial Representations of Boolean Functions Related to Some Number Theoretic Problems.- Range Allocation for Equivalence Logic.- Rewrite Closure for Ground and Cancellative AC Theories.More/other books that might be very similar to this book
Latest similar book:
9783540138839 Foundations of Software Technology and Theoretical Computer Science (Joseph, Mathai Shyamasundar, Rudrapatna)
- 9783540138839 Foundations of Software Technology and Theoretical Computer Science (Joseph, Mathai Shyamasundar, Rudrapatna)
- 9780387138831 Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science) (Editor-Mathai Joseph)
- 9783540620341 Foundations of Software Technology and Theoretical Computer Science (Vijay Chandru; V. Vinay)
- 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)
< to archive...