FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings - edizione con copertina flessibile
2002, ISBN: 3540002251
[EAN: 9783540002253], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; SOFTWARE-ENTW. SOFTWARE ENGINEERING; ALGORITHMS; APPROXIMATION; IENCELOGI… Altro …
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - edizione con copertina flessibile
2002, ISBN: 9783540002253
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and T… Altro …
booklooker.de |
2002, ISBN: 9783540002253
This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the … Altro …
Springer.com Nr. 978-3-540-00225-3. Costi di spedizione:Worldwide free shipping, , plus shipping costs. (EUR 0.00) Details... |
2002, ISBN: 9783540002253
*FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science* - 22nd Conference Kanpur India December 12-14 2002 Proceedings. Auflage 2002 / Taschenbuch für 53.49 € … Altro …
Hugendubel.de Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., zzgl. Versandkosten. (EUR 3.95) Details... |
2002, ISBN: 9783540002253
1st Edition, by Manindra Agrawal; Anil Seth, PRINT ISBN: 9783540002253 E-TEXT ISBN: 9783540362067 Springer Nature eBook Other pricing structure might be available at vitalsource.com., Spr… Altro …
VitalSource.com new in stock United States. Costi di spedizione:plus shipping costs., Costi di spedizione aggiuntivi Details... |
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings - edizione con copertina flessibile
2002, ISBN: 3540002251
[EAN: 9783540002253], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE INFORMATIK ALLGEMEINES; SOFTWARE-ENTW. SOFTWARE ENGINEERING; ALGORITHMS; APPROXIMATION; IENCELOGI… Altro …
Anil Seth:
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - edizione con copertina flessibile2002, ISBN: 9783540002253
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and T… Altro …
2002
ISBN: 9783540002253
This volume consists of the proceedings of the 22nd International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2002), organized under the … Altro …
2002, ISBN: 9783540002253
*FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science* - 22nd Conference Kanpur India December 12-14 2002 Proceedings. Auflage 2002 / Taschenbuch für 53.49 € … Altro …
2002, ISBN: 9783540002253
1st Edition, by Manindra Agrawal; Anil Seth, PRINT ISBN: 9783540002253 E-TEXT ISBN: 9783540362067 Springer Nature eBook Other pricing structure might be available at vitalsource.com., Spr… Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540002253
ISBN (ISBN-10): 3540002251
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2003
Editore: Springer Berlin Heidelberg
361 Pagine
Peso: 0,573 kg
Libro nella banca dati dal 2007-01-03T16:48:02+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-19T17:32:33+01:00 (Zurich)
ISBN/EAN: 9783540002253
ISBN - Stili di scrittura alternativi:
3-540-00225-1, 978-3-540-00225-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : agrawal, manin, anil seth, anil aggrawal, mike miller
Titolo del libro: tcs for ever, foundations software technology and theoretical computer science, lecture notes computer science, computer science 1st edition ebook
Dati dell'editore
Autore: Manindra Agrawal; Anil Seth
Titolo: Lecture Notes in Computer Science; FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science - 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings
Editore: Springer; Springer Berlin
368 Pagine
Anno di pubblicazione: 2002-11-29
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 368 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Algorithms; Approximation; Computer Science Logic; Computing Theory; Formal Methods; Mathematical Logic; Optimization; Program Semantics; Programming Calculi; Programming Theory; Theoretical Computer Science; algorithmics; computer; computer science; programming; algorithm analysis and problem complexity; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Algorithms; Theoretische Informatik; Compiler und Übersetzer; Algorithmen und Datenstrukturen; EA
Invited Papers.- Primality Testing with Gaussian Periods.- From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple.- Encoding Generic Judgments.- Model Checking Algol-Like Languages Using Game Semantics.- Modeling Software: From Theory to Practice.- Contributed Papers.- Local Normal Forms for Logics over Traces.- On the Hardness of Constructing Minimal 2-Connected Spanning Subgraphs in Complete Graphs with Sharpened Triangle Inequality.- Communication Interference in Mobile Boxed Ambients.- The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity.- Composing Strand Spaces.- Generalising Automaticity to Modal Properties of Finite Structures.- An Automata-Theoretic Approach to Constraint LTL.- Hardness Results for Multicast Cost Sharing.- How to Compose Presburger-Accelerations: Applications to Broadcast Protocols.- State Space Reductions for Alternating Büchi Automata Quotienting by Simulation Equivalences.- Algorithmic Combinatorics Based on Slicing Posets.- Pattern Matching for Arc-Annotated Sequences.- Knowledge over Dense Flows of Time (from a Hybrid Point of View).- The Complexity of the Inertia.- The Quantum Communication Complexity of the Pointer Chasing Problem: The Bit Version.- The Decidability of the First-Order Theory of the Knuth-Bendix Order in the Case of Unary Signatures.- Deciding the First Level of the ?-Calculus Alternation Hierarchy.- Dynamic Message Sequence Charts.- The Complexity of Compositions of Deterministic Tree Transducers.- On the Hardness of Approximating Minimum Monopoly Problems.- Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems.- Lower Bounds for Embedding Graphs into Graphs of Smaller Characteristic.- Nearest Neighbors Search Using Point Location in Balls with Applications toApproximate Voronoi Decompositions.- Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases.- Decomposition in Asynchronous Circuit Design.- Queue Layouts, Tree-Width, and Three-Dimensional Graph Drawing.Includes supplementary material: sn.pub/extras
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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.))
< Per archiviare...