Cargando…
Handbook of theoretical computer science /
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : Cambridge, Mass. :
Elsevier ; MIT Press,
1990.
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
Tabla de Contenidos:
- v. A. Algorithms and complexity: Machine models and simulations / P. van Emde Boas. A catalog of complexity classes / D.S. Johnson. Machine-independent complexity theory / J.I. Seiferas. Kolmogorov complexity and its applications / M. Li and P.M.B. Vit�anyi. Algorithms for finding patterns in strings / A.V. Aho. Data structures / K. Mehlhorn and A. Tsakalidis. Computational geometry / F.F. Yao. Algorithmic motion planning in robotics / J.T. Schwartz and M. Sharir. Average-case analysis of algorithms and data structures / J.S. Vitter and Ph. Flajolet. Graph algorithms / J. van Leeuwen. Algebraic complexity theory / V. Strassen. Algorithms in number theory / A.K. Lenstra and H.W. Lenstra, Jr. Cryptography / R.L. Rivest. The complexity of finite functions / R.B. Boppana and M. Sipser. Communication networks / N. Pippenger. VLSI theory / Th. Lengauer.
- Parallel algorithms for shared-memory machines / R.M. Karp and V. Ramachandran. General purpose parallel architectures / L.G. Valiant
- v. B. Formal models and semantics: Finite automata / D. Perrin. Context-free languages / J. Berstel and L. Boasson. Formal languages and power series / A. Salomaa. Automata on infinite objects / W. Thomas. Graph rewriting : an algebraic and logic approach / B. Courcelle. Rewrite systems / N. Dershowitz and J.-P. Jounnaud. Functional programming and lambda calculus / H.P. Barendregt. Type systems for programming languages / J.C. Mitchell. Recursive applicative program schemes / B. Courcelle. Logic programming / K.R. Apt. Denotational semantics / P.D. Mosses. Semantic domains / C.A. Gunter and D.S. Scott. Algebraic specification / M. Wirsing. Logics of programs / D. Kozen and J. Tiuryn.
- Methods and logics for proving programs / P. Cousot. Temporal and modal logic / E.A. Emerson. Elements of relational database theory / P.C. Kanellakis. Distributed computing : models and methods / L. Lamport and N. Lynch. Operational and algebraic semantics of concurrent processes / R. Milner.