Sistema Bibliotecario de la Universidad de Quintana Roo

Su carrito está vacío

Language and Automata Theory and Applications (Registro nro. 65324)

000 -CABECERA
campo de control de longitud fija 05336nam a22005775i 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 20191013150050.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 9783540882824
-- 978-3-540-88282-4
024 87 - IDENTIFICADOR DE OTROS ESTÁNDARES
Número estándar o código 10.1007/978-3-540-88282-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 QA8.9-QA10.3
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 MAT018000
Fuente bisacsh
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia COM051010
Fuente bisacsh
082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación 005.131
Número de edición 23
001 - NÚMERO DE CONTROL
campo de control 000065594
100 81 - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Martȡn-Vide, Carlos.
Término indicativo de función/relación editor.
9 (RLIN) 144863
245 97 - MENCIÓN DE TÍTULO
Título Language and Automata Theory and Applications
Medio [electronic resource] :
Resto del título Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers /
Mención de responsabilidad, etc. edited by Carlos Martȡn-Vide, Friedrich Otto, Henning Fernau.
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
Extensión XIV, 500 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 PDF
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 5196
505 80 - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Invited Papers -- Tree-Walking Automata -- Formal Language Tools for Template-Guided DNA Recombination -- Subsequence Counting, Matrix Representations and a Theorem of Eilenberg -- Synchronizing Automata and the ?ernȻ Conjecture -- Contributed Papers -- About Universal Hybrid Networks of Evolutionary Processors of Small Size -- On Bifix Systems and Generalizations -- Finite Automata, Palindromes, Powers, and Patterns -- One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations -- The Three-Color and Two-Color TantrixTM Rotation Puzzle Problems Are NP-Complete Via Parsimonious Reductions -- Optional and Iterated Types for Pregroup Grammars -- Transformations and Preservation of Self-assembly Dynamics through Homotheties -- Deterministic Input-Reversal and Input-Revolving Finite Automata -- Random Context in Regulated Rewriting Versus Cooperating Distributed Grammar Systems -- Extending the Overlap Graph for Gene Assembly in Ciliates -- Automatic Presentations for Cancellative Semigroups -- Induced Subshifts and Cellular Automata -- Hopcrofts Algorithm and Cyclic Automata -- Efficient Inclusion Checking for Deterministic Tree Automata and DTDs -- Consensual Definition of Languages by Regular Sets -- k-Petri Net Controlled Grammars -- 2-Synchronizing Words -- Not So Many Runs in Strings -- A Hybrid Approach to Word Segmentation of Vietnamese Texts -- On Linear Logic Planning and Concurrency -- On the Relation between Multicomponent Tree Adjoining Grammars with Tree Tuples (TT-MCTAG) and Range Concatenation Grammars (RCG) -- Anti-pattern Matching Modulo -- Counting Ordered Patterns in Words Generated by Morphisms -- Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups -- Characterization of Star-Connected Languages Using Finite Automata -- Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems -- Further Results on Insertion-Deletion Systems with One-Sided Contexts -- On Regularity-Preservation by String-Rewriting Systems -- Minimizing Deterministic Weighted Tree Automata -- Lower Bounds for Generalized Quantum Finite Automata -- How Many Figure Sets Are Codes? -- On Alternating Phrase-Structure Grammars -- A Two-Dimensional Taxonomy of Proper Languages of Lexicalized FRR-Automata -- Minimalist Grammars with Unbounded Scrambling and Nondiscriminating Barriers Are NP-Hard -- Sorting and Element Distinctness on One-Way Turing Machines -- On Periodicity of Generalized Two-Dimensional Words -- On the Analysis of ǣSimpleǥ 2D Stochastic Cellular Automata -- Polycyclic and Bicyclic Valence Automata -- Length Codes, Products of Languages and Primality -- An Efficient Algorithm for the Inclusion Problem of a Subclass of DPDAs.
520 64 - SUMARIO, ETC.
Sumario, etc. This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008. The 40 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers deal with the various issues related to automata theory and formal languages
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.
-- 144864
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.
-- 144865
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.
-- 144866
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Algebra
Subdivisión general Data processing.
-- 11828
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.
-- 144867
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Mathematical Logic and Formal Languages.
-- 10185
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.
-- 144868
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Symbolic and Algebraic Manipulation.
-- 11830
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 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 Computation by Abstract Devices.
-- 9725
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Otto, Friedrich.
Término indicativo de función/relación editor.
-- 144869
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Fernau, Henning.
Término indicativo de función/relación editor.
-- 144870
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) 144871
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 9783540882817
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 5196
9 (RLIN) 144872
856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso http://dx.doi.org/10.1007/978-3-540-88282-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.