Handbook of theoretical computer science (Registro nro. 133934)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 03008nam a2200337Ia 4500 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | 169795 |
| 003 - NÚMERO DE CONTROL | |
| campo de control | BIBL |
| 005 - FECHA Y HORA DE ACTUALIZACIÓN | |
| 005 | 20160527184457.0 |
| 008 - LONGITUD FIJA | |
| campo de control de longitud fija | 900501s1990 ne a b 001 0 eng |
| 010 ## - NÚMERO DE CONTROL DE LA BIBLIOTECA DEL CONGRESO | |
| Número de control de LC | 90003485 //r90 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 0444880755 (U.S. : set) |
| ISBN | 0444880712 (U.S. : v. A) |
| ISBN | 0444880747 (U.S. : v. B) |
| ISBN | 0262220407 (MIT Press : set) |
| ISBN | 0262220385 (MIT Press : v. A) |
| ISBN | 0262220393 (MIT Press : v. B) |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA | |
| Número de control de sistema | (OCoLC)21563125 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Centro catalogador/agencia de origen | DLC |
| Centro/agencia transcriptor | DLC |
| Centro modificador | PMC |
| 049 ## - FONDOS LOCALES (OCLC) | |
| Fondos de biblioteca | PUXA |
| 245 00 - TÍTULO PROPIAMENTE DICHO | |
| título | Handbook of theoretical computer science |
| Mención de responsabilidad, etc. | edited by Jan van Leeuwen. |
| 260 ## - PIE DE IMPRENTA | |
| Ciudad de publicación | Amsterdam |
| -- | New York |
| Editor, distribuidor | Elsevier |
| Ciudad de publicación | Cambridge, Mass. |
| Editor, distribuidor | MIT Press |
| Fecha de publicación | 1990. |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 2 v. |
| Ilustraciones | ill. |
| Dimensiones | 25 cm. |
| 504 ## - NOTA DE BIBLIOGRAFÍA | |
| Bibliografía, etc. | Includes bibliographical references and indexes. |
| 505 0# - NOTA DE CONTENIDO | |
| Nota de contenido | 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á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 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. |
| Nota de contenido | 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. |
| Nota de contenido | 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. |
| 700 10 - COAUTOR PERSONAL | |
| Nombre de persona | Leeuwen, J. van |
| Forma completa/desarrollada del nombre | (Jan) |
| 9 (RLIN) | 124425 |
| 050 00 - CLASIFICACIÓN LIBRARY OF CONGRESS | |
| clasificación | QA76 |
| Clave de autor | .H279 1990 |
| 082 00 - CLASIFICACIÓN DECIMAL DEWEY | |
| Clasificación | 004 |
| edición | 20 |
| 650 #0 - MATERIA GENERAL | |
| Término de materia o nombre geográfico como elemento inicial | Computer science |
| Fuente del encabezamiento o término | Local |
| 9 (RLIN) | 79104 |
| 700 10 - COAUTOR PERSONAL | |
| -- | Local |
| Withdrawn status | Lost status | Damaged status | Koha normalized classification for sorting | Not for loan | Collection code | Koha itemnumber | Home library | Current library | Shelving location | Date acquired | Inventory number | Total Checkouts | Full call number | Barcode | Date last seen | Non-public note | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| No | 004_000000000000000_H2362 | 57280 | Biblioteca Encarnación Valdés | Biblioteca Encarnación Valdés | Sala de Referencia bev | 27/05/2016 | 251604 | 004 H2362 | 80000001746315 | 27/05/2016 | r:169795 | z:NCC:D | Referencia |