skip to main content
Idioma:

Handbook of theoretical computer science

J. van Leeuwen (Jan)

Amsterdam New York Elsevier Cambridge, Mass. MIT Press 1990

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004 L519h v.B ) e outros locais(Acessar)

  • Título:
    Handbook of theoretical computer science
  • Autor: J. van Leeuwen (Jan)
  • Assuntos: Computer science; COMPUTABILIDADE E COMPLEXIDADE; METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
  • Notas: Includes bibliographical references and indexes
  • Descrição: 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 applicatio ns / M. Li and P.M.B. Vitányi. 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 a nd 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. Jou nnaud. 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 seman tics / 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. Opera tional and algebraic semantics of concurrent processes / R. Milner
  • Editor: Amsterdam New York Elsevier Cambridge, Mass. MIT Press
  • Data de criação/publicação: 1990
  • Formato: 2 v. ill. 25 cm.
  • Idioma: Inglês
Links
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.