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 |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn763189946 | ||
| 003 | OCoLC | ||
| 005 | 20231117044642.0 | ||
| 006 | m o d | ||
| 007 | cr un||||a|a|| | ||
| 008 | 111127s1990 ne a ob 001 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OCLCO |d OCLCF |d OCLCQ |d OPELS |d IDEBK |d YDXCP |d DEBSZ |d OCLCQ |d UIU |d OCLCQ |d DEBBG |d OCLCQ |d LUN |d OCLCQ |d INARC |d OCLCQ |d OCLCO |d OCL |d OCLCQ |d OCLCO | ||
| 020 | |a 0444880747 |q (electronic bk.) | ||
| 020 | |a 9780444880741 |q (electronic bk.) | ||
| 020 | |a 0444880712 |q (electronic bk.) | ||
| 020 | |a 9780444880710 |q (electronic bk.) | ||
| 020 | |a 9781322555072 | ||
| 020 | |a 1322555079 | ||
| 020 | |z 0444880755 |q (U.S. ; |q set) | ||
| 020 | |z 9780444880758 |q (U.S. ; |q set) | ||
| 020 | |z 0262220407 |q (MIT Press ; |q set) | ||
| 020 | |z 9780262220408 |q (MIT Press ; |q set) | ||
| 020 | |z 0262220385 |q (MIT Press ; |q v. A) | ||
| 020 | |z 9780262220385 |q (MIT Press ; |q v. A) | ||
| 020 | |z 0262220393 |q (MIT Press ; |q v. B) | ||
| 020 | |z 9780262220392 |q (MIT Press ; |q v. B) | ||
| 035 | |a (OCoLC)763189946 | ||
| 050 | 4 | |a QA76 |b .H279 1990 | |
| 082 | 0 | 4 | |a 004 |2 20 |
| 084 | |a 54.10 |2 bcl | ||
| 245 | 0 | 0 | |a Handbook of theoretical computer science / |c edited by Jan van Leeuwen. |
| 260 | |a Amsterdam ; |a New York : |b Elsevier ; |a Cambridge, Mass. : |b MIT Press, |c 1990. | ||
| 300 | |a 1 online resource (2 volumes) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 505 | 0 | |a 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. | |
| 505 | 0 | |a 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. | |
| 505 | 0 | |a 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. | |
| 588 | 0 | |a Print version record. | |
| 520 | |a 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. | ||
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Electronic data processing. | |
| 650 | 2 | |a Electronic Data Processing |0 (DNLM)D001330 | |
| 650 | 6 | |a Informatique. |0 (CaQQLa)201-0063036 | |
| 650 | 7 | |a data processing. |2 aat |0 (CStmoGRI)aat300054636 | |
| 650 | 7 | |a computer science. |2 aat |0 (CStmoGRI)aat300054575 | |
| 650 | 7 | |a Electronic data processing |2 fast |0 (OCoLC)fst00906956 | |
| 650 | 7 | |a Computer science |2 fast |0 (OCoLC)fst00872451 | |
| 650 | 1 | 7 | |a Algoritmen. |2 gtt |
| 650 | 1 | 7 | |a Modellen. |2 gtt |
| 650 | 1 | 7 | |a Complexiteit. |2 gtt |
| 650 | 1 | 7 | |a Fundamentele informatica. |2 gtt |
| 650 | 7 | |a Computabilidade E Modelos De Computacao. |2 larpcal | |
| 650 | 7 | |a Computacao (Metodologia E Tecnicas) |2 larpcal | |
| 650 | 7 | |a Informatique. |2 ram | |
| 650 | 7 | |a Algorithmes. |2 ram | |
| 650 | 7 | |a Langages de programmation |x S�emantique. |2 ram | |
| 700 | 1 | |a Leeuwen, J. van |q (Jan) | |
| 776 | 0 | 8 | |i Print version: |t Handbook of theoretical computer science. |d Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, 1990 |w (DLC) 90003485 |w (OCoLC)21563125 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444880710 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444880741 |z Texto completo |