Foundations of Software Science and Computational Structures (Registro nro. 67597)

Detalles MARC
000 -CABECERA
campo de control de longitud fija 03820nam a22005175i 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 20191014004710.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 100308s2010 gw | s |||| 0|eng d
020 64 - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9783642120329
-- 978-3-642-12032-9
024 87 - IDENTIFICADOR DE OTROS ESTÁNDARES
Número estándar o código 10.1007/978-3-642-12032-9
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 000067867
100 81 - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Ong, Luke.
Término indicativo de función/relación editor.
9 (RLIN) 161399
245 97 - MENCIÓN DE TÍTULO
Título Foundations of Software Science and Computational Structures
Medio [electronic resource] :
Resto del título 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Mención de responsabilidad, etc. edited by Luke Ong.
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 2010.
300 64 - DESCRIPCIÓN FÍSICA
Extensión XV, 389p. 47 illus.
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 6014
505 80 - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming Languages -- A Semantic Foundation for Hidden State -- Linearly-Used Continuations in the Enriched Effect Calculus -- Block Structure vs. Scope Extrusion: Between Innocence and Omniscience -- Completeness for Algebraic Theories of Local State -- Probabilistic and Randomised Computation -- Fair Adversaries and Randomization in Two-Player Games -- Retaining the Probabilities in Probabilistic Testing Theory -- Concurrency and Process Theory -- Forward Analysis of Depth-Bounded Processes -- Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization -- Parameterised Multiparty Session Types -- On the Relationship between Spatial Logics and Behavioral Simulations -- Modal and Temporal Logics -- An Easy Completeness Proof for the Modal ?-Calculus on Finite Trees -- When Model-Checking Freeze LTL over Counter Machines Becomes Decidable -- Model Checking Is Static Analysis of Modal Logic -- Counting CTL -- Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems -- Verification -- Toward a Compositional Theory of Leftist Grammars and Transformations -- Degrees of Lookahead in RegularInfiniteGames -- Reachability Analysis of Communicating Pushdown Systems -- The Complexity of Synchronous Notions of Information Flow Security -- Categorical and Coalgebraic Methods -- Monads Need Not Be Endofunctors -- CIA Structures and the Semantics of Recursion -- Coalgebraic Correspondence Theory -- Lambda Calculus and Types -- Untyped Recursion Schemes and Infinite Intersection Types -- Solvability in Resource Lambda-Calculus -- A Hierarchy for Delimited Continuations in Call-by-Name.
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.
-- 161400
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Software engineering.
-- 9213
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.
-- 161401
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.
-- 161402
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 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 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 Programming Languages, Compilers, Interpreters.
-- 9471
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Software Engineering.
-- 9213
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) 161403
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 9783642120312
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 6014
9 (RLIN) 161404
856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso http://dx.doi.org/10.1007/978-3-642-12032-9
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.