FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - libro nuevo
2001, ISBN: 3540430024
2001 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Software Engineering, Angewandte Informatik, Theoretische Informatik, algorithm; algorith… Más…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Gastos de envío: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 - Pasta blanda
2001, ISBN: 3540430024
[EAN: 9783540430025], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INFORMATIK; ALGORITHM; ALGORITHMS; COMPLEXITY; COMPUTERSCIEN… Más…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Gastos de envío: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… Más…
VitalSource.com new in stock United States. Gastos de envío:plus shipping costs., más gastos de envío 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. Gastos de envío: EUR 23.25 Details... |
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedin - Pasta blanda
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. Gastos de envío: EUR 14.52 Details... |
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - libro nuevo
2001, ISBN: 3540430024
2001 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Software Engineering, Angewandte Informatik, Theoretische Informatik, algorithm; algorith… Más…
Ramesh Hariharan:
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - Pasta blanda2001, ISBN: 3540430024
[EAN: 9783540430025], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INFORMATIK; ALGORITHM; ALGORITHMS; COMPLEXITY; COMPUTERSCIEN… Más…
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… Más…
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 - Pasta blanda
2001, ISBN: 3540430024
[EAN: 9783540430025], Neubuch, [PU: Springer 2001-11], Books
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - 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
Tapa dura
Tapa blanda
Año de publicación: 2001
Editorial: Springer
364 Páginas
Peso: 0,550 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2007-11-11T15:53:46-06:00 (Mexico City)
Página de detalles modificada por última vez el 2024-02-08T08:16:36-06:00 (Mexico City)
ISBN/EAN: 3540430024
ISBN - escritura alterna:
3-540-43002-4, 978-3-540-43002-5
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: hariharan, ramesh, vinay
Título del libro: 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
Datos del la editorial
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
Editorial: Springer; Springer Berlin
352 Páginas
Año de publicación: 2001-11-28
Berlin; Heidelberg; DE
Idioma: 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.Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
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 archivar...