MARC details
000 -LÍDER |
fixed length control field |
04976nam a22005655i 4500 |
001 - NÚMERO DE CONTROL |
control field |
u375089 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
control field |
SIRSI |
005 - FECHA Y HORA DE LA ULTIMA TRANSACCIÓN |
control field |
20160812084307.0 |
007 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL |
fixed length control field |
cr nn 008mamaa |
008 - ELEMENTOS DE LONGITUD FIJA -- INFORMACIÓN GENERAL |
fixed length control field |
100915s2010 gw | s |||| 0|eng d |
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS |
International Standard Book Number |
9783642156403 |
-- |
978-3-642-15640-3 |
040 ## - FUENTE DE CATALOGACIÓN |
Transcribing agency |
MX-MeUAM |
050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
Classification number |
QA76.9.A25 |
082 04 - NÚMERO DE CLASIFICACIÓN DECIMAL DEWEY |
Classification number |
005.82 |
Edition number |
23 |
100 1# - ASIENTO PRINCIPAL--NOMBRE PERSONAL |
Personal name |
Wirsing, Martin. |
Relator term |
editor. |
245 10 - MENCIÓN DE TITULO |
Title |
Trustworthly Global Computing |
Medium |
[recurso electrónico] : |
Remainder of title |
5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers / |
Statement of responsibility, etc. |
edited by Martin Wirsing, Martin Hofmann, Axel Rauschmayer. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
Berlin, Heidelberg : |
Name of producer, publisher, distributor, manufacturer |
Springer Berlin Heidelberg, |
Date of production, publication, distribution, manufacture, or copyright notice |
2010. |
300 ## - DESCRIPCIÓN FÍSICA |
Extent |
XII, 380p. 72 illus. |
Other physical details |
online resource. |
336 ## - CONTENT TYPE |
Content type term |
text |
Content type code |
txt |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
computer |
Media type code |
c |
Source |
rdamedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Carrier type code |
cr |
Source |
rdacarrier |
347 ## - DIGITAL FILE CHARACTERISTICS |
File type |
text file |
Encoding format |
PDF |
Source |
rda |
490 1# - MENCIÓN DE SERIE |
Series statement |
Lecture Notes in Computer Science, |
International Standard Serial Number |
0302-9743 ; |
Volume/sequential designation |
6084 |
505 0# - NOTA DE CONTENIDO |
Formatted contents note |
Invited Talks -- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode -- Perspectives in Certificate Translation -- Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions as Processes: Termination and the -Calculus -- Predicate Encryption for Secure Remote Storage -- Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols -- Types and Processes -- Expressiveness of Generic Process Shape Types -- A Java Inspired Semantics for Transactions in SOC -- Responsive Choice in Mobile Processes -- A Model of Evolvable Components -- Games and Concurrent Systems -- The Impact of Altruism on the Efficiency of Atomic Congestion Games -- Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung -- An Algebra of Hierarchical Graphs -- Property-Preserving Refinement of Concurrent Systems -- Certification of Correctness -- Certificate Translation for the Verification of Concurrent Programs -- Certified Result Checking for Polyhedral Analysis of Bytecode Programs -- Tools and Languages -- A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments -- A Framework for Rule-Based Dynamic Adaptation -- CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility -- Refactoring Long Running Transactions: A Case Study -- Probabilistic Aspects -- Approximate Model Checking of Stochastic COWS -- Probabilistic Aspects: Checking Security in an Imperfect World -- A Tool for Checking Probabilistic Properties of COWS Services. |
520 ## - NOTA DE RESUMEN, ETC. |
Summary, etc. |
Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infrastructures continue to grow, it - comes more and more important to develop methods, theories and techniques for trustworthy systems running on global computers. This book constitutes the thoroughly refereed proceedings of the ?fth e- tion of the International Symposium on Trustworthy Global Computing (TGC 2010)thatwasheldinMunich,Germany,February24-26,2010.TheSymposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorouslyabout their behavior and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices. |
596 ## - |
-- |
19 |
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Computer science. |
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Computer Communication Networks. |
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Software engineering. |
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Data encryption (Computer science). |
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Coding theory. |
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Computer software. |
650 #0 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Information Systems. |
650 14 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Computer Science. |
650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Data Encryption. |
650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Computer Communication Networks. |
650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Management of Computing and Information Systems. |
650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Algorithm Analysis and Problem Complexity. |
650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Software Engineering. |
650 24 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMÁTICO |
Topical term or geographic name as entry element |
Coding and Information Theory. |
700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL |
Personal name |
Hofmann, Martin. |
Relator term |
editor. |
700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL |
Personal name |
Rauschmayer, Axel. |
Relator term |
editor. |
710 2# - ASIENTO SECUNDARIO - NOMBRE CORPORATIVO |
Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY |
Title |
Springer eBooks |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Relationship information |
Printed edition: |
International Standard Book Number |
9783642156397 |
830 #0 - ASIENTO SECUNDARIO DE SERIE--TITULO UNIFORME |
Uniform title |
Lecture Notes in Computer Science, |
International Standard Serial Number |
0302-9743 ; |
Volume number/sequential designation |
6084 |
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
Public note |
Libro electrónico |
Uniform Resource Identifier |
<a href="http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-15640-3">http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-15640-3</a> |
942 ## - TIPO DE MATERIAL (KOHA) |
Koha item type |
Libro Electrónico |