Mathematical Foundations of Computer Science 2006 (Registro nro. 61872)
[ vista simple ]
000 -CABECERA | |
---|---|
campo de control de longitud fija | 06347nam a22005655i 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 | 20191012065707.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 | 101221s2006 gw | s |||| 0|eng d |
020 64 - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
Número Internacional Estándar del Libro | 9783540377931 |
-- | 978-3-540-37793-1 |
024 87 - IDENTIFICADOR DE OTROS ESTÁNDARES | |
Número estándar o código | 10.1007/11821069 |
Fuente del número o código | doi |
050 84 - CLASIFICACIÓN TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO | |
Número de clasificación | Libro electrónico |
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA | |
Código de categoría de materia | UMB |
Fuente | bicssc |
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA | |
Código de categoría de materia | COM051300 |
Fuente | bisacsh |
082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
Número de clasificación | 005.1 |
Número de edición | 23 |
001 - NÚMERO DE CONTROL | |
campo de control | 000062142 |
100 81 - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
Nombre de persona | Krlovi, Rastislav. |
Término indicativo de función/relación | editor. |
9 (RLIN) | 119647 |
245 97 - MENCIÓN DE TÍTULO | |
Título | Mathematical Foundations of Computer Science 2006 |
Medio | [electronic resource] : |
Resto del título | 31st International Symposium, MFCS 2006, Star Lesn, Slovakia, August 28-September 1, 2006. Proceedings / |
Mención de responsabilidad, etc. | edited by Rastislav Krlovi, Pawe Urzyczyn. |
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 | 2006. |
300 64 - DESCRIPCIÓN FÍSICA | |
Extensión | XVI, 816 p. |
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 | 4162 |
505 80 - NOTA DE CONTENIDO CON FORMATO | |
Nota de contenido con formato | Invited Talks -- A Core Calculus for Scala Type Checking -- Tree Exploration with an Oracle -- Distributed Data Structures: A Survey on Informative Labeling Schemes -- From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions -- The Structure of Tractable Constraint Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS to Three Applications in Bioinformatics -- Contributed Papers -- Decompositions, Partitions, and Coverings with Convex Polygons and Pseudo-triangles -- Approximate Shortest Path Queries on Weighted Polyhedral Surfaces -- A Unified Construction of the Glushkov, Follow, and Antimirov Automata -- Algebraic Characterizations of Unitary Linear Quantum Cellular Automata -- A Polynomial Time Nilpotence Test for Galois Groups and Related Results -- The Multiparty Communication Complexity of Exact-T: Improved Bounds and New Problems -- Crochemore Factorization of Sturmian and Other Infinite Words -- Equations on Partial Words -- Concrete Multiplicative Complexity of Symmetric Functions -- On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures -- Coloring Random 3-Colorable Graphs with Non-uniform Edge Probabilities -- The Kleene Equality for Graphs -- On the Repetition Threshold for Large Alphabets -- Improved Parameterized Upper Bounds for Vertex Cover -- On Comparing Sums of Square Roots of Small Integers -- A Combinatorial Approach to Collapsing Words -- Optimal Linear Arrangement of Interval Graphs -- The Lempel-Ziv Complexity of Fixed Points of Morphisms -- Partially Commutative Inverse Monoids -- Learning Bayesian Networks Does Not Have to Be NP-Hard -- Lower Bounds for the Transition Complexity of NFAs -- Smart Robot Teams Exploring Sparse Trees -- k-Sets of Convex Inclusion Chains of Planar Point Sets -- Toward the Eigenvalue Power Law -- Multicast Transmissions in Non-cooperative Networks with a Limited Number of Selfish Moves -- Very Sparse Leaf Languages -- On the Correlation Between Parity and Modular Polynomials -- Optimally Fast Data Gathering in Sensor Networks -- Magic Numbers in the State Hierarchy of Finite Automata -- Online Single Machine Batch Scheduling -- Machines that Can Output Empty Words -- Completeness of Global Evaluation Logic -- NOF-Multiparty Information Complexity Bounds for Pointer Jumping -- Dimension Characterizations of Complexity Classes -- Approximation Algorithms and Hardness Results for Labeled Connectivity Problems -- An Expressive Temporal Logic for Real Time -- On Matroid Representability and Minor Problems -- Non-cooperative Tree Creation -- Guarantees for the Success Frequency of an Algorithm for Finding Dodgson-Election Winners -- Reductions for Monotone Boolean Circuits -- Generalised Integer Programming Based on Logically Defined Relations -- Probabilistic Length-Reducing Automata -- Sorting Long Sequences in a Single Hop Radio Network -- Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture -- Valiants Model: From Exponential Sums to Exponential Products -- A Reachability Algorithm for General Petri Nets Based on Transition Invariants -- Approximability of Bounded Occurrence Max Ones -- Fast Iterative Arrays with Restricted Inter-cell Communication: Constructions and Decidability -- Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes -- Quantum Weakly Nondeterministic Communication Complexity -- Minimal Chordal Sense of Direction and Circulant Graphs -- Querying and Embedding Compressed Texts -- Lempel-Ziv Dimension for Lempel-Ziv Compression -- Characterizing Valiants Algebraic Complexity Classes -- The Price of Defense -- The Data Complexity of MDatalog in Basic Modal Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero-Knowledge Proofs of Knowledge in the Shared Random String Model -- Constrained Minimum Enclosing Circle with Center on a Query Line Segment -- Hierarchical Unambiguity -- An Efficient Algorithm Finds Noticeable Trends and Examples Concerning the ?erny Conjecture -- On Genome Evolution with Innovation. |
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. |
-- | 119648 |
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Data structures (Computer science). |
-- | 6719 |
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 | Logic design. |
-- | 119649 |
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Computational complexity. |
-- | 8597 |
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Algorithms. |
-- | 8598 |
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. |
-- | 119650 |
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 | Discrete Mathematics in Computer Science. |
-- | 8602 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Data Structures. |
-- | 119651 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Logics and Meanings of Programs. |
-- | 13880 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Algorithms. |
-- | 8598 |
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
Nombre de persona | Urzyczyn, Pawe. |
Término indicativo de función/relación | editor. |
-- | 119652 |
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) | 119653 |
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 | 9783540377917 |
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 | 4162 |
9 (RLIN) | 119654 |
856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
Identificador Uniforme del Recurso | http://dx.doi.org/10.1007/11821069 |
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.