Tabla de Contenidos: “…Para los domingos y fiestas del Seæor, aæo C (470 p.)) -- 2. Para las ferias de Adviento, Navidad, Cuaresma y Tiempo Pascual (468 p.) -- 3. …”
Enlace del recurso

Tabla de Contenidos: “…Estructura y método de la mariología en el Concilio Vaticano II (24 p.) -- 2. La Virgen María: estirpe escogida de Israel (26 p.) -- 3. …”

Tabla de Contenidos: “…1.4 Merging the streams: the arrival of ""Web 2.0""Chapter 2 A Review of the Technological Stream; 2.1 Developments in Web technology; 2.1.1 HTML; 2.1.2 XML; 2.1.3 CSS; 2.1.4 Scripting technologies; 2.2 Web applications of XML; 2.2.1 Web services; 2.2.2 Web feed formats; 2.3 P2P; 2.3.1 P2P file-sharing networks; 2.3.2 Other P2P applications; 2.4 Summary; Chapter 3 Enabling Techniques and Technologies; 3.1 Rich Internet Applications; 3.1.1 Sample RIAs: e-mail applications; 3.1.2 XMLHttpRequest, the link needed for Ajax; 3.1.3 More RIAs: Office and map applications…”

Tabla de Contenidos: “…Invited Keynotes -- From model checking to a temporal proof -- Model checking if your life depends on it: a view from intel’s trenches -- Model checking if your life depends on it: a view from intel’s trenches -- Technical Papers and Tool Reports -- Model-checking in finite state-space systems with fine-grained abstractions using SPIN -- Implementing LTL model checking with net unfoldings -- Directed explicit model checking with HSF-SPIN -- Directed explicit model checking with HSF-SPIN -- Addressing dynamic issues of program model checking -- Addressing dynamic issues of program model checking -- Automatically validating temporal safety properties of interfaces -- Automatically validating temporal safety properties of interfaces -- Verification experiments on the MASCARA protocol -- Verification experiments on the MASCARA protocol -- Using SPIN for feature interaction analysis - a case study -- Using SPIN for feature interaction analysis - a case study -- Behavioural analysis of the enterprise javaBeansTM component architecture -- Behavioural analysis of the enterprise javaBeansTM component architecture -- p2b: A translation utility for linking promela and symbolic model checking (tool paper) -- p2b: A translation utility for linking promela and symbolic model checking (tool paper) -- Transformations for model checking distributed java programs -- Transformations for model checking distributed java programs -- Distributed LTL model-checking in SPIN -- Distributed LTL model-checking in SPIN -- Parallel state space construction for model-checking -- Parallel state space construction for model-checking -- Model checking systems of replicated processes with spin -- Model checking systems of replicated processes with spin -- A SPIN-based model checker for telecommunication protocols -- A SPIN-based model checker for telecommunication protocols -- Modeling and verifying a price model for congestion control in computer networks using promela/spin -- Modeling and verifying a price model for congestion control in computer networks using promela/spin -- Invited Project Summaries -- A model checking project at philips research -- Applications of model checking at honeywell laboratories -- Coarse-granular model checking in practice…”

Versión digital - Biblioteca Digital Hispánica