skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples

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
Ir para página anteriorAnterior Resultado  8 AvançarIr para próxima página

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

Buscando em bases de dados remotas. Favor aguardar.