FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - nuovo livro
2001, ISBN: 3540430024
2001 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Software Engineering, Angewandte Informatik, Theoretische Informatik, algorithm; algorith… mais…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Custos de envio: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 - Livro de bolso
2001, ISBN: 3540430024
[EAN: 9783540430025], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INFORMATIK; ALGORITHM; ALGORITHMS; COMPLEXITY; COMPUTERSCIEN… mais…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Custos de envio: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… mais…
VitalSource.com new in stock United States. Custos de envio:plus shipping costs., mais custos de envio 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. Custos de envio: EUR 23.25 Details... |
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedin - Livro de bolso
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. Custos de envio: EUR 14.52 Details... |
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - nuovo livro
2001, ISBN: 3540430024
2001 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Software Engineering, Angewandte Informatik, Theoretische Informatik, algorithm; algorith… mais…
Ramesh Hariharan:
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - Livro de bolso2001, ISBN: 3540430024
[EAN: 9783540430025], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INFORMATIK; ALGORITHM; ALGORITHMS; COMPLEXITY; COMPUTERSCIEN… mais…
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… mais…
2008, ISBN: 3540430024
[EAN: 9783540430025], Gebraucht, wie neu, [PU: Springer], Like New, Books
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedin - Livro de bolso
2001, ISBN: 3540430024
[EAN: 9783540430025], Neubuch, [PU: Springer 2001-11], Books
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - 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
Livro de capa dura
Livro de bolso
Ano de publicação: 2001
Editor/Editora: Springer
364 Páginas
Peso: 0,550 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-11-11T19:53:46-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-02-08T11:16:36-03:00 (Sao Paulo)
Número ISBN/EAN: 3540430024
Número ISBN - Ortografia alternativa:
3-540-43002-4, 978-3-540-43002-5
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: hariharan, ramesh, vinay
Título do livro: 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
Dados da editora
Autor: Ramesh Hariharan; Madhavan Mukund; V. Vinay
Título: 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
Editora: Springer; Springer Berlin
352 Páginas
Ano de publicação: 2001-11-28
Berlin; Heidelberg; DE
Língua: Inglês
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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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)
< Para arquivar...