Theory and Applications of Models of Computation (Registro nro. 64804)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 06230nam a22006135i 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| campo de control | DE-He213 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20191013145244.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | cr nn 008mamaa |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 100301s2008 gw | s |||| 0|eng d |
| 020 64 - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 9783540792284 |
| -- | 978-3-540-79228-4 |
| 024 87 - IDENTIFICADOR DE OTROS ESTÁNDARES | |
| Número estándar o código | 10.1007/978-3-540-79228-4 |
| Fuente del número o código | doi |
| 050 84 - CLASIFICACIÓN TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO | |
| Número de clasificación | QA75.5-76.95 |
| 072 87 - CÓDIGO DE CATEGORÍA DE MATERIA | |
| Código de categoría de materia | UY |
| Fuente | bicssc |
| 072 87 - CÓDIGO DE CATEGORÍA DE MATERIA | |
| Código de categoría de materia | UYA |
| Fuente | bicssc |
| 072 87 - CÓDIGO DE CATEGORÍA DE MATERIA | |
| Código de categoría de materia | COM014000 |
| Fuente | bisacsh |
| 072 87 - CÓDIGO DE CATEGORÍA DE MATERIA | |
| Código de categoría de materia | COM031000 |
| Fuente | bisacsh |
| 082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
| Número de clasificación | 004.0151 |
| Número de edición | 23 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | 000072154 |
| 100 81 - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Agrawal, Manindra. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 141006 |
| 245 97 - MENCIÓN DE TÍTULO | |
| Título | Theory and Applications of Models of Computation |
| Medio | [electronic resource] : |
| Resto del título | 5th International Conference, TAMC 2008, Xian, China, April 25-29, 2008. Proceedings / |
| Mención de responsabilidad, etc. | edited by Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li. |
| 264 81 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
| Producción, publicación, distribución, fabricación y copyright | Berlin, Heidelberg : |
| Nombre del de productor, editor, distribuidor, fabricante | Springer Berlin Heidelberg, |
| Fecha de producción, publicación, distribución, fabricación o copyright | 2008. |
| 300 64 - DESCRIPCIÓN FÍSICA | |
| Otras características físicas | online resource. |
| 336 64 - TIPO DE CONTENIDO | |
| Término de tipo de contenido | text |
| Código de tipo de contenido | txt |
| Fuente | rdacontent |
| 337 64 - TIPO DE MEDIO | |
| Nombre/término del tipo de medio | computer |
| Código del tipo de medio | c |
| Fuente | rdamedia |
| 338 64 - TIPO DE SOPORTE | |
| Nombre/término del tipo de soporte | online resource |
| Código del tipo de soporte | cr |
| Fuente | rdacarrier |
| 347 64 - CARACTERÍSTICAS DEL ARCHIVO DIGITAL | |
| Tipo de archivo | text file |
| Formato de codificación | |
| Fuente | rda |
| 490 81 - MENCIÓN DE SERIE | |
| Mención de serie | Lecture Notes in Computer Science, |
| Número Internacional Normalizado para Publicaciones Seriadas | 0302-9743 ; |
| Designación de volumen o secuencia | 4978 |
| 505 80 - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | Plenary Lectures -- Differential Privacy: A Survey of Results -- Special Session Lectures -- On the Complexity of Measurement in Classical Physics -- Quantum Walk Based Search Algorithms -- Contributed Lectures -- Propositional Projection Temporal Logic, B chi Automata and ?-Regular Expressions -- Genome Rearrangement Algorithms for Unsigned Permutations with O(logn) Singletons -- On the Complexity of the Hidden Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability and First-Order Logic -- Derandomizing Graph Tests for Homomorphism -- Definable Filters in the Structure of Bounded Turing Reductions -- Distance Constrained Labelings of Trees -- A Characterization of NC k by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching Composition Networks with Conditional Edge Faults -- Local 7-Coloring for Planar Subgraphs of Unit Disk Graphs -- Generalized Domination in Degenerate Graphs: A Complete Dichotomy of Computational Complexity -- More on Weak Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable Degrees -- An Improved Parameterized Algorithm for a Generalized Matching Problem -- Deterministic Hot-Potato Permutation Routing on the Mesh and the Torus -- Efficient Algorithms for Model-Based Motif Discovery from Multiple Sequences -- Ratio Based Stable In-Place Merging -- A Characterisation of the Relations Definable in Presburger Arithmetic -- Finding Minimum 3-Way Cuts in Hypergraphs -- Inapproximability of Maximum Weighted Edge Biclique and Its Applications -- Symbolic Algorithm Analysis of Rectangular Hybrid Systems -- On the OBDD Complexity of the Most Significant Bit of Integer Multiplication -- Logical Closure Properties of Propositional Proof Systems -- Graphs of Linear Clique-Width at Most 3 -- A Well-Mixed Function with Circuit Complexity 5n Øo(n): Tightness of the Lachish-Raz-Type Bounds -- A Logic for Distributed Higher Order ?-Calculus -- Minimum Maximal Matching Is NP-Hard in Regular Bipartite Graphs -- A Topological Study of Tilings -- A Denotational Semantics for Total Correctness of Sequential Exact Real Programs -- Weak Bisimulations for the Giry Monad (Extended Abstract) -- Approximating Border Length for DNA Microarray Synthesis -- On a Question of Frank Stephan -- A Practical Parameterized Algorithm for the Individual Haplotyping Problem MLF -- Improved Algorithms for Bicluster Editing -- Generation Complexity Versus Distinction Complexity -- Balancing Traffic Load Using One-Turn Rectilinear Routing -- A Moderately Exponential Time Algorithm for Full Degree Spanning Tree -- Speeding up Dynamic Programming for Some NP-Hard Graph Recoloring Problems -- A Linear-Time Algorithm for Finding All Door Locations That Make a Room Searchable -- Model Theoretic Complexity of Automatic Structures (Extended Abstract) -- A Separation between Divergence and Holevo Information for Ensembles -- Unary Automatic Graphs: An Algorithmic Perspective -- Search Space Reductions for Nearest-Neighbor Queries -- Total Degrees and Nonsplitting Properties of Enumeration Degrees -- s-Degrees within e-Degrees -- The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees. |
| 520 64 - SUMARIO, ETC. | |
| Sumario, etc. | This book constitutes the refereed proceedings of the 5th International Conference on Theory and Applications of Models of Computation, TAMC 2008, held in Xi'an, China in April 2008. The 48 revised full papers presented together with 2 invited talks and 1 plenary lecture were carefully reviewed and selected from 192 submissions. The papers address current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences - computation, algorithms, complexity and computability theory in particular. With this crossdisciplinary character the conference is given a special flavor and distinction. |
| 516 64 - NOTA DE TIPO DE ARCHIVO DE ORDENADOR O DE DATOS | |
| Nota de tipo de archivo de ordenador o de datos | ZDB-2-SCS |
| 516 64 - NOTA DE TIPO DE ARCHIVO DE ORDENADOR O DE DATOS | |
| Nota de tipo de archivo de ordenador o de datos | ZDB-2-LNC |
| 650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Computer science. |
| -- | 141007 |
| 650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Information theory. |
| -- | 141008 |
| 650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Computer software. |
| -- | 10118 |
| 650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Electronic data processing. |
| -- | 9627 |
| 650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Bioinformatics. |
| -- | 9722 |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Computer Science. |
| -- | 141009 |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Theory of Computation. |
| -- | 141010 |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Algorithm Analysis and Problem Complexity. |
| -- | 10120 |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Computation by Abstract Devices. |
| -- | 9725 |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Computing Methodologies. |
| -- | 9630 |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Mathematics of Computing. |
| -- | 10466 |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Computational Biology/Bioinformatics. |
| -- | 9724 |
| 700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Du, Dingzhu. |
| Término indicativo de función/relación | editor. |
| -- | 141011 |
| 700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Duan, Zhenhua. |
| Término indicativo de función/relación | editor. |
| -- | 141012 |
| 700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Li, Angsheng. |
| Término indicativo de función/relación | editor. |
| -- | 141013 |
| 710 82 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA | |
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada | SpringerLink (Online service) |
| 9 (RLIN) | 141014 |
| 773 80 - ENLACE AL DOCUMENTO FUENTE/ENTRADA DE REGISTRO ANFITRIÓN | |
| Título | Springer eBooks |
| 776 ## - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL | |
| Información de relación/Frase instructiva de referencia | Printed edition: |
| Número Internacional Estándar del Libro | 9783540792277 |
| 830 80 - PUNTO DE ACCESO ADICIONAL DE SERIE-TÍTULO UNIFORME | |
| Título uniforme | Lecture Notes in Computer Science, |
| Número Internacional Normalizado para Publicaciones Seriadas | 0302-9743 ; |
| Designación de volumen o secuencia | 4978 |
| 9 (RLIN) | 141015 |
| 856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
| Identificador Uniforme del Recurso | http://dx.doi.org/10.1007/978-3-540-79228-4 |
| Nota pública | de clik aquí para ver el libro electrónico |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
| Tipo de ítem Koha | Libro Electrónico |
No hay ítems disponibles.