FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - neues Buch
2001, ISBN: 9783540452942
This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the aus… Mehr…
hive.co.uk No. 9783540452942. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2001, ISBN: 9783540452942
This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the aus… Mehr…
Springer.com Nr. 978-3-540-45294-2. Versandkosten:Worldwide free shipping, , zzgl. Versandkosten. Details... |
2001, ISBN: 9783540452942
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science ab 79.99 € als pdf eBook: 21st Conference Bangalore India December 13-15 2001 Proceedings. Aus dem Bereic… Mehr…
Hugendubel.de Nr. 33674602. Versandkosten:, , DE. (EUR 0.00) Details... |
2001, ISBN: 9783540452942
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science - 21st Conference Bangalore India December 13-15 2001 Proceedings: ab 79.99 € eBooks > Fachthemen & Wisse… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
2001, ISBN: 9783540452942
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science - 21st Conference Bangalore India December 13-15 2001 Proceedings: ab 79.99 € Medien > Bücher > E-books, … Mehr…
eBook.de Nr. 33674602. Versandkosten:, , DE. (EUR 0.00) Details... |
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - neues Buch
2001, ISBN: 9783540452942
This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the aus… Mehr…
2001, ISBN: 9783540452942
This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the aus… Mehr…
2001
ISBN: 9783540452942
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science ab 79.99 € als pdf eBook: 21st Conference Bangalore India December 13-15 2001 Proceedings. Aus dem Bereic… Mehr…
2001, ISBN: 9783540452942
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science - 21st Conference Bangalore India December 13-15 2001 Proceedings: ab 79.99 € eBooks > Fachthemen & Wisse… Mehr…
2001, ISBN: 9783540452942
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science - 21st Conference Bangalore India December 13-15 2001 Proceedings: ab 79.99 € Medien > Bücher > E-books, … Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540452942
Erscheinungsjahr: 2001
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-01-15T10:01:53+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-12-02T15:34:49+01:00 (Zurich)
ISBN/EAN: 9783540452942
ISBN - alternative Schreibweisen:
978-3-540-45294-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: software, technology technology, foundations science, 2001, computer science
Daten vom Verlag:
Autor/in: Ramesh Hariharan; Madhavan Mukund; V. Vinay
Titel: 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
Verlag: Springer; Springer Berlin
352 Seiten
Erscheinungsjahr: 2003-06-30
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 352 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; algorithm; algorithms; complexity; computer; computer science; data structure; data structures; formal verification; logic; model checking; petri net; verification; C; Theory of Computation; Software Engineering/Programming and Operating Systems; Computer Applications; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; 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; Computer Science; Software Engineering; Angewandte Informatik; Compiler und Übersetzer; BC
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.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...